| Publication | Date of Publication | Type |
|---|
| Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies | 2024-03-14 | Paper |
| Implementing a CTL model checker with \(\mu \mathcal{G}\), a language for programming graph neural networks | 2024-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384914 | 2021-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4965857 | 2021-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964718 | 2021-03-03 | Paper |
| Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations | 2021-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5129950 | 2020-11-03 | Paper |
| Distribution and locality of concurrent systems | 2019-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621138 | 2019-02-08 | Paper |
| Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions | 2016-05-27 | Paper |
| Model Checking Biological Oscillators | 2014-03-21 | Paper |
| Bone Remodelling in BioShape | 2014-03-21 | Paper |
| Towards Abstraction-Based Verification of Shape Calculus | 2014-03-21 | Paper |
| Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue | 2014-01-17 | Paper |
| Fair Π | 2013-12-13 | Paper |
| Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2852065 | 2013-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848134 | 2013-09-25 | Paper |
| The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes | 2013-04-26 | Paper |
| Bone Remodelling: A Complex Automata-Based Model Running in BioShape | 2010-10-04 | Paper |
| Performance preorder: Ordering processes with respect to speed | 2010-06-17 | Paper |
| Detecting synchronisation of biological oscillators by model checking | 2010-05-11 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3394898 | 2009-09-10 | Paper |
| Modeling and simulation of cardiac tissue using hybrid I/O automata | 2009-08-07 | Paper |
| Explicit fairness in testing semantics | 2009-06-30 | Paper |
| Liveness of a mutex algorithm in a fair process algebra | 2009-05-08 | Paper |
| Time and Fairness in a Process Algebra with Non-blocking Reading | 2009-02-03 | Paper |
| A characterization of regular expressions under bisimulation | 2008-12-21 | Paper |
| StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes | 2008-06-19 | Paper |
| Separation of synchronous and asynchronous communication via testing | 2007-12-19 | Paper |
| Checking a Mutex Algorithm in a Process Algebra with Fairness | 2007-09-04 | Paper |
| Performance of pipelined asynchronous systems | 2007-02-09 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-11-14 | Paper |
| Transactions on Computational Systems Biology III | 2006-11-14 | Paper |
| Formal Methods for the Design of Real-Time Systems | 2006-10-19 | Paper |
| Fairness of actions in system computations | 2006-09-12 | Paper |
| Fairness of components in system computations | 2006-05-29 | Paper |
| On relating functional specifications to architectural specifications: A case study | 2006-01-10 | Paper |
| Measuring the performance of asynchronous systems with PAFAS | 2005-06-10 | Paper |
| The expressive power of urgent, lazy and busy-waiting actions in timed processes Research supported by Murst progetto Saladin: Software Architectures and Languages to Coordinate Distributed Mobile Components. | 2004-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4458491 | 2004-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4448369 | 2004-02-18 | Paper |
| Comparing the worst-case efficiency of asynchronous systems with PAFAS | 2003-09-01 | Paper |
| An Equational Axiomatization of Bisimulation over Regular Expressions | 2003-06-16 | Paper |
| Static analysis of real-time component-based systems configurations | 2003-05-14 | Paper |
| Absolute versus relative time in process algebras. | 2003-01-14 | Paper |
| On the semantics of durational actions | 2002-03-03 | Paper |
| On testing urgency through laziness over processes with durational actions | 2001-08-20 | Paper |
| ``Closed interval process algebra versus ``interval process algebra | 2001-08-20 | Paper |
| A Finite Axiomatization of Nondeterministic Regular Expressions | 2000-10-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501684 | 2000-09-04 | Paper |
| Models of nondeterministic regular expressions | 2000-03-19 | Paper |
| On performance congruences for process algebras | 1999-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222914 | 1998-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222915 | 1998-12-21 | Paper |
| On the coarsest congruence within global-clock-bounded equivalence | 1998-08-13 | Paper |
| Locality based semantics for process algebras | 1997-12-08 | Paper |
| Performance preorder and competitive equivalence | 1997-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896948 | 1997-03-25 | Paper |
