Taxonomic Reasoning. - Giuseppe Attardi; Andrea Corradini 001; S. Diomedi; Maria Simi (ECAI, 1986)

Graph Grammars and Logic Programming. - Andrea Corradini 001; Ugo Montanari; Francesca Rossi 001; Hartmut Ehrig; Michael Löwe (Graph-Grammars and Their Application to Computer Science, 1990)

Transition Systems with Algebraic Structure as Models of Computations. - Andrea Corradini 001; Gian-Luigi Ferrari 002; Ugo Montanari (Semantics of Systems of Concurrent Processes, 1990)

An Algebraic Semantics of Logic Programs as Structured Transition Systems. - Andrea Corradini 001; Ugo Montanari (NACLP, 1990)

Towards a Process Semantics in the Logic Programming Style. - Andrea Corradini 001; Ugo Montanari (STACS, 1990)

An Algebraic Representation of Logic-Program Computations. - Andrea Corradini 001; Ugo Montanari (Computational Logic - Essays in Honor of Alan Robinson, 1991)

An Algebra of Graphs and Graph Rewriting. - Andrea Corradini 001; Ugo Montanari (Category Theory and Computer Science, 1991)

Logic Programming as Hypergraph Rewriting. - Andrea Corradini 001; Francesca Rossi 001; Francesco Parisi-Presicce (TAPSOFT, Vol.1, 1991)

Towards innovative software engineering environments. - Vincenzo Ambriola; Paolo Ciancarini; Andrea Corradini 001; Nicoletta De Francesco (J. Syst. Softw., 1991)

SHARM: Concurrency and Hiding in an Abstract Rewriting Machine. - Andrea Corradini 001; Ugo Montanari; Francesca Rossi 001 (FGCS, 1992)

A Categorial Model for Logic Programs: Indexed Monoidal Categories. - Andrea Corradini 001; Andrea Asperti (REX Workshop, 1992)

An Algebraic Semantics for Structured Transition Systems and its Applications to Logic Programs. - Andrea Corradini 001; Ugo Montanari (Theor. Comput. Sci., 1992)

Abstract Graph Derivations in the Double Pushout Approach. - Andrea Corradini 001; Hartmut Ehrig; Michael Löwe; Ugo Montanari; Francesca Rossi 001 (Dagstuhl Seminar on Graph Transformations in Computer Science, 1993)

Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. - Andrea Corradini 001; Hartmut Ehrig; Michael Löwe; Ugo Montanari; Francesca Rossi 001 (Dagstuhl Seminar on Graph Transformations in Computer Science, 1993)

Term Rewriting in CT-Sigma. - Andrea Corradini 001 (TAPSOFT, 1993)

Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming. - Andrea Corradini 001; Francesca Rossi 001 (Theor. Comput. Sci., 1993)

An Event Structure Semantics for Safe Graph Grammars. - Andrea Corradini 001; Hartmut Ehrig; Michael Löwe; Ugo Montanari; Francesca Rossi 001 (PROCOMET, 1994)

The Category of Typed Graph Grammars and its Adjunctions with Categories. - Andrea Corradini 001; Hartmut Ehrig; Michael Löwe; Ugo Montanari; Julia Padberg (TAGT, 1994)

An Event Structure Semantics for Graph Grammars with Parallel Productions. - Andrea Corradini 001; Hartmut Ehrig; Michael Löwe; Ugo Montanari; Francesca Rossi 001 (TAGT, 1994)

Synchronized Composition of Graph Grammar Productions. - Andrea Corradini 001; Francesca Rossi 001 (TAGT, 1994)

An Abstract Machine for Concurrent Modular Systems: CHARM. - Andrea Corradini 001; Ugo Montanari; Francesca Rossi 001 (Theor. Comput. Sci., 1994)

CPO Models for Infinite Term Rewriting. - Andrea Corradini 001; Fabio Gadducci (AMAST, 1995)

Relating Two Categorial Models of Term Rewriting. - Andrea Corradini 001; Fabio Gadducci; Ugo Montanari (RTA, 1995)

Concurrent computing: from Petri nets to graph grammars. - Andrea Corradini 001 (SEGRAGRA, 1995)

A compositional approach to structuring and refinement of typed graph grammars. - Andrea Corradini 001; Reiko Heckel (SEGRAGRA, 1995)

Preface. - Andrea Corradini 001; Ugo Montanari (SEGRAGRA, 1995)

Declarative Specification of the Architecture of a Software Development Environment. - Vincenzo Ambriola; Paolo Ciancarini; Andrea Corradini 001 (Softw. Pract. Exp., 1995)

Concurrent Graph and Term Graph Rewriting. - Andrea Corradini 001 (CONCUR, 1996)

Graph Processes. - Andrea Corradini 001; Ugo Montanari; Francesca Rossi 001 (Fundam. Informaticae, 1996)

Horizontal and Vertical Structuring of Typed Graph Transformation Systems. - Reiko Heckel; Andrea Corradini 001; Hartmut Ehrig; Michael Löwe (Math. Struct. Comput. Sci., 1996)

A 2-Categorical Presentation of Term Graph Rewriting. - Andrea Corradini 001; Fabio Gadducci (Category Theory and Computer Science, 1997)

Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach. - Andrea Corradini 001; Ugo Montanari; Francesca Rossi 001; Hartmut Ehrig; Reiko Heckel; Michael Löwe (Handbook of Graph Grammars, 1997)

Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. - Hartmut Ehrig; Reiko Heckel; Martin Korff; Michael Löwe; Leila Ribeiro 001; Annika Wagner; Andrea Corradini 001 (Handbook of Graph Grammars, 1997)

Integrating the Specification Techniques of Graph Transformation and Temporal Logic. - Reiko Heckel; Hartmut Ehrig; Uwe Wolter; Andrea Corradini 001 (MFCS, 1997)

A Completeness result for equational deduction in coalgebraic specification. - Andrea Corradini 001 (WADT, 1997)

GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. - Andrea Corradini 001; Hans-Jörg Kreowski (Bull. EATCS, 1997)

An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. - Paolo Baldan; Andrea Corradini 001; Ugo Montanari (FoSSaCS, 1998)

Rational Term Rewriting. - Andrea Corradini 001; Fabio Gadducci (FoSSaCS, 1998)

Concatenable Graph Processes: Relating Processes and Derivation Traces. - Paolo Baldan; Andrea Corradini 001; Ugo Montanari (ICALP, 1998)

Unfolding of Double-Pushout Graph Grammars is a Coreflection. - Paolo Baldan; Andrea Corradini 001; Ugo Montanari (TAGT, 1998)

Functorial Semantics for Multi-algebras. - Andrea Corradini 001; Fabio Gadducci (WADT, 1998)

An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. - Andrea Corradini 001; Martin Große-Rhode; Reiko Heckel (WADT, 1998)

Structured Transition Systems as Lax Coalgebras. - Andrea Corradini 001; Martin Große-Rhode; Reiko Heckel (CMCS, 1998)

Tile Transition Systems as Structured Coalgebras. - Andrea Corradini 001; Reiko Heckel; Ugo Montanari (FCT, 1999)

Unfolding and Event Structure Semantics for Graph Grammars. - Paolo Baldan; Andrea Corradini 001; Ugo Montanari (FoSSaCS, 1999)

History Preserving Bisimulation for Contextual Nets. - Paolo Baldan; Andrea Corradini 001; Ugo Montanari (WADT, 1999)

An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. - Andrea Corradini 001; Fabio Gadducci (Appl. Categorical Struct., 1999)

From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. - Andrea Corradini 001; Reiko Heckel; Ugo Montanari (CMCS, 1999)

Rewriting on cyclic structures: Equivalence between the operational and the categorical description. - Andrea Corradini 001; Fabio Gadducci (RAIRO Theor. Informatics Appl., 1999)

Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. - Paolo Baldan; Nadia Busi; Andrea Corradini 001; G. Michele Pinna (CONCUR, 2000)

Introduction: Graph Transformation and Visual Modeling Techniques. - Andrea Corradini 001; Reiko Heckel (ICALP Satellite Workshops, 2000)

Graphical Operational Semantics. - Andrea Corradini 001; Reiko Heckel; Ugo Montanari (ICALP Satellite Workshops, 2000)

Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. - Andrea Corradini 001; Reiko Heckel (Bull. EATCS, 2000)

GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. - Andrea Corradini 001; Hans-Jörg Kreowski (Current Trends in Theoretical Computer Science, 2001)

Compositional Modeling of Reactive Systems Using Open Nets. - Paolo Baldan; Andrea Corradini 001; Hartmut Ehrig; Reiko Heckel (CONCUR, 2001)

A Static Analysis Technique for Graph Transformation Systems. - Paolo Baldan; Andrea Corradini 001; Barbara König 001 (CONCUR, 2001)

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. - Reiko Heckel; Hartmut Ehrig; Uwe Wolter; Andrea Corradini 001 (Appl. Categorical Struct., 2001)

Preface. - Michel Bauderon; Andrea Corradini 001 (GETGRATS Closing Workshop, 2001)

GETGRATS: A summary of scientific results (with annotated bibliography). - Andrea Corradini 001 (GETGRATS Closing Workshop, 2001)

A Graph Transformation View on the Specification of Applications using Mobile Code. - Andrea Corradini 001; Fernando Luís Dotti; Leila Ribeiro 001 (GT-VMT@ICALP, 2001)

Categorical rewriting of term-like structures. - Andrea Corradini 001; Fabio Gadducci (GETGRATS Closing Workshop, 2001)

Preface. - Andrea Corradini 001; Marina Lenisa; Ugo Montanari (CMCS, 2001)

Contextual Petri Nets, Asymmetric Event Structures, and Processes. - Paolo Baldan; Andrea Corradini 001; Ugo Montanari (Inf. Comput., 2001)

A Coalgebraic presentation of structured transition systems. - Andrea Corradini 001; Martin Große-Rhode; Reiko Heckel (Theor. Comput. Sci., 2001)

Bisimulation Equivalences for Graph Grammars. - Paolo Baldan; Andrea Corradini 001; Ugo Montanari (Formal and Natural Computing, 2002)

AGILE: Software Architecture for Mobility. - Luís Andrade 001; Paolo Baldan; Hubert Baumeister; Roberto Bruni 001; Andrea Corradini 001; Rocco De Nicola; José Luiz Fiadeiro; Fabio Gadducci; Stefania Gnesi; Piotr Hoffman; Nora Koch; Piotr Kosiuczenko; et al. (WADT, 2002)

Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. - Paolo Baldan; Andrea Corradini 001; Ugo Montanari; Leila Ribeiro 001 (WADT, 2002)

Inequational Deduction as Term Graph Rewriting. - Andrea Corradini 001; Fabio Gadducci; Wolfram Kahl; Barbara König 001 (TERMGRAPH, 2002)

A functorial semantics for multi-algebras and partial algebras, with applications to syntax. - Andrea Corradini 001; Fabio Gadducci (Theor. Comput. Sci., 2002)

Compositional SOS and beyond: a coalgebraic view of open systems. - Andrea Corradini 001; Reiko Heckel; Ugo Montanari (Theor. Comput. Sci., 2002)

Verifying a Behavioural Logic for Graph Transformation Systems. - Paolo Baldan; Andrea Corradini 001; Barbara König 001; Bernhard König (COMETA, 2003)

Preface. - Andrea Corradini 001; Hans-Jörg Kreowski (Fundam. Informaticae, 2003)

Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. - Paolo Baldan; Andrea Corradini 001; Barbara König 001 (CONCUR, 2004)

Specifying and Verifying UML Activity Diagrams Via Graph Transformation. - Paolo Baldan; Andrea Corradini 001; Fabio Gadducci (Global Computing, 2004)

Translating Java Code to Graph Transformation Systems. - Andrea Corradini 001; Fernando Luís Dotti; Luciana Foss; Leila Ribeiro 001 (ICGT, 2004)

Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. - Paolo Baldan; Andrea Corradini 001; Ugo Montanari (PNGT@ICGT, 2004)

On Term Graphs as an Adhesive Category. - Andrea Corradini 001; Fabio Gadducci (TERMGRAPH, 2004)

An Operational Semantics of COMMUNITY Based on Graph Transformation Systems. - Andrea Corradini 001; Dan Hirsch (GT-VMT@ETAPS, 2004)

Domain and event structure semantics for Petri nets with read and inhibitor arcs. - Paolo Baldan; Nadia Busi; Andrea Corradini 001; G. Michele Pinna (Theor. Comput. Sci., 2004)

On the Concurrent Semantics of Algebraic Graph Grammars. - Paolo Baldan; Andrea Corradini 001 (Formal Methods in Software and Systems Modeling, 2005)

Compositional semantics for open Petri nets based on deterministic processe. - Paolo Baldan; Andrea Corradini 001; Hartmut Ehrig; Reiko Heckel (Math. Struct. Comput. Sci., 2005)

Processes for Adhesive Rewriting Systems. - Paolo Baldan; Andrea Corradini 001; Tobias Heindel; Barbara König 001; Pawel Sobocinski 001 (FoSSaCS, 2006)

Graph Transactions as Processes. - Paolo Baldan; Andrea Corradini 001; Luciana Foss; Fabio Gadducci (ICGT, 2006)

Sesqui-Pushout Rewriting. - Andrea Corradini 001; Tobias Heindel; Frank Hermann 001; Barbara König 001 (ICGT, 2006)

A Temporal Graph Logic for Verification of Graph Transformation Systems. - Paolo Baldan; Andrea Corradini 001; Barbara König 001; Alberto Lluch-Lafuente (WADT, 2006)

Towards a Notion of Transaction in Graph Rewriting. - Paolo Baldan; Andrea Corradini 001; Fernando Luís Dotti; Luciana Foss; Fabio Gadducci; Leila Ribeiro 001 (GT-VMT@ETAPS, 2006)

Unfolding semantics of graph transformation. - Paolo Baldan; Andrea Corradini 001; Ugo Montanari; Leila Ribeiro 001 (Inf. Comput., 2007)

Unfolding Graph Transformation Systems: Theory and Applications to Verification. - Paolo Baldan; Andrea Corradini 001; Barbara König 001 (Concurrency, Graphs and Models, 2008)

Ugo Montanari and Graph Transformation. - Andrea Corradini 001 (Concurrency, Graphs and Models, 2008)

Open Petri Nets: Non-deterministic Processes and Compositionality. - Paolo Baldan; Andrea Corradini 001; Hartmut Ehrig; Barbara König 001 (ICGT, 2008)

ICGT 2008 Doctoral Symposium. - Andrea Corradini 001; Emilio Tuosto (ICGT, 2008)

Graph Transformation with Dependencies for the Specification of Interactive Systems. - Andrea Corradini 001; Luciana Foss; Leila Ribeiro 001 (WADT, 2008)

Subobject Transformation Systems. - Andrea Corradini 001; Frank Hermann 001; Pawel Sobocinski 001 (Appl. Categorical Struct., 2008)

Preface. - Andrea Corradini 001; Emilio Tuosto (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

A framework for the verification of infinite-state graph transformation systems. - Paolo Baldan; Andrea Corradini 001; Barbara König 001 (Inf. Comput., 2008)

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. - Paolo Baldan; Andrea Corradini 001; Hartmut Ehrig; Reiko Heckel; Barbara König 001 (Log. Methods Comput. Sci., 2008)

McMillan's Complete Prefix for Contextual Nets. - Paolo Baldan; Andrea Corradini 001; Barbara König 001; Stefan Schwoon (Trans. Petri Nets Other Model. Concurr., 2008)

Unfolding Grammars in Adhesive Categories. - Paolo Baldan; Andrea Corradini 001; Tobias Heindel; Barbara König 001; Pawel Sobocinski 001 (CALCO, 2009)

Preface. - Andrea Corradini 001 (TERMGRAPH@ETAPS, 2009)

On GS-Monoidal Theories for Graphs with Nesting. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Ugo Montanari (Graph Transformations and Model-Driven Engineering, 2010)

On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. - Paolo Baldan; Alessandro Bruni; Andrea Corradini 001; Barbara König 001; Stefan Schwoon (ICGT, 2010)

ICGT 2010 Doctoral Symposium. - Andrea Corradini 001; Maarten de Mol (ICGT, 2010)

An Institution for Graph Transformation. - Andrea Corradini 001; Fabio Gadducci; Leila Ribeiro 001 (WADT, 2010)

From Petri Nets to Graph Transformation Systems. - Paolo Baldan; Andrea Corradini 001; Fabio Gadducci; Ugo Montanari (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Modeling a Service and Session Calculus with Hierarchical Graph Transformation. - Roberto Bruni 001; Andrea Corradini 001; Ugo Montanari (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. - Frank Hermann 001; Andrea Corradini 001; Hartmut Ehrig; Barbara König 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Hierarchical Models for Service-Oriented Systems. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Ugo Montanari (Results of the SENSORIA Project, 2011)

Applying Process Analysis to the Italian eGovernment Enterprise Architecture. - Roberto Bruni 001; Andrea Corradini 001; Gian-Luigi Ferrari 002; Tito Flagella; Roberto Guanciale; Giorgio Spagnolo (WS-FM, 2011)

Term Graph Rewriting and Parallel Term Rewriting - Andrea Corradini 001; Frank Drewes (TERMGRAPH, 2011)

A lattice-theoretical perspective on adhesive categories. - Paolo Baldan; Filippo Bonchi; Andrea Corradini 001; Tobias Heindel; Barbara König 001 (J. Symb. Comput., 2011)

A Conceptual Framework for Adaptation. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (FASE, 2012)

ICGT 2012 Doctoral Symposium. - Andrea Corradini 001; Gabriele Taentzer (ICGT, 2012)

Adaptable Transition Systems. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (WADT, 2012)

Transformation Systems with Incremental Negative Application Conditions. - Andrea Corradini 001; Reiko Heckel; Frank Hermann 001; Susann Gottmann; Nico Nachtigall (WADT, 2012)

Efficient unfolding of contextual Petri nets. - Paolo Baldan; Alessandro Bruni; Andrea Corradini 001; Barbara König 001; César Rodríguez; Stefan Schwoon (Theor. Comput. Sci., 2012)

Classification Techniques for Conformance and Performance Checking in Process Analysis. - Hind Chfouka; Andrea Corradini 001; Roberto Guanciale (AIBP@AI*IA, 2013)

A Formal Model for the Deferred Update Replication Technique. - Andrea Corradini 001; Leila Ribeiro 001; Fernando Luís Dotti; Odorico Machado Mendizabal (TGC, 2013)

Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions. - Andrea Corradini 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Adaptation is a Game. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (Adv. Math. Commun., 2013)

Canonical Derivations with Negative Application Conditions. - Andrea Corradini 001; Reiko Heckel (ICGT, 2014)

Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions. - Frank Hermann 001; Andrea Corradini 001; Hartmut Ehrig (Math. Struct. Comput. Sci., 2014)

Processes and unfoldings: concurrent computations in adhesive categories. - Paolo Baldan; Andrea Corradini 001; Tobias Heindel; Barbara König 001; Pawel Sobocinski 001 (Math. Struct. Comput. Sci., 2014)

Awareness and Control in Adaptable Transition Systems. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (PNSE @ Petri Nets, 2015)

A White Box Perspective on Behavioural Adaptation. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (Software, Services, and Systems, 2015)

AGREE - Algebraic Graph Rewriting with Controlled Embedding. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (ICGT, 2015)

Modelling and analyzing adaptive self-assembly strategies with Maude. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (Sci. Comput. Program., 2015)

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Matthias M. Hölzl; Alberto Lluch-Lafuente; Andrea Vandin; Martin Wirsing (The ASCENS Approach, 2015)

Parallelism in AGREE Transformations. - Andrea Corradini 001; Dominique Duval; Frédéric Prost; Leila Ribeiro 001 (ICGT, 2016)

On the Definition of Parallel Independence in the Algebraic Approaches to Graph Transformation. - Andrea Corradini 001 (STAF Workshops, 2016)

Hartmut Ehrig (1944-2016). - Reiko Heckel; Andrea Corradini 001; Ugo Montanari; Hans-Jörg Kreowski; Fernando Orejas; Grzegorz Rozenberg (Bull. EATCS, 2016)

The Pullback-Pushout Approach to Algebraic Graph Transformation. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (ICGT, 2017)

Domains and event structures for fusions. - Paolo Baldan; Andrea Corradini 001; Fabio Gadducci (LICS, 2017)

On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. - Andrea Corradini 001; Dominique Duval; Michael Löwe; Leila Ribeiro 001; Rodrigo Machado; Andrei Costa; Guilherme Grochau Azzi; Jonas Santos Bezerra; Leonardo Marques Rodrigues (Graph Transformation, Specifications, and Nets, 2018)

On the Essence and Initiality of Conflicts. - Guilherme Grochau Azzi; Andrea Corradini 001; Leila Ribeiro 001 (ICGT, 2018)

Equivalence and Independence in Controlled Graph-Rewriting Processes. - Géza Kulcsár; Andrea Corradini 001; Malte Lochau (ICGT, 2018)

Event Structures for Petri nets with Persistence. - Paolo Baldan; Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Hernán C. Melgratti; Ugo Montanari (Log. Methods Comput. Sci., 2018)

Data-Driven Choreographies à la Klaim. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Hernán C. Melgratti; Ugo Montanari; Emilio Tuosto (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Rewriting Abstract Structures: Materialization Explained Categorically. - Andrea Corradini 001; Tobias Heindel; Barbara König 001; Dennis Nolte; Arend Rensink (FoSSaCS, 2019)

Unfolding Graph Grammars with Negative Application Conditions. - Andrea Corradini 001; Maryam Ghaffari Saadat; Reiko Heckel (ICGT, 2019)

Estimating costs of multi-component enterprise applications. - Antonio Brogi; Andrea Corradini 001; Jacopo Soldani (Formal Aspects Comput., 2019)

On the essence and initiality of conflicts in M-adhesive transformation systems. - Guilherme Grochau Azzi; Andrea Corradini 001; Leila Ribeiro 001 (J. Log. Algebraic Methods Program., 2019)

The PBPO graph transformation approach. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (J. Log. Algebraic Methods Program., 2019)

Specifying graph languages with type graphs. - Andrea Corradini 001; Barbara König 001; Dennis Nolte (J. Log. Algebraic Methods Program., 2019)

Encoding Incremental NACs in Safe Graph Grammars using Complementation. - Andrea Corradini 001; Maryam Ghaffari Saadat; Reiko Heckel (GCM@STAF, 2020)

A calculus of concurrent graph-rewriting processes. - Géza Kulcsár; Andrea Corradini 001; Malte Lochau (J. Log. Algebraic Methods Program., 2020)

Algebraic graph rewriting with controlled embedding. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (Theor. Comput. Sci., 2020)

Concurrent semantics for fusions: Weak prime domains and connected event structures. - Paolo Baldan; Andrea Corradini 001; Fabio Gadducci (Inf. Comput., 2021)

Graph Rewriting Components. - Reiko Heckel; Andrea Corradini 001; Fabio Gadducci (ICGT, 2022)

Completeness and expressiveness for gs-monoidal categories. - Andrea Corradini 001; Fabio Gadducci; Davide Trotta (CoRR, 2022)

From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness. - Tobias Fritz; Fabio Gadducci; Davide Trotta; Andrea Corradini 001 (Appl. Categorical Struct., 2023)

On Categories of Nested Conditions. - Arend Rensink; Andrea Corradini 001 (Principles of Verification (1), 2024)

Left-Linear Rewriting in Adhesive Categories. - Paolo Baldan; Davide Castelnovo; Andrea Corradini 001; Fabio Gadducci (CONCUR, 2024)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. - Lara Stoltenow; Barbara König 001; Sven Schneider 001; Andrea Corradini 001; Leen Lambers; Fernando Orejas (CONCUR, 2024)