| Publication | Date of Publication | Type |
|---|
| Data-driven choreographies à la Klaim | 2024-02-23 | Paper |
| From gs-monoidal to oplax cartesian categories: constructions and functorial completeness | 2023-10-18 | Paper |
| Concurrent graph and term graph rewriting | 2023-06-28 | Paper |
| Relating two categorical models of term rewriting | 2022-12-09 | Paper |
| Graph Rewriting Components | 2022-12-07 | Paper |
| Term rewriting in CTΣ | 2022-11-02 | Paper |
| Abstract graph derivations in the double pushout approach | 2022-08-16 | Paper |
| Jungle rewriting: An abstract description of a lazy narrowing machine | 2022-08-16 | Paper |
| Note on standard representation of graphs and graph derivations | 2022-08-16 | Paper |
| CPO models for infinite term rewriting | 2022-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5021222 | 2022-01-12 | Paper |
| Concurrent semantics for fusions: weak prime domains and connected event structures | 2021-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964701 | 2021-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144682 | 2021-01-19 | Paper |
| Unfolding graph grammars with negative application conditions | 2020-02-06 | Paper |
| A calculus of concurrent graph-rewriting processes | 2020-01-31 | Paper |
| Rewriting abstract structures: materialization explained categorically | 2020-01-28 | Paper |
| On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems | 2019-11-28 | Paper |
| The Pullback-Pushout Approach to Algebraic Graph Transformation | 2019-11-22 | Paper |
| Algebraic graph rewriting with controlled embedding | 2019-11-22 | Paper |
| Specifying graph languages with type graphs | 2019-11-22 | Paper |
| Estimating costs of multi-component enterprise applications | 2019-09-04 | Paper |
| Specifying graph languages with type graphs | 2019-06-20 | Paper |
| The PBPO graph transformation approach | 2019-03-27 | Paper |
| Synchronized composition of graph grammar productions | 2019-01-10 | Paper |
| The category of typed graph grammars and its adjunctions with categories of derivations | 2019-01-10 | Paper |
| An event structure semantics for graph grammars with parallel productions | 2019-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4553276 | 2018-11-02 | Paper |
| On the essence and initiality of conflicts | 2018-08-24 | Paper |
| Equivalence and independence in controlled graph-rewriting processes | 2018-08-24 | Paper |
| On the essence of parallel independence for the double-pushout and sesqui-pushout approaches | 2018-04-04 | Paper |
| A Formal Model for the Deferred Update Replication Technique | 2016-11-09 | Paper |
| Parallelism in AGREE Transformations | 2016-09-05 | Paper |
| Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions | 2016-07-26 | Paper |
| Processes and unfoldings: concurrent computations in adhesive categories | 2016-07-26 | Paper |
| AGREE – Algebraic Graph Rewriting with Controlled Embedding | 2015-09-22 | Paper |
| A White Box Perspective on Behavioural Adaptation | 2015-06-22 | Paper |
| Canonical Derivations with Negative Application Conditions | 2014-09-26 | Paper |
| Towards a Notion of Transaction in Graph Rewriting | 2014-03-21 | Paper |
| On term graphs as an adhesive category | 2013-09-25 | Paper |
| Adaptable Transition Systems | 2013-09-13 | Paper |
| Transformation Systems with Incremental Negative Application Conditions | 2013-09-13 | Paper |
| Verifying a behavioural logic for graph transformation systems | 2013-09-11 | Paper |
| An operational semantics of \textsc{CommUnity} based on graph transformation systems | 2013-09-11 | Paper |
| Inequational deduction as term graph rewriting | 2013-08-27 | Paper |
| GETGRATS | 2013-05-24 | Paper |
| Categorical rewriting of term-like structures | 2013-05-24 | Paper |
| A Graph Transformation View on the Specification of Applications using Mobile Code* *Research partially supported by project ForMOS (Métodos Formais para Código Móvelem Sistemas Abertos) - grant CNPq 520269/98-5, by the Research Training Network GET-GRATS (General Theory of Graph Transformation Systems), and by the MURST project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA). | 2013-05-10 | Paper |
| Efficient unfolding of contextual Petri nets | 2012-08-13 | Paper |
| An Institution for Graph Transformation | 2012-06-08 | Paper |
| Unfolding Grammars in Adhesive Categories | 2012-06-01 | Paper |
| A lattice-theoretical perspective on adhesive categories | 2011-03-14 | Paper |
| On GS-Monoidal Theories for Graphs with Nesting | 2010-11-26 | Paper |
| On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars | 2010-10-04 | Paper |
| Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
| Graph Transformation with Dependencies for the Specification of Interactive Systems | 2009-10-22 | Paper |
| Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets | 2009-04-29 | Paper |
| Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets | 2009-03-10 | Paper |
| McMillan’s Complete Prefix for Contextual Nets | 2009-02-03 | Paper |
| Sesqui-Pushout Rewriting | 2008-11-27 | Paper |
| Graph Transactions as Processes | 2008-11-27 | Paper |
| Open Petri Nets: Non-deterministic Processes and Compositionality | 2008-11-20 | Paper |
| A framework for the verification of infinite-state graph transformation systems | 2008-08-14 | Paper |
| Subobject transformation systems | 2008-07-30 | Paper |
| Ugo Montanari and Graph Transformation | 2008-06-19 | Paper |
| Unfolding Graph Transformation Systems: Theory and Applications to Verification | 2008-06-19 | Paper |
| A Temporal Graph Logic for Verification of Graph Transformation Systems | 2007-09-10 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| Unfolding semantics of graph transformation | 2007-05-14 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| Global Computing | 2005-08-19 | Paper |
| Compositional semantics for open Petri nets based on deterministic processes | 2005-03-14 | Paper |
| Domain and event structure semantics for Petri nets with read and inhibitor arcs | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738295 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738044 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791852 | 2003-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791846 | 2003-02-03 | Paper |
| A functorial semantics for multi-algebras and partial algebras, with applications to syntax. | 2003-01-21 | Paper |
| Contextual Petri nets, asymmetric event structures, and processes | 2003-01-14 | Paper |
| Compositional SOS and beyond: A coalgebraic view of open systems | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536619 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736348 | 2001-08-29 | Paper |
| A coalgebraic presentation of structured transition systems | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722031 | 2001-07-11 | Paper |
| Double-pullback transitions and coalgebraic loose semantics for graph transformation systems | 2001-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790387 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260701 | 2000-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934317 | 2000-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4502811 | 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/Q4941928 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699298 | 2000-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4256315 | 1999-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222948 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222788 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222787 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839067 | 1998-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839071 | 1998-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839055 | 1998-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362962 | 1998-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688924 | 1997-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5284549 | 1997-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4890710 | 1996-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4763987 | 1995-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282581 | 1994-08-07 | Paper |
| An abstract machine for concurrent modular systems: CHARM | 1994-02-22 | Paper |
| Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming | 1994-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037311 | 1993-05-18 | Paper |
| An algebraic semantics for structured transition systems and its application to logic programs | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3355243 | 1990-01-01 | Paper |
