| Publication | Date of Publication | Type |
|---|
| An action based framework for verifying logical and behavioural properties of concurrent systems | 2024-04-29 | Paper |
| Intuitive modelling and formal analysis of collective behaviour in foraging ants | 2024-02-28 | Paper |
| Process algebras and flocks of birds | 2023-07-26 | Paper |
| PALM: A Technique for Process ALgebraic Specification Mining | 2023-03-21 | Paper |
| Multiparty testing preorders | 2023-01-09 | Paper |
| Verifying Properties of Systems Relying on Attribute-Based Communication | 2022-11-09 | Paper |
| A completeness theorem for nondeterministic Kleene algebras | 2022-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992526 | 2021-06-09 | Paper |
| Pattern Matching over a Dynamic Network of Tuple Spaces | 2021-05-20 | Paper |
| Multiparty Testing Preorders | 2021-04-07 | Paper |
| A formal approach to the engineering of domain-specific distributed systems | 2020-01-31 | Paper |
| A calculus for collective-adaptive systems and its behavioural theory | 2019-09-17 | Paper |
| Distribution and locality of concurrent systems | 2019-04-29 | Paper |
| Basic observables for processes | 2018-07-04 | Paper |
| Initial Algebra for a System of Right-Linear Functors | 2017-08-25 | Paper |
| A modal logic for mobile agents | 2017-07-12 | Paper |
| Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations | 2016-11-09 | Paper |
| On the Power of Attribute-Based Communication | 2016-10-19 | Paper |
| CaSPiS: a calculus of sessions, pipelines and services | 2016-07-27 | Paper |
| \textsf{MarCaSPiS}: a Markovian extension of a calculus for services | 2016-06-03 | Paper |
| Replicating Data for Better Performances in X10 | 2016-03-23 | Paper |
| Global Protocol Implementations via Attribute-Based Communication | 2016-01-08 | Paper |
| A Homage to Martin Wirsing | 2015-06-22 | Paper |
| Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes | 2015-03-02 | Paper |
| Relating strong behavioral equivalences for processes with nondeterminism and probabilities | 2014-07-25 | Paper |
| Programming and Verifying Component Ensembles | 2014-07-24 | Paper |
| A uniform definition of stochastic process calculi | 2014-06-05 | Paper |
| Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes | 2014-03-24 | Paper |
| Multi labelled transition systems: a semantic framework for nominal calculi | 2013-12-04 | Paper |
| A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences | 2013-11-29 | Paper |
| On the expressive power of \textsc{Klaim}-based calculi | 2013-09-25 | Paper |
| Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes | 2012-06-22 | Paper |
| Tree-functors, determinacy and bisimulations | 2010-06-02 | Paper |
| From flow logic to static type systems for coordination languages | 2010-04-29 | Paper |
| A formal basis for reasoning on programmable QoS | 2010-03-23 | Paper |
| The Klaim project: Theory and practice | 2010-02-05 | Paper |
| Rate-Based Transition Systems for Stochastic Process Calculi | 2009-07-14 | Paper |
| Semantic subtyping for the pi-calculus | 2008-06-24 | Paper |
| Ugo Montanari in a Nutshell | 2008-06-19 | Paper |
| Multiple-Labelled Transition Systems for nominal calculi and their logics | 2008-04-10 | Paper |
| Basic observables for a calculus for global computing | 2007-10-10 | Paper |
| Model checking mobile stochastic logic | 2007-09-03 | Paper |
| Global computing in a dynamic network of tuple spaces | 2007-01-22 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| Confining data and processes in global computing applications | 2006-10-25 | Paper |
| On the expressive power of \textsc{Klaim}-based calculi | 2006-05-29 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818824 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738174 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736000 | 2004-08-09 | Paper |
| Nondeterministic regular expressions as solutions of equational systems. | 2003-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413746 | 2003-07-21 | Paper |
| An Equational Axiomatization of Bisimulation over Regular Expressions | 2003-06-16 | Paper |
| Klava: a Java package for distributed and mobile applications | 2003-02-04 | Paper |
| Trace and testing equivalence on asynchronous processes | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536592 | 2002-11-28 | Paper |
| Testing equivalences for processes | 2002-05-13 | Paper |
| Proof techniques for cryptographic processes | 2002-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767185 | 2002-01-28 | 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 |
| Basic observables for processes | 2000-01-12 | Paper |
| Three logics for branching bisimulation | 1998-02-02 | Paper |
| Locality based semantics for process algebras | 1997-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896948 | 1997-03-25 | Paper |
| A process algebraic view of input/output automata | 1997-02-28 | Paper |
| A symbolic semantics for the \(\pi\)-calculus | 1997-01-02 | Paper |
| Testing equivalence for mobile processes | 1995-09-17 | Paper |
| Universal axioms for bisimulations | 1993-10-25 | Paper |
| An action-based framework for veryfying logical and behavioural properties of concurrent systems | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3358716 | 1990-01-01 | Paper |
| A partial ordering semantics for CCS | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733427 | 1989-01-01 | Paper |
| A distributed operational semantics of CCS based on condition/event systems | 1988-01-01 | Paper |
| Extensional equivalences for transition systems | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4721641 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774958 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030238 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3687696 | 1985-01-01 | Paper |
| Two complete axiom systems for a theory of communicating sequential processes | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3736899 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3662610 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666248 | 1983-01-01 | Paper |
