Andrea Corradini

176 papers A* 2A 2B 37Journal 56Unranked 67

Year	Rank	Type	Title / Venue / Authors
2024	B	`conf`	Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CONCUR Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas
2024	J	`jnl`	Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CoRR Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas
2024	B	`conf`	Left-Linear Rewriting in Adhesive Categories. CONCUR Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci
2024	J	`jnl`	Left-Linear Rewriting in Adhesive Categories. CoRR Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci
2024	—	`conf`	On Categories of Nested Conditions. Principles of Verification (1) Arend Rensink, Andrea Corradini
2024	J	`jnl`	On Categories of Nested Conditions. CoRR Arend Rensink, Andrea Corradini
2023	J	`jnl`	From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness. Appl. Categorical Struct. Tobias Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini
2022	J	`jnl`	Completeness and expressiveness for gs-monoidal categories. CoRR Andrea Corradini, Fabio Gadducci, Davide Trotta
2022	B	`conf`	Graph Rewriting Components. ICGT Reiko Heckel, Andrea Corradini, Fabio Gadducci
2021	J	`jnl`	Concurrent semantics for fusions: Weak prime domains and connected event structures. Inf. Comput. Paolo Baldan, Andrea Corradini, Fabio Gadducci
2020	J	`jnl`	A calculus of concurrent graph-rewriting processes. J. Log. Algebraic Methods Program. Géza Kulcsár, Andrea Corradini, Malte Lochau
2020	J	`jnl`	Algebraic graph rewriting with controlled embedding. Theor. Comput. Sci. Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2020	—	`conf`	Encoding Incremental NACs in Safe Graph Grammars using Complementation. GCM@STAF Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel
2019	—	`conf`	Data-Driven Choreographies à la Klaim. Models, Languages, and Tools for Concurrent and Distributed Programming Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto
2019	J	`jnl`	Estimating costs of multi-component enterprise applications. Formal Aspects Comput. Antonio Brogi, Andrea Corradini, Jacopo Soldani
2019	J	`jnl`	On the essence and initiality of conflicts in M-adhesive transformation systems. J. Log. Algebraic Methods Program. Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro
2019	B	`conf`	Rewriting Abstract Structures: Materialization Explained Categorically. FoSSaCS Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink
2019	J	`jnl`	Rewriting Abstract Structures: Materialization Explained Categorically. CoRR Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink
2019	J	`jnl`	Specifying graph languages with type graphs. J. Log. Algebraic Methods Program. Andrea Corradini, Barbara König, Dennis Nolte
2019	J	`jnl`	The PBPO graph transformation approach. J. Log. Algebraic Methods Program. Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2019	B	`conf`	Unfolding Graph Grammars with Negative Application Conditions. ICGT Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel
2018	B	`conf`	Equivalence and Independence in Controlled Graph-Rewriting Processes. ICGT Géza Kulcsár, Andrea Corradini, Malte Lochau
2018	J	`jnl`	Event Structures for Petri nets with Persistence. CoRR Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
2018	J	`jnl`	Event Structures for Petri nets with Persistence. Log. Methods Comput. Sci. Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
2018	B	`conf`	On the Essence and Initiality of Conflicts. ICGT Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro
2018	—	`conf`	On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. Graph Transformation, Specifications, and Nets Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues
2017	J	`jnl`	Domains and Event Structures for Fusions. CoRR Paolo Baldan, Andrea Corradini, Fabio Gadducci
2017	A*	`conf`	Domains and event structures for fusions. LICS Paolo Baldan, Andrea Corradini, Fabio Gadducci
2017	B	`conf`	Specifying Graph Languages with Type Graphs. ICGT Andrea Corradini, Barbara König, Dennis Nolte
2017	J	`jnl`	Specifying Graph Languages with Type Graphs. CoRR Andrea Corradini, Barbara König, Dennis Nolte
2017	B	`conf`	The Pullback-Pushout Approach to Algebraic Graph Transformation. ICGT Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2016	J	`jnl`	Hartmut Ehrig (1944-2016). Bull. EATCS Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg
2016	—	`conf`	On the Definition of Parallel Independence in the Algebraic Approaches to Graph Transformation. STAF Workshops Andrea Corradini
2016	B	`conf`	Parallelism in AGREE Transformations. ICGT Andrea Corradini, Dominique Duval, Frédéric Prost, Leila Ribeiro
2016	—	`ed.`	Proceedings 9th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2016, Eindhoven, The Netherlands, April 8, 2016. TERMGRAPH Andrea Corradini, Hans Zantema
2015	—	`conf`	A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2015	B	`conf`	AGREE - Algebraic Graph Rewriting with Controlled Embedding. ICGT Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2015	—	`conf`	Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2015	J	`jnl`	Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2015	—	`ch.`	Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing
2014	J	`jnl`	AGREE - Algebraic Graph Rewriting with Controlled Embedding. CoRR Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2014	J	`jnl`	Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions. Math. Struct. Comput. Sci. Frank Hermann, Andrea Corradini, Hartmut Ehrig
2014	B	`conf`	Canonical Derivations with Negative Application Conditions. ICGT Andrea Corradini, Reiko Heckel
2014	J	`jnl`	Processes and unfoldings: concurrent computations in adhesive categories. Math. Struct. Comput. Sci. Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
2013	—	`conf`	A Formal Model for the Deferred Update Replication Technique. TGC Andrea Corradini, Leila Ribeiro, Fernando Luís Dotti, Odorico Machado Mendizabal
2013	J	`jnl`	Adaptation is a Game. Tiny Trans. Comput. Sci. Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2013	—	`conf`	Classification Techniques for Conformance and Performance Checking in Process Analysis. AIBP@AI*IA Hind Chfouka, Andrea Corradini, Roberto Guanciale
2013	J	`jnl`	Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Andrea Corradini
2012	B	`conf`	A Conceptual Framework for Adaptation. FASE Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012	—	`conf`	Adaptable Transition Systems. WADT Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012	J	`jnl`	Efficient unfolding of contextual Petri nets. Theor. Comput. Sci. Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodríguez, Stefan Schwoon
2012	B	`conf`	ICGT 2012 Doctoral Symposium. ICGT Andrea Corradini, Gabriele Taentzer
2012	—	`conf`	Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012	—	`conf`	Transformation Systems with Incremental Negative Application Conditions. WADT Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall
2011	J	`jnl`	A lattice-theoretical perspective on adhesive categories. J. Symb. Comput. Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König
2011	B	`ed.`	Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings CALCO Andrea Corradini, Bartek Klin, Corina Cîrstea
2011	—	`conf`	Applying Process Analysis to the Italian eGovernment Enterprise Architecture. WS-FM Roberto Bruni, Andrea Corradini, Gian-Luigi Ferrari, Tito Flagella, Roberto Guanciale, Giorgio Spagnolo
2011	—	`ch.`	Hierarchical Models for Service-Oriented Systems. Results of the SENSORIA Project Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari
2011	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Andrea Corradini
2011	—	`conf`	Term Graph Rewriting and Parallel Term Rewriting TERMGRAPH Andrea Corradini, Frank Drewes
2010	—	`conf`	An Institution for Graph Transformation. WADT Andrea Corradini, Fabio Gadducci, Leila Ribeiro
2010	J	`jnl`	Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König
2010	J	`jnl`	From Petri Nets to Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari
2010	B	`conf`	ICGT 2010 Doctoral Symposium. ICGT Andrea Corradini, Maarten de Mol
2010	J	`jnl`	Modeling a Service and Session Calculus with Hierarchical Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Roberto Bruni, Andrea Corradini, Ugo Montanari
2010	—	`conf`	On GS-Monoidal Theories for Graphs with Nesting. Graph Transformations and Model-Driven Engineering Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari
2010	B	`conf`	On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. ICGT Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon
2009	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Andrea Corradini, Emilio Tuosto
2009	—	`conf`	Preface. TERMGRAPH@ETAPS Andrea Corradini
2009	—	`ed.`	Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, TERMGRAPH@ETAPS 2009, York, UK, March 22, 2009 TERMGRAPH@ETAPS Andrea Corradini
2009	—	`ed.`	Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers WADT Andrea Corradini, Ugo Montanari
2009	B	`conf`	Unfolding Grammars in Adhesive Categories. CALCO Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
2008	J	`jnl`	A framework for the verification of infinite-state graph transformation systems. Inf. Comput. Paolo Baldan, Andrea Corradini, Barbara König
2008	J	`jnl`	Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets CoRR Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
2008	J	`jnl`	Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. Log. Methods Comput. Sci. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
2008	—	`conf`	Graph Transformation with Dependencies for the Specification of Interactive Systems. WADT Andrea Corradini, Luciana Foss, Leila Ribeiro
2008	B	`conf`	ICGT 2008 Doctoral Symposium. ICGT Andrea Corradini, Emilio Tuosto
2008	J	`jnl`	McMillan's Complete Prefix for Contextual Nets. Trans. Petri Nets Other Model. Concurr. Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon
2008	B	`conf`	Open Petri Nets: Non-deterministic Processes and Compositionality. ICGT Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König
2008	J	`jnl`	Subobject Transformation Systems. Appl. Categorical Struct. Andrea Corradini, Frank Hermann, Pawel Sobocinski
2008	—	`conf`	Ugo Montanari and Graph Transformation. Concurrency, Graphs and Models Andrea Corradini
2008	—	`conf`	Unfolding Graph Transformation Systems: Theory and Applications to Verification. Concurrency, Graphs and Models Paolo Baldan, Andrea Corradini, Barbara König
2007	B	`conf`	Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
2007	J	`jnl`	Unfolding semantics of graph transformation. Inf. Comput. Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
2006	—	`conf`	A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente
2006	B	`conf`	Graph Transactions as Processes. ICGT Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci
2006	B	`ed.`	Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings ICGT Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
2006	B	`conf`	Processes for Adhesive Rewriting Systems. FoSSaCS Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
2006	B	`conf`	Sesqui-Pushout Rewriting. ICGT Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König
2006	—	`conf`	Towards a Notion of Transaction in Graph Rewriting. GT-VMT@ETAPS Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro
2005	J	`jnl`	Compositional semantics for open Petri nets based on deterministic processe. Math. Struct. Comput. Sci. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel
2005	—	`conf`	On the Concurrent Semantics of Algebraic Graph Grammars. Formal Methods in Software and Systems Modeling Paolo Baldan, Andrea Corradini
2004	—	`conf`	An Operational Semantics of COMMUNITY Based on Graph Transformation Systems. GT-VMT@ETAPS Andrea Corradini, Dan Hirsch
2004	J	`jnl`	Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theor. Comput. Sci. Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
2004	—	`conf`	On Term Graphs as an Adhesive Category. TERMGRAPH Andrea Corradini, Fabio Gadducci
2004	—	`conf`	Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. PNGT@ICGT Paolo Baldan, Andrea Corradini, Ugo Montanari
2004	—	`conf`	Specifying and Verifying UML Activity Diagrams Via Graph Transformation. Global Computing Paolo Baldan, Andrea Corradini, Fabio Gadducci
2004	B	`conf`	Translating Java Code to Graph Transformation Systems. ICGT Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro
2004	B	`conf`	Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. CONCUR Paolo Baldan, Andrea Corradini, Barbara König
2003	J	`jnl`	Preface. Fundam. Informaticae Andrea Corradini, Hans-Jörg Kreowski
2003	—	`conf`	Verifying a Behavioural Logic for Graph Transformation Systems. COMETA Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König
2002	J	`jnl`	A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Theor. Comput. Sci. Andrea Corradini, Fabio Gadducci
2002	—	`conf`	AGILE: Software Architecture for Mobility. WADT Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
2002	—	`conf`	Bisimulation Equivalences for Graph Grammars. Formal and Natural Computing Paolo Baldan, Andrea Corradini, Ugo Montanari
2002	J	`jnl`	Compositional SOS and beyond: a coalgebraic view of open systems. Theor. Comput. Sci. Andrea Corradini, Reiko Heckel, Ugo Montanari
2002	—	`conf`	Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. WADT Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
2002	B	`ed.`	Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings ICGT Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
2002	—	`conf`	Inequational Deduction as Term Graph Rewriting. TERMGRAPH Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König
2001	J	`jnl`	A Coalgebraic presentation of structured transition systems. Theor. Comput. Sci. Andrea Corradini, Martin Große-Rhode, Reiko Heckel
2001	—	`conf`	A Graph Transformation View on the Specification of Applications using Mobile Code. GT-VMT@ICALP Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro
2001	B	`conf`	A Static Analysis Technique for Graph Transformation Systems. CONCUR Paolo Baldan, Andrea Corradini, Barbara König
2001	—	`conf`	Categorical rewriting of term-like structures. GETGRATS Closing Workshop Andrea Corradini, Fabio Gadducci
2001	—	`ed.`	Coalgebraic Methods in Computer Science, CMCS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 6-7, 2001 CMCS Andrea Corradini, Marina Lenisa, Ugo Montanari
2001	B	`conf`	Compositional Modeling of Reactive Systems Using Open Nets. CONCUR Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel
2001	J	`jnl`	Contextual Petri Nets, Asymmetric Event Structures, and Processes. Inf. Comput. Paolo Baldan, Andrea Corradini, Ugo Montanari
2001	J	`jnl`	Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. Appl. Categorical Struct. Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
2001	—	`ed.`	GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001 GETGRATS Closing Workshop Michel Bauderon, Andrea Corradini
2001	—	`ch.`	GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. Current Trends in Theoretical Computer Science Andrea Corradini, Hans-Jörg Kreowski
2001	—	`conf`	GETGRATS: A summary of scientific results (with annotated bibliography). GETGRATS Closing Workshop Andrea Corradini
2001	—	`conf`	Preface. GETGRATS Closing Workshop Michel Bauderon, Andrea Corradini
2001	—	`conf`	Preface. CMCS Andrea Corradini, Marina Lenisa, Ugo Montanari
2000	B	`conf`	Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. CONCUR Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
2000	J	`jnl`	Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. Bull. EATCS Andrea Corradini, Reiko Heckel
2000	—	`conf`	Graphical Operational Semantics. ICALP Satellite Workshops Andrea Corradini, Reiko Heckel, Ugo Montanari
2000	—	`ed.`	ICALP Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000 José D. P. Rolim, Andrei Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko Heckel, Juraj Hromkovic, Ugo Vaccaro, J. B. Wells
2000	—	`conf`	Introduction: Graph Transformation and Visual Modeling Techniques. ICALP Satellite Workshops Andrea Corradini, Reiko Heckel
1999	J	`jnl`	An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. Appl. Categorical Struct. Andrea Corradini, Fabio Gadducci
1999	—	`conf`	From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. CMCS Andrea Corradini, Reiko Heckel, Ugo Montanari
1999	—	`conf`	History Preserving Bisimulation for Contextual Nets. WADT Paolo Baldan, Andrea Corradini, Ugo Montanari
1999	J	`jnl`	Rewriting on cyclic structures: Equivalence between the operational and the categorical description. RAIRO Theor. Informatics Appl. Andrea Corradini, Fabio Gadducci
1999	B	`conf`	Tile Transition Systems as Structured Coalgebras. FCT Andrea Corradini, Reiko Heckel, Ugo Montanari
1999	B	`conf`	Unfolding and Event Structure Semantics for Graph Grammars. FoSSaCS Paolo Baldan, Andrea Corradini, Ugo Montanari
1998	—	`conf`	An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. WADT Andrea Corradini, Martin Große-Rhode, Reiko Heckel
1998	B	`conf`	An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. FoSSaCS Paolo Baldan, Andrea Corradini, Ugo Montanari
1998	A*	`conf`	Concatenable Graph Processes: Relating Processes and Derivation Traces. ICALP Paolo Baldan, Andrea Corradini, Ugo Montanari
1998	—	`conf`	Functorial Semantics for Multi-algebras. WADT Andrea Corradini, Fabio Gadducci
1998	B	`conf`	Rational Term Rewriting. FoSSaCS Andrea Corradini, Fabio Gadducci
1998	—	`conf`	Structured Transition Systems as Lax Coalgebras. CMCS Andrea Corradini, Martin Große-Rhode, Reiko Heckel
1998	—	`conf`	Unfolding of Double-Pushout Graph Grammars is a Coreflection. TAGT Paolo Baldan, Andrea Corradini, Ugo Montanari
1997	—	`conf`	A 2-Categorical Presentation of Term Graph Rewriting. Category Theory and Computer Science Andrea Corradini, Fabio Gadducci
1997	—	`conf`	A Completeness result for equational deduction in coalgebraic specification. WADT Andrea Corradini
1997	—	`ch.`	Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach. Handbook of Graph Grammars Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, Michael Löwe
1997	—	`ch.`	Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. Handbook of Graph Grammars Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, Andrea Corradini
1997	J	`jnl`	GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. Bull. EATCS Andrea Corradini, Hans-Jörg Kreowski
1997	B	`conf`	Integrating the Specification Techniques of Graph Transformation and Temporal Logic. MFCS Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
1996	B	`conf`	Concurrent Graph and Term Graph Rewriting. CONCUR Andrea Corradini
1996	J	`jnl`	Graph Processes. Fundam. Informaticae Andrea Corradini, Ugo Montanari, Francesca Rossi
1996	J	`jnl`	Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Math. Struct. Comput. Sci. Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe
1995	—	`conf`	A compositional approach to structuring and refinement of typed graph grammars. SEGRAGRA Andrea Corradini, Reiko Heckel
1995	—	`conf`	CPO Models for Infinite Term Rewriting. AMAST Andrea Corradini, Fabio Gadducci
1995	—	`conf`	Concurrent computing: from Petri nets to graph grammars. SEGRAGRA Andrea Corradini
1995	J	`jnl`	Declarative Specification of the Architecture of a Software Development Environment. Softw. Pract. Exp. Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini
1995	—	`ed.`	Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995 SEGRAGRA Andrea Corradini, Ugo Montanari
1995	—	`conf`	Preface. SEGRAGRA Andrea Corradini, Ugo Montanari
1995	—	`conf`	Relating Two Categorial Models of Term Rewriting. RTA Andrea Corradini, Fabio Gadducci, Ugo Montanari
1994	J	`jnl`	An Abstract Machine for Concurrent Modular Systems: CHARM. Theor. Comput. Sci. Andrea Corradini, Ugo Montanari, Francesca Rossi
1994	—	`conf`	An Event Structure Semantics for Graph Grammars with Parallel Productions. TAGT Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
1994	—	`conf`	An Event Structure Semantics for Safe Graph Grammars. PROCOMET Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
1994	—	`conf`	Synchronized Composition of Graph Grammar Productions. TAGT Andrea Corradini, Francesca Rossi
1994	—	`conf`	The Category of Typed Graph Grammars and its Adjunctions with Categories. TAGT Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg
1993	—	`conf`	Abstract Graph Derivations in the Double Pushout Approach. Dagstuhl Seminar on Graph Transformations in Computer Science Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
1993	J	`jnl`	Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming. Theor. Comput. Sci. Andrea Corradini, Francesca Rossi
1993	—	`conf`	Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. Dagstuhl Seminar on Graph Transformations in Computer Science Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
1993	—	`conf`	Term Rewriting in CT-Sigma. TAPSOFT Andrea Corradini
1992	—	`conf`	A Categorial Model for Logic Programs: Indexed Monoidal Categories. REX Workshop Andrea Corradini, Andrea Asperti
1992	J	`jnl`	An Algebraic Semantics for Structured Transition Systems and its Applications to Logic Programs. Theor. Comput. Sci. Andrea Corradini, Ugo Montanari
1992	—	`conf`	SHARM: Concurrency and Hiding in an Abstract Rewriting Machine. FGCS Andrea Corradini, Ugo Montanari, Francesca Rossi
1991	—	`conf`	An Algebra of Graphs and Graph Rewriting. Category Theory and Computer Science Andrea Corradini, Ugo Montanari
1991	—	`conf`	An Algebraic Representation of Logic-Program Computations. Computational Logic - Essays in Honor of Alan Robinson Andrea Corradini, Ugo Montanari
1991	—	`conf`	Logic Programming as Hypergraph Rewriting. TAPSOFT, Vol.1 Andrea Corradini, Francesca Rossi, Francesco Parisi-Presicce
1991	J	`jnl`	Towards innovative software engineering environments. J. Syst. Softw. Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini, Nicoletta De Francesco
1990	—	`conf`	An Algebraic Semantics of Logic Programs as Structured Transition Systems. NACLP Andrea Corradini, Ugo Montanari
1990	—	`conf`	Graph Grammars and Logic Programming. Graph-Grammars and Their Application to Computer Science Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Michael Löwe
1990	A	`conf`	Towards a Process Semantics in the Logic Programming Style. STACS Andrea Corradini, Ugo Montanari
1990	—	`conf`	Transition Systems with Algebraic Structure as Models of Computations. Semantics of Systems of Concurrent Processes Andrea Corradini, Gian-Luigi Ferrari, Ugo Montanari
1986	A	`conf`	Taxonomic Reasoning. ECAI Giuseppe Attardi, Andrea Corradini, S. Diomedi, Maria Simi