| Publication | Date of Publication | Type |
|---|
| Lowerbounds for Bisimulation by Partition Refinement | 2023-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6176115 | 2023-08-21 | Paper |
| Minimisation of spatial models using branching bisimilarity | 2023-08-17 | Paper |
| Back-and-forth in space: on logics and bisimilarity in closure spaces | 2023-07-26 | Paper |
| Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets | 2022-11-16 | Paper |
| Problem Solving Using Process Algebra Considered Insightful | 2022-11-09 | Paper |
| Family-Based SPL Model Checking Using Parity Games with Variability | 2022-10-13 | Paper |
| A Formalization of Anonymity and Onion Routing | 2022-03-07 | Paper |
| Deadlock detection for actor-based coroutines | 2021-05-04 | Paper |
| Family-Based Model Checking with mCRL2 | 2020-02-13 | Paper |
| An efficient algorithm to determine probabilistic bisimulation | 2019-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621137 | 2019-02-08 | Paper |
| RNA-Editing with Combined Insertion and Deletion Preserves Regularity | 2019-02-08 | Paper |
| Bisimulation for probabilistic transition systems: A coalgebraic approach | 2018-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4608588 | 2018-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2989000 | 2017-05-19 | Paper |
| Multiparty Contract Signing Over a Reliable Network | 2016-05-06 | Paper |
| Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically | 2016-01-07 | Paper |
| Dynamic Consistency in Process Algebra: From Paradigm to ACP | 2015-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848476 | 2013-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848069 | 2013-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849887 | 2013-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2843720 | 2013-08-23 | Paper |
| An Overview of the mCRL2 Toolset and Its Recent Advances | 2013-08-05 | Paper |
| Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice | 2013-06-06 | Paper |
| Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions | 2013-03-22 | Paper |
| Reconciling real and stochastic time: the need for probabilistic refinement | 2013-03-22 | Paper |
| Dynamic consistency in process algebra: from paradigm to ACP | 2011-06-07 | Paper |
| Verification of Context-Dependent Channel-Based Service Models | 2011-01-08 | Paper |
| Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra | 2010-02-05 | Paper |
| Validation of Stochastic Systems | 2009-07-24 | Paper |
| Embedding Real Time in Stochastic Process Algebras | 2009-03-12 | Paper |
| Extending Timed Process Algebra with Discrete Stochastic Time | 2009-01-27 | Paper |
| Compositionality for Markov Reward Chains with Fast Transitions | 2008-08-28 | Paper |
| Formalising Receipt-Freeness | 2008-06-17 | Paper |
| Injective synchronisation: An extension of the authentication hierarchy | 2007-01-09 | Paper |
| Update semantics of security protocols | 2005-08-22 | Paper |
| VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC | 2005-06-22 | Paper |
| A hierarchy of probabilistic system types | 2005-01-11 | Paper |
| Axiomatizing GSOS with termination | 2004-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736873 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738121 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738189 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417917 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373409 | 2001-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736361 | 2001-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4948000 | 2000-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942659 | 2000-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940931 | 2000-02-28 | Paper |
| Bisimulation for probabilistic transition systems: A coalgebraic approach | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255556 | 1999-08-17 | Paper |
| Denotational models for programming languages: Applications of Banach's fixed point theorem | 1999-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4296298 | 1994-06-19 | Paper |
| Rendez-vous with metric semantics | 1994-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975160 | 1992-06-26 | Paper |
| Comparative semantics for prolog with cut | 1990-01-01 | Paper |
| Step semantics for ``true concurrency with recursion | 1989-01-01 | Paper |
| Applications of compactness in the Smyth powerdomain of streams | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4721635 | 1987-01-01 | Paper |
