| Publication | Date of Publication | Type |
|---|
| Weakly Markov categories and weakly affine monads | 2024-11-26 | Paper |
| A presheaf semantics for quantified temporal logics | 2024-06-26 | Paper |
| A spatial logic with time and quantifiers | 2024-05-29 | Paper |
| Polyadic Soft Constraints | 2024-03-14 | Paper |
| Data-driven choreographies à la Klaim | 2024-02-23 | Paper |
| A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity | 2024-02-23 | Paper |
| A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs | 2024-01-23 | Paper |
| Specification and verification of a linear-time temporal logic for graph transformation | 2024-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6061682 | 2023-12-08 | Paper |
| From gs-monoidal to oplax cartesian categories: constructions and functorial completeness | 2023-10-18 | Paper |
| Specification and modelling of computing systems through graphs and graph transformation | 2023-09-25 | Paper |
| Weakly Markov categories and weakly affine monads | 2023-03-24 | Paper |
| String diagram rewrite theory III: Confluence with and without Frobenius | 2023-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875678 | 2023-02-03 | Paper |
| String diagram rewrite theory II: Rewriting with symmetric monoidal structure | 2022-12-20 | Paper |
| Relating two categorical models of term rewriting | 2022-12-09 | Paper |
| Graph Rewriting Components | 2022-12-07 | Paper |
| CPO models for infinite term rewriting | 2022-08-16 | Paper |
| Distributivity and residuation for lexicographic orders | 2022-06-03 | Paper |
| String Diagram Rewrite Theory I: Rewriting with Frobenius Structure | 2022-03-31 | Paper |
| Categorical specification and implementation of replicated data types | 2022-02-01 | Paper |
| Residuation for soft constraints: lexicographic orders and approximation techniques | 2021-12-01 | Paper |
| Concurrent semantics for fusions: weak prime domains and connected event structures | 2021-11-25 | Paper |
| A Presheaf Semantics for Quantified Temporal Logics | 2021-11-06 | Paper |
| Implementation correctness for replicated data types, categorically | 2021-07-08 | Paper |
| Soft constraint automata with memory | 2021-06-03 | Paper |
| Soft constraint automata with memory | 2021-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5150130 | 2021-02-09 | Paper |
| Rewriting with Frobenius | 2021-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144682 | 2021-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621140 | 2019-02-08 | Paper |
| Petri nets are dioids: a new algebraic foundation for non-deterministic net theory | 2019-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4553276 | 2018-11-02 | Paper |
| Rewriting modulo symmetric monoidal structure | 2018-04-23 | Paper |
| Observational and behavioural equivalences for soft concurrent constraint programming | 2017-09-12 | Paper |
| Confluence of Graph Rewriting with Interfaces | 2017-05-19 | Paper |
| Residuation for bipolar preferences in soft constraints | 2016-11-23 | Paper |
| Concurrency cannot be observed, asynchronously | 2016-07-27 | Paper |
| RPO semantics for mobile ambients | 2016-07-26 | Paper |
| Asynchronous Traces and Open Petri Nets | 2016-01-08 | Paper |
| A General Theory of Barbs, Contexts, and Labels | 2015-09-17 | Paper |
| A White Box Perspective on Behavioural Adaptation | 2015-06-22 | Paper |
| Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) | 2014-07-23 | Paper |
| A Note on an Old-Fashioned Algebra for (Disconnected) Graphs | 2014-07-23 | Paper |
| Towards a Notion of Transaction in Graph Rewriting | 2014-03-21 | Paper |
| A calculus for team automata | 2014-01-24 | Paper |
| Modelling calculi with name mobility using graphs with equivalences | 2013-12-20 | Paper |
| Graphical verification of a spatial logic for the {\(\pi\)}-calculus | 2013-10-07 | Paper |
| On term graphs as an adhesive category | 2013-09-25 | Paper |
| Adaptable Transition Systems | 2013-09-13 | Paper |
| Barbed Semantics for Open Reactive Systems | 2013-09-13 | Paper |
| Some characterization results for permutation algebras | 2013-09-11 | Paper |
| Inequational deduction as term graph rewriting | 2013-08-27 | Paper |
| GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs | 2013-08-16 | Paper |
| A presheaf environment for the explicit fusion calculus | 2013-08-01 | Paper |
| Comparing cospan-spans and tiles via a Hoare-style process calculus | 2013-07-24 | Paper |
| Categorical rewriting of term-like structures | 2013-05-24 | Paper |
| A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA). | 2013-04-26 | Paper |
| Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models | 2012-10-02 | Paper |
| A Modular LTS for Open Reactive Systems | 2012-09-21 | Paper |
| Counterpart semantics for a second-order \(\mu\)-calculus | 2012-07-11 | Paper |
| An Institution for Graph Transformation | 2012-06-08 | Paper |
| Adhesivity Is Not Enough: Local Church-Rosser Revisited | 2011-08-17 | Paper |
| A decentralised graphical implementation of mobile ambients | 2011-02-09 | Paper |
| On GS-Monoidal Theories for Graphs with Nesting | 2010-11-26 | Paper |
| Counterpart Semantics for a Second-Order μ-Calculus | 2010-10-04 | Paper |
| Saturated LTSs for Adhesive Rewriting Systems | 2010-10-04 | Paper |
| Programming Languages and Systems | 2010-01-05 | Paper |
| Perspectives of System Informatics | 2010-01-05 | Paper |
| A Net-based Approach to Web Services Publication and Replaceability | 2009-11-30 | Paper |
| Encoding Asynchronous Interactions Using Open Petri Nets | 2009-10-22 | Paper |
| A Term-Graph Syntax for Algebras over Multisets | 2009-10-22 | Paper |
| Reactive Systems, Barbed Semantics, and the Mobile Ambients | 2009-03-31 | Paper |
| Graphical Encoding of a Spatial Logic for the π-Calculus | 2009-03-10 | Paper |
| Synthesising CCS bisimulation using graph rewriting | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601413 | 2009-02-10 | Paper |
| Petri Nets Are Dioids | 2009-01-27 | Paper |
| A Soft Approach to Multi-objective Optimization | 2009-01-22 | Paper |
| Process Bisimulation Via a Graphical Encoding | 2008-11-27 | Paper |
| Graph Transactions as Processes | 2008-11-27 | Paper |
| A Decentralized Implementation of Mobile Ambients | 2008-11-20 | Paper |
| Parallel and Sequential Independence for Borrowed Contexts | 2008-11-20 | Paper |
| Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study | 2008-07-03 | Paper |
| A Behavioural Congruence for Web Services | 2008-07-01 | Paper |
| A Category of Explicit Fusions | 2008-06-19 | Paper |
| Ugo Montanari and Friends | 2008-06-19 | Paper |
| Mathematical Foundations of Computer Science 2003 | 2007-12-07 | Paper |
| Graph rewriting for the π-calculus | 2007-09-26 | Paper |
| Concurrent Rewriting for Graphs with Equivalences | 2007-09-04 | Paper |
| About permutation algebras, (pre)sheaves and named sets | 2006-11-17 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Processes as formal power series: a coinductive approach to denotational semantics | 2006-09-14 | Paper |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| Global Computing | 2005-08-19 | Paper |
| Normal forms for algebras of connections. | 2003-01-21 | Paper |
| A functorial semantics for multi-algebras and partial algebras, with applications to syntax. | 2003-01-21 | Paper |
| Comparing logics for rewriting: Rewriting logic, action calculi and tile logic | 2002-08-13 | Paper |
| A causal semantics for CCS via rewriting logic | 2002-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499230 | 2001-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4502817 | 2000-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941927 | 2000-08-21 | Paper |
| Rewriting on cyclic structures: Equivalence between the operational and the categorical description | 2000-05-11 | Paper |
| An algebraic presentation of term graphs, via gs-monoidal categories | 2000-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941924 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4219030 | 1999-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222848 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839056 | 1998-11-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839071 | 1998-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362962 | 1998-06-02 | Paper |
