| Publication | Date of Publication | Type |
|---|
| Causal reversibility implies time reversibility | 2024-05-29 | Paper |
| Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity | 2024-05-03 | Paper |
| Genesis and evolution of \textsc{ULTraS}: metamodel, metaequivalences, metaresults | 2024-02-23 | Paper |
| Branching bisimulation semantics enables noninterference analysis of reversible systems | 2024-01-11 | Paper |
| Reverse bisimilarity vs. forward bisimilarity | 2023-11-24 | Paper |
| Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach | 2023-08-26 | Paper |
| Extended Markovian Process Algebra | 2023-06-28 | Paper |
| Towards Bridging Time and Causal Reversibility | 2022-10-13 | Paper |
| Alternative characterizations of probabilistic trace equivalences on coherent resolutions of nondeterminism | 2021-12-08 | Paper |
| Towards general axiomatizations for bisimilarity and trace semantics | 2021-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992526 | 2021-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5858729 | 2021-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5151010 | 2021-02-16 | Paper |
| Constructive logical characterizations of bisimilarity for reactive probabilistic systems | 2019-03-13 | Paper |
| An algebra-based method to associate rewards with EMPA terms | 2018-07-04 | Paper |
| On the discriminating power of passivation and higher-order interaction | 2018-04-23 | Paper |
| \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics | 2017-12-01 | Paper |
| Symbolic semantic rules for producing compact STGLAs from value passing process descriptions | 2017-07-12 | Paper |
| Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations | 2016-11-09 | Paper |
| Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions | 2016-05-27 | Paper |
| Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity | 2015-07-10 | Paper |
| Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes | 2015-03-02 | Paper |
| On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi | 2014-12-12 | Paper |
| Relating strong behavioral equivalences for processes with nondeterminism and probabilities | 2014-07-25 | Paper |
| Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes | 2014-03-24 | Paper |
| Modal logic characterization of Markovian testing and trace equivalences | 2013-12-04 | Paper |
| A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences | 2013-11-29 | Paper |
| Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes | 2012-06-22 | Paper |
| A Survey of Markovian Behavioral Equivalences | 2011-03-25 | Paper |
| A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference | 2009-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3394898 | 2009-09-10 | Paper |
| Towards State Space Reduction Based on T-Lumpability-Consistent Relations | 2008-12-02 | Paper |
| A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems | 2008-04-10 | Paper |
| Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders | 2007-11-28 | Paper |
| Mixing logics and rewards for the component-oriented specification of performance measures | 2007-09-03 | Paper |
| Non-bisimulation-based Markovian behavioral equivalences | 2007-07-16 | Paper |
| On the usability of process algebra: An architectural view | 2005-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738172 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738316 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411089 | 2003-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798039 | 2003-03-18 | Paper |
| Performance measure sensitive congruences for Markovian process algebras | 2003-01-21 | Paper |
| Integrating TwoTowers and GreatSPN through a compact net semantics | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536610 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729045 | 2001-10-23 | Paper |
| The discrete Painlevé I equations: transcendental integrability and asymptotic solutions. | 2001-09-04 | Paper |
| Corrigendum to ``A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time | 2001-08-23 | Paper |
| Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time | 2001-05-08 | Paper |
| Formal performance modelling and evaluation of an adaptive mechanism for packetised audio over the internet | 1999-07-26 | Paper |
| A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems | 1999-03-30 | Paper |
| A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time | 1998-08-13 | Paper |
