| Publication | Date of Publication | Type |
|---|
| A product version of dynamic linear time temporal logic | 2023-05-17 | Paper |
| A Theory of Distributed Markov Chains | 2021-05-20 | Paper |
| A trace semantics for Petri Nets | 2019-12-04 | Paper |
| Decidability of a partial order based temporal logic | 2019-03-29 | Paper |
| Approximate Verification of the Symbolic Dynamics of Markov Chains | 2017-05-16 | Paper |
| Succinct discrete time approximations of distributed hybrid automata | 2017-05-10 | Paper |
| Approximate Verification of the Symbolic Dynamics of Markov Chains | 2015-08-14 | Paper |
| Distributed Markov Chains | 2015-02-04 | Paper |
| Rabin's theorem in the concurrency setting: a conjecture | 2014-07-25 | Paper |
| In Memoriam: Carl Adam Petri | 2013-05-31 | Paper |
| The Discrete Time Behaviour of Restricted Linear Hybrid Automata | 2013-02-26 | Paper |
| Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics | 2012-11-21 | Paper |
| Modular discrete time approximations of distributed hybrid automata | 2012-05-30 | Paper |
| Component-based construction of bio-pathway models: the parameter estimation problem | 2011-06-28 | Paper |
| Probabilistic approximations of ODEs based bio-pathway dynamics | 2011-05-03 | Paper |
| Quasi-static scheduling of communicating tasks | 2010-10-07 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| Causal message sequence charts | 2009-09-29 | Paper |
| Quasi-Static Scheduling of Communicating Tasks | 2008-11-25 | Paper |
| Causal Message Sequence Charts | 2008-09-18 | Paper |
| Hybrid Systems: Computation and Control | 2007-09-25 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Designing communicating transaction processes by supervisory control theory | 2007-04-26 | Paper |
| FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | 2006-11-14 | Paper |
| An expressively complete linear time temporal logic for Mazurkiewicz traces | 2006-10-10 | Paper |
| Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
| Hybrid Systems: Computation and Control | 2005-11-11 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045252 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045269 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738298 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484484 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536596 | 2002-11-28 | Paper |
| Product interval automata | 2002-11-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536376 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251912 | 2002-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535033 | 2002-06-12 | Paper |
| Branching time controllers for discrete event systems | 2002-03-03 | Paper |
| Models and logics for true concurrency. | 2002-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754187 | 2001-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501674 | 2000-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501664 | 2000-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247293 | 2000-04-06 | Paper |
| Dynamic linear time temporal logic | 1999-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223014 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375802 | 1998-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353634 | 1997-09-10 | Paper |
| An event structure semantics for general Petri nets | 1997-02-28 | Paper |
| A logical study of distributed transition systems | 1995-08-01 | Paper |
| Transition systems, event structures, and unfoldings | 1995-07-10 | Paper |
| A trace semantics for Petri nets | 1995-07-05 | Paper |
| TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I | 1993-01-16 | Paper |
| Elementary transition systems | 1992-09-26 | Paper |
| A logical characterization of well branching event structures | 1992-09-26 | Paper |
| Event structures and trace monoids | 1992-06-28 | Paper |
| Elementary transition systems and refinement | 1992-01-01 | Paper |
| Some behavioural aspects of net theory | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3356298 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733416 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3802632 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3773359 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3776635 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3785913 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3746897 | 1986-01-01 | Paper |
| A theory of bipolar synchronization scheme | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3347311 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727392 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3659154 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666282 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3883515 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3928258 | 1980-01-01 | Paper |
| On the Interconnection of Asynchronous Control Structures | 1975-01-01 | Paper |
| On the Equivalence of Asynchronous Control Structures | 1973-01-01 | Paper |
