| Publication | Date of Publication | Type |
|---|
| Local completeness for program correctness and incorrectness (invited talk) | 2024-11-26 | Paper |
| Enhancing Reaction Systems: A Process Algebraic Approach | 2024-03-14 | Paper |
| A Coalgebraic Approach to Unification Semantics of Logic Programming | 2024-03-14 | Paper |
| Data-driven choreographies à la Klaim | 2024-02-23 | Paper |
| Limits and difficulties in the design of under-approximation abstract domains | 2024-01-23 | Paper |
| Exploiting adjoints in property directed reachability analysis | 2024-01-12 | Paper |
| Logics for extensional, locally complete analysis via domain refinements | 2023-11-24 | Paper |
| Deciding program properties via complete abstractions on bounded domains | 2023-07-28 | Paper |
| Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems | 2023-04-13 | Paper |
| Algebras for Tree Decomposable Graphs | 2022-09-01 | Paper |
| A process algebraic approach to reaction systems | 2021-08-11 | Paper |
| A logical and graphical framework for reaction systems | 2021-06-23 | Paper |
| Concurrency and Probability | 2021-01-20 | Paper |
| The \texttt{link}-calculus for open multiparty interactions | 2020-12-15 | Paper |
| Code Obfuscation Against Abstract Model Checking Attacks | 2020-07-07 | Paper |
| Bayesian network semantics for Petri nets | 2020-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5207054 | 2020-01-03 | Paper |
| A formal approach to open multiparty interactions | 2019-02-21 | Paper |
| A Flat Process Calculus for Nested Membrane Interactions | 2019-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621140 | 2019-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621156 | 2019-02-08 | Paper |
| Models of computation | 2018-11-28 | Paper |
| Code obfuscation against abstraction refinement attacks | 2018-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4553276 | 2018-11-02 | Paper |
| Theoretical foundations for compensations in flow composition languages | 2017-07-14 | Paper |
| CaSPiS: a calculus of sessions, pipelines and services | 2016-07-27 | Paper |
| cJoin: Join with communicating transactions | 2016-07-27 | Paper |
| Causal Trees, Finally | 2016-01-08 | Paper |
| Connector Algebras, Petri Nets, and BIP | 2015-12-07 | Paper |
| A coalgebraic semantics for causality in Petri nets | 2015-11-10 | Paper |
| A Normal Form for Stateful Connectors | 2015-09-14 | Paper |
| On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs | 2015-06-26 | Paper |
| A White Box Perspective on Behavioural Adaptation | 2015-06-22 | Paper |
| Hierarchical Design Rewriting with Maude | 2015-03-19 | Paper |
| Revisiting causality, coalgebraically | 2015-03-02 | Paper |
| From Hierarchical BIP to Petri Calculus | 2014-07-24 | Paper |
| On Symbolic Semantics for Name-decorated Contexts | 2014-06-27 | Paper |
| Modelling Dynamic Software Architectures using Typed Graph Grammars | 2014-03-26 | Paper |
| Behaviour, Interaction and Dynamics | 2014-03-25 | Paper |
| Tiling transactions in rewriting logic | 2013-10-02 | Paper |
| Connector algebras for C/E and P/T nets' interactions | 2013-09-26 | Paper |
| Open Multiparty Interaction | 2013-09-13 | Paper |
| Adaptable Transition Systems | 2013-09-13 | Paper |
| Flat committed join in join | 2013-09-11 | Paper |
| Modeling fresh names in the {\(\pi\)}-calculus using abstractions | 2013-09-11 | Paper |
| Comparing higher-order encodings in logical frameworks and tile logic | 2013-07-24 | Paper |
| A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions | 2012-06-08 | Paper |
| A Connector Algebra for P/T Nets Interactions | 2011-09-02 | Paper |
| Bisimulation by Unification* | 2011-05-06 | Paper |
| On GS-Monoidal Theories for Graphs with Nesting | 2010-11-26 | Paper |
| Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
| Theoretical Computer Science | 2010-02-23 | Paper |
| Tiles for Reo | 2009-10-22 | Paper |
| Static Detection of Logic Flaws in Service-Oriented Applications | 2009-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396631 | 2009-09-19 | Paper |
| Non-sequential Behaviour of Dynamic Nets | 2009-04-02 | Paper |
| PRISMA: A Mobile Calculus with Parametric Synchronization | 2009-03-05 | Paper |
| Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines | 2009-01-27 | Paper |
| Dynamic Graph Transformation Systems | 2008-11-27 | Paper |
| Parametric synchronizations in mobile nominal calculi | 2008-08-06 | Paper |
| Models of Computation: A Tribute to Ugo Montanari’s Vision | 2008-06-19 | Paper |
| Graph-Based Design and Analysis of Dynamic Software Architectures | 2008-06-19 | Paper |
| A semantic framework for open processes | 2007-12-14 | Paper |
| Deducing Interactions in Partially Unspecified Biological Systems | 2007-11-29 | Paper |
| Event Structure Semantics for Nominal Calculi | 2007-09-04 | Paper |
| A basic algebra of stateless connectors | 2007-01-09 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Semantic foundations for generalized rewrite theories | 2006-09-14 | Paper |
| Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
| Global Computing | 2005-08-19 | Paper |
| Observational congruences for dynamically reconfigurable tile systems | 2005-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673433 | 2005-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673419 | 2005-04-29 | Paper |
| Concurrent models for Linda with transactions | 2004-09-24 | Paper |
| An interactive semantics of logic programming | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449180 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421729 | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421730 | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484496 | 2003-06-12 | Paper |
| Normal forms for algebras of connections. | 2003-01-21 | Paper |
| Zero-safe nets: Comparing the collective and individual token approaches. | 2003-01-14 | Paper |
| Functorial models for Petri nets | 2003-01-14 | Paper |
| Dynamic connectors for concurrency | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536441 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536607 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766553 | 2002-06-17 | Paper |
| Symmetric monoidal and cartesian double categories as a semantic framework for tile logic | 2002-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754142 | 2001-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499237 | 2001-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941924 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249180 | 1999-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222985 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222992 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222912 | 1998-12-21 | Paper |
