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 |
Term rewriting in CTΣ | 2022-11-02 | Paper |
Abstract graph derivations in the double pushout approach | 2022-08-16 | Paper |
Note on standard representation of graphs and graph derivations | 2022-08-16 | Paper |
Jungle rewriting: An abstract description of a lazy narrowing machine | 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 |
Algebraic graph rewriting with controlled embedding | 2019-11-22 | Paper |
Specifying graph languages with type graphs | 2019-11-22 | Paper |
The Pullback-Pushout Approach to Algebraic Graph Transformation | 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 |
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 |
Synchronized composition of graph grammar 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 |
Processes and unfoldings: concurrent computations in adhesive categories | 2016-07-26 | Paper |
Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions | 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 |
https://portal.mardi4nfdi.de/entity/Q2848118 | 2013-09-25 | Paper |
Adaptable Transition Systems | 2013-09-13 | Paper |
Transformation Systems with Incremental Negative Application Conditions | 2013-09-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q2847775 | 2013-09-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q2847853 | 2013-09-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q2843931 | 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/Q4738044 | 2004-08-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4738295 | 2004-08-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4791846 | 2003-02-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q4791852 | 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/Q4222787 | 1998-12-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4222788 | 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 |