Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

High-Precision Biomedical Relation Extraction for Reducing Human Curation Efforts in Industrial Applications., , , , and . IEEE Access, (2020)Multi-omics integration - a comparison of unsupervised clustering methodologies., , , and . Briefings Bioinform., 20 (4): 1269-1279 (2019)Decidable Extensions of Hennessy-Milner Logic., and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 196-211. Springer, (2006)09091 Executive Summary - Formal Methods in Molecular Biology., , , and . Formal Methods in Molecular Biology, volume 09091 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)06161 Executive Summary -- Simulation and Verification of Dynamic Systems., , , and . Simulation and Verification of Dynamic Systems, volume 06161 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems., , , and . Simulation and Verification of Dynamic Systems, volume 06161 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)Performance Analysis of a UML Micro-business Case Study., , and . Global Computing, volume 3267 of Lecture Notes in Computer Science, page 107-126. Springer, (2004)Efficient formulation of the rejection-based algorithm for biochemical reactions with delays., , and . Int. J. Bioinform. Res. Appl., 15 (2): 159-173 (2019)An imperative language of self-modifying graphs for biological systems., , and . SAC, page 1903-1909. ACM, (2012)Functional features of a calculus for logic and concurrency., and . WFLP, page 144-153. (2000)