Author of the publication

Extended Transition Systems for Parametric Bisimulation.

, , and . ICALP, volume 700 of Lecture Notes in Computer Science, page 558-569. Springer, (1993)

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)An imperative language of self-modifying graphs for biological systems., , and . SAC, page 1903-1909. ACM, (2012)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)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)Decidable Extensions of Hennessy-Milner Logic., and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 196-211. Springer, (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)Design and implementation of a tool for translating SBML into the biochemical stochastic ?-calculus, and . Bioinformatics, 22 (24): 3075-3081 (2006)Mobile Processes with a Distributed Environment., , and . ICALP, volume 1099 of Lecture Notes in Computer Science, page 490-501. Springer, (1996)