Andrea Corradini

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin: Adaptation is a Game. TinyToCS 2 (2013)

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

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin: A Conceptual Framework for Adaptation. FASE 2012: 240-254

Andrea Corradini, Gabriele Taentzer: ICGT 2012 Doctoral Symposium. ICGT 2012: 416

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin: Adaptable Transition Systems. WADT 2012: 95-110

Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall: Transformation Systems with Incremental Negative Application Conditions. WADT 2012: 127-142

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin: Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA 2012: 118-138

Andrea Corradini: Preface. ECEASST 38 (2011)

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

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari: Hierarchical Models for Service-Oriented Systems. Results of the SENSORIA Project 2011: 349-368

Roberto Bruni, Andrea Corradini, Gian Luigi Ferrari, Tito Flagella, Roberto Guanciale, Giorgio Spagnolo: Applying Process Analysis to the Italian eGovernment Enterprise Architecture. WS-FM 2011: 111-127

Andrea Corradini, Frank Drewes: Term Graph Rewriting and Parallel Term Rewriting. TERMGRAPH 2011: 3-18

Andrea Corradini, Bartek Klin, Corina Cîrstea (Eds.): Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings. Lecture Notes in Computer Science 6859, Springer 2011, isbn 978-3-642-22943-5

Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari: From Petri Nets to Graph Transformation Systems. ECEASST 26 (2010)

Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König: Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. ECEASST 29 (2010)

Roberto Bruni, Andrea Corradini, Ugo Montanari: Modeling a Service and Session Calculus with Hierarchical Graph Transformation. ECEASST 30 (2010)

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

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

Andrea Corradini, Maarten de Mol: ICGT 2010 Doctoral Symposium. ICGT 2010: 379-380

Manish Mehta, Andrea Corradini, Santiago Ontañón, Peter Juel Henrichsen: Textual vs. Graphical Interaction in an Interactive Fiction Game. ICIDS 2010: 228-231

Andrea Corradini, Fabio Gadducci, Leila Ribeiro: An Institution for Graph Transformation. WADT 2010: 160-174

Andrea Corradini: Preface. Electr. Notes Theor. Comput. Sci. 253(4): 1-2 (2009)

Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski: Unfolding Grammars in Adhesive Categories. CALCO 2009: 350-366

Manish Mehta, Andrea Corradini: Evaluation of a domain independent approach to natural language processing for game-like user interfaces. CIG 2009: 225-232

Andrea Corradini, Manish Mehta, Santi Ontañón: Evaluating a Drama Management Approach in an Interactive Fiction Game. IAT 2009: 141-144

Andrea Corradini, Manish Mehta, Santiago Ontañón: Evaluation of a Drama Manager Agent for an Interactive Story-Based Game. ICIDS 2009: 246-257

Andrea Corradini, Ugo Montanari (Eds.): Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5486, Springer 2009, isbn 978-3-642-03428-2

Andrea Corradini, Frank Hermann, Pawel Sobocinski: Subobject Transformation Systems. Applied Categorical Structures 16(3): 389-419 (2008)

Andrea Corradini, Emilio Tuosto: Preface. ECEASST 16 (2008)

Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro: Towards a Notion of Transaction in Graph Rewriting. Electr. Notes Theor. Comput. Sci. 211: 39-50 (2008)

Paolo Baldan, Andrea Corradini, Barbara König: A framework for the verification of infinite-state graph transformation systems. Inf. Comput. 206(7): 869-907 (2008)

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. Logical Methods in Computer Science 4(4) (2008)

Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon: McMillan's Complete Prefix for Contextual Nets. T. Petri Nets and Other Models of Concurrency 1: 199-220 (2008)

Andrea Corradini: Tailoring the Interpretation of Spatial Utterances for Playing a Board Game. AIMSA 2008: 45-57

Andrea Corradini: Ugo Montanari and Graph Transformation. Concurrency, Graphs and Models 2008: 9-15

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

Manish Mehta, Andrea Corradini: Handling out of domain topics by a conversational character. DIMEA 2008: 273-280

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

Andrea Corradini, Emilio Tuosto: ICGT 2008 Doctoral Symposium. ICGT 2008: 473-474

Andrea Corradini, Christer Samuelsson: A Generic Spoken Dialogue Manager Applied to an Interactive 2D Game. PIT 2008: 2-13

Andrea Corradini, Luciana Foss, Leila Ribeiro: Graph Transformation with Dependencies for the Specification of Interactive Systems. WADT 2008: 102-118

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CoRR abs/0809.4115 (2008)

Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König: Inequational Deduction as Term Graph Rewriting. Electr. Notes Theor. Comput. Sci. 72(1): 31-44 (2007)

Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro: Unfolding semantics of graph transformation. Inf. Comput. 205(5): 733-782 (2007)

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142

Andrea Corradini, Thomas Hanneforth, Adrian Bak: A Robust Spoken Language Architecture to Control a 2D Game. FLAIRS Conference 2007: 199-204

Manish Mehta, Andrea Corradini: Towards Handling General Purpose Topics for a Conversational Character. FLAIRS Conference 2007: 265-266

Manish Mehta, Andrea Corradini: Developing a Conversational Agent Using Ontologies. HCI (3) 2007: 154-164

Andrea Corradini, Adrian Bak, Thomas Hanneforth: A Natural Language Interface for a 2D Networked Game. HCI (4) 2007: 225-234

Andrea Corradini: A computational model for spatial expression resolution. ICMI 2007: 240-246

Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski: Processes for Adhesive Rewriting Systems. FoSSaCS 2006: 202-216

Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König: Sesqui-Pushout Rewriting. ICGT 2006: 30-45

Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci: Graph Transactions as Processes. ICGT 2006: 199-214

Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente: A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT 2006: 1-20

Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg (Eds.): Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings. Lecture Notes in Computer Science 4178, Springer 2006, isbn 3-540-38870-2

Paolo Baldan, Andrea Corradini, Ugo Montanari: Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. Electr. Notes Theor. Comput. Sci. 127(2): 5-28 (2005)

Andrea Corradini, Fabio Gadducci: On Term Graphs as an Adhesive Category. Electr. Notes Theor. Comput. Sci. 127(5): 43-56 (2005)

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel: Compositional semantics for open Petri nets based on deterministic processe. Mathematical Structures in Computer Science 15(1): 1-35 (2005)

Paolo Baldan, Andrea Corradini: On the Concurrent Semantics of Algebraic Graph Grammars. Formal Methods in Software and Systems Modeling 2005: 3-23

Andrea Corradini, Manish Mehta, Niels Ole Bernsen, Marcela Charfuelan: Animating an interactive conversational character for an educational game system. IUI 2005: 183-190

Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König: Verifying a Behavioural Logic for Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 104: 5-24 (2004)

Andrea Corradini, Dan Hirsch: An Operational Semantics of COMMUNITY Based on Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 109: 111-124 (2004)

Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna: Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theor. Comput. Sci. 323(1-3): 129-189 (2004)

Niels Ole Bernsen, Marcela Charfuelan, Andrea Corradini, Laila Dybkjær, Thomas Hansen, Svend Kiilerich, Mykola Kolodnytsky, Dmytro Kupkin, Manish Mehta: Conversational H.C. Andersen First Prototype Description. ADS 2004: 305-308

Niels Ole Bernsen, Marcela Charfuelan, Andrea Corradini, Laila Dybkjær, Thomas Hansen, Svend Kiilerich, Mykola Kolodnytsky, Dmytro Kupkin, Manish Mehta: First prototype of conversational H.C. Andersen. AVI 2004: 458-461

Paolo Baldan, Andrea Corradini, Barbara König: Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. CONCUR 2004: 83-98

Paolo Baldan, Andrea Corradini, Fabio Gadducci: Specifying and Verifying UML Activity Diagrams Via Graph Transformation. Global Computing 2004: 18-33

Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro: Translating Java Code to Graph Transformation Systems. ICGT 2004: 383-398

Andrea Corradini: Collaborative Integration of Speech and 3D Gesture for Map-Based Applications. International Conference on Computational Science 2004: 913-920

Andrea Corradini, Morgan Fredriksson, Manish Mehta, Jürgen Königsmann, Niels Ole Bernsen, Lasse Johannesson: Towards Believable Behavior Generation for Embodied Conversational Agents. International Conference on Computational Science 2004: 946-953

Andrea Corradini, Hans-Jörg Kreowski: Preface. Fundam. Inform. 58(1) (2003)

Edward C. Kaiser, Alex Olwal, David McGee, Hrvoje Benko, Andrea Corradini, Xiaoguang Li, Philip R. Cohen, Steven Feiner: Mutual disambiguation of 3D multimodal interaction in augmented and virtual reality. ICMI 2003: 12-19

Andrea Corradini, Reiko Heckel, Ugo Montanari: Compositional SOS and beyond: a coalgebraic view of open systems. Theor. Comput. Sci. 280(1-2): 163-192 (2002)

Andrea Corradini, Fabio Gadducci: A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Theor. Comput. Sci. 286(2): 293-322 (2002)

Paolo Baldan, Andrea Corradini, Ugo Montanari: Bisimulation Equivalences for Graph Grammars. Formal and Natural Computing 2002: 158-190

Andrea Corradini, Richard M. Wesson, Philip R. Cohen: A Map-Based System Using Speech and 3D Gestures for Pervasive Computing. ICMI 2002: 191-196

Luis Filipe 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: AGILE: Software Architecture for Mobility. WADT 2002: 1-33

Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro: Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. WADT 2002: 165-184

Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg (Eds.): Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings. Lecture Notes in Computer Science 2505, Springer 2002, isbn 3-540-44310-X

Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini: Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. Applied Categorical Structures 9(1): 83-110 (2001)

Andrea Corradini, Marina Lenisa, Ugo Montanari: Preface. Electr. Notes Theor. Comput. Sci. 44(1): 308-309 (2001)

Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro: A Graph Transformation View on the Specification of Applications using Mobile Code. Electr. Notes Theor. Comput. Sci. 50(3): 238-246 (2001)

Andrea Corradini: GETGRATS: A summary of scientific results (with annotated bibliography). Electr. Notes Theor. Comput. Sci. 51: 1-64 (2001)

Andrea Corradini, Fabio Gadducci: Categorical rewriting of term-like structures. Electr. Notes Theor. Comput. Sci. 51: 108-121 (2001)

Michel Bauderon, Andrea Corradini: Preface. Electr. Notes Theor. Comput. Sci. 51: 319 (2001)

Paolo Baldan, Andrea Corradini, Ugo Montanari: Contextual Petri Nets, Asymmetric Event Structures, and Processes. Inf. Comput. 171(1): 1-49 (2001)

Andrea Corradini, Martin Große-Rhode, Reiko Heckel: A Coalgebraic presentation of structured transition systems. Theor. Comput. Sci. 260(1-2): 27-55 (2001)

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

Paolo Baldan, Andrea Corradini, Barbara König: A Static Analysis Technique for Graph Transformation Systems. CONCUR 2001: 381-395

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel: Compositional Modeling of Reactive Systems Using Open Nets. CONCUR 2001: 502-518

Andrea Corradini: Real-Time Gesture Recognition by Means of Hybrid Recognizers. Gesture Workshop 2001: 34-46

Andrea Corradini, Reiko Heckel: Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. Bulletin of the EATCS 72: 69-76 (2000)

Andrea Corradini, Hans-Joachim Böhme, Horst-Michael Gross: A Hybrid Stochastic-Connectionist Approach to Gesture Recognition. International Journal on Artificial Intelligence Tools 9(2): 177-203 (2000)

Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna: Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. CONCUR 2000: 442-457

Andrea Corradini, Reiko Heckel: Introduction: Graph Transformation and Visual Modeling Techniques. ICALP Satellite Workshops 2000: 357-358

Andrea Corradini, Reiko Heckel, Ugo Montanari: Graphical Operational Semantics. ICALP Satellite Workshops 2000: 411-418

Andrea Corradini, Horst-Michael Gross: Camera-Based Gesture Recognition for Robot Control. IJCNN (4) 2000: 133-138

Andrea Corradini, Fabio Gadducci: An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. Applied Categorical Structures 7(4): 299-331 (1999)

Andrea Corradini, Reiko Heckel, Ugo Montanari: From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. Electr. Notes Theor. Comput. Sci. 19: 118-141 (1999)

Andrea Corradini, Fabio Gadducci: Rewriting on cyclic structures: Equivalence between the operational and the categorical description. ITA 33(4/5): 467-493 (1999)

Andrea Corradini, Hans-Joachim Böhme, Horst-Michael Gross: Visual-based posture recognition using hybrid neural networks. ESANN 1999: 81-86

Andrea Corradini, Reiko Heckel, Ugo Montanari: Tile Transition Systems as Structured Coalgebras. FCT 1999: 13-38

Paolo Baldan, Andrea Corradini, Ugo Montanari: Unfolding and Event Structure Semantics for Graph Grammars. FoSSaCS 1999: 73-89

Hans-Joachim Böhme, Ulf-Dietrich Braumann, Andrea Corradini, Horst-Michael Gross: Person Localization and Posture Recognition for Human-Robot Interaction. Gesture Workshop 1999: 117-128

Paolo Baldan, Andrea Corradini, Ugo Montanari: History Preserving Bisimulation for Contextual Nets. WADT 1999: 291-310

Andrea Corradini, Martin Große-Rhode, Reiko Heckel: Structured Transition Systems as Lax Coalgebras. Electr. Notes Theor. Comput. Sci. 11: 22-41 (1998)

Ulf-Dietrich Braumann, Andrea Corradini, Hans-Joachim Böhme, Horst-Michael Gross: Konturbasierte Personenlokalisation mittels dreidimensionaler neuronaler Felder und steuerbarer Filter. DAGM-Symposium 1998: 385-392

Hans-Joachim Böhme, Ulf-Dietrich Braumann, Anja Brakensiek, Andrea Corradini, Markus Krabbes, Horst-Michael Gross: User Localisation for Visually-Based Human-Machine-Interaction. FG 1998: 486-491

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

Andrea Corradini, Fabio Gadducci: Rational Term Rewriting. FoSSaCS 1998: 156-171

Paolo Baldan, Andrea Corradini, Ugo Montanari: Concatenable Graph Processes: Relating Processes and Derivation Traces. ICALP 1998: 283-295

Andrea Corradini, Ulf-Dietrich Braumann, Hans-Joachim Böhme, Horst-Michael Gross: Contour-Based Person Localizaion by 3D Neural Fields and Steerable Filters. MVA 1998: 93-96

Paolo Baldan, Andrea Corradini, Ugo Montanari: Unfolding of Double-Pushout Graph Grammars is a Coreflection. TAGT 1998: 145-163

Andrea Corradini, Fabio Gadducci: Functorial Semantics for Multi-algebras. WADT 1998: 79-91

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

Andrea Corradini, Hans-Jörg Kreowski: GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. Bulletin of the EATCS 63 (1997)

Andrea Corradini, Fabio Gadducci: A 2-Categorical Presentation of Term Graph Rewriting. Category Theory and Computer Science 1997: 87-105

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

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

Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini: Integrating the Specification Techniques of Graph Transformation and Temporal Logic. MFCS 1997: 219-228

Andrea Corradini: A Completeness result for equational deduction in coalgebraic specification. WADT 1997: 190-205

Andrea Corradini, Ugo Montanari, Francesca Rossi: Graph Processes. Fundam. Inform. 26(3/4): 241-265 (1996)

Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe: Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Mathematical Structures in Computer Science 6(6): 613-648 (1996)

Andrea Corradini: Concurrent Graph and Term Graph Rewriting. CONCUR 1996: 438-464

Andrea Corradini, Ugo Montanari: Preface. Electr. Notes Theor. Comput. Sci. 2: 1-2 (1995)

Andrea Corradini, Reiko Heckel: A compositional approach to structuring and refinement of typed graph grammars. Electr. Notes Theor. Comput. Sci. 2: 46-55 (1995)

Andrea Corradini: Concurrent computing: from Petri nets to graph grammars. Electr. Notes Theor. Comput. Sci. 2: 56-70 (1995)

Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini: Declarative Specification of the Architecture of a Software Development Environment. Softw., Pract. Exper. 25(2): 143-174 (1995)

Andrea Corradini, Fabio Gadducci: CPO Models for Infinite Term Rewriting. AMAST 1995: 368-384

Andrea Corradini, Fabio Gadducci, Ugo Montanari: Relating Two Categorial Models of Term Rewriting. RTA 1995: 225-240

Andrea Corradini, Ugo Montanari, Francesca Rossi: An Abstract Machine for Concurrent Modular Systems: CHARM. Theor. Comput. Sci. 122(1&2): 165-200 (1994)

Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi: An Event Structure Semantics for Safe Graph Grammars. PROCOMET 1994: 423-444

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

Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi: An Event Structure Semantics for Graph Grammars with Parallel Productions. TAGT 1994: 240-256

Andrea Corradini, Francesca Rossi: Synchronized Composition of Graph Grammar Productions. TAGT 1994: 257-270

Andrea Corradini, Francesca Rossi: Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming. Theor. Comput. Sci. 109(1&2): 7-48 (1993)

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

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

Andrea Corradini: Term Rewriting in CT-Sigma. TAPSOFT 1993: 468-484

Andrea Corradini, Ugo Montanari: An Algebraic Semantics for Structured Transition Systems and its Applications to Logic Programs. Theor. Comput. Sci. 103(1): 51-106 (1992)

Andrea Corradini, Ugo Montanari, Francesca Rossi: SHARM: Concurrency and Hiding in an Abstract Rewriting Machine. FGCS 1992: 887-896

Andrea Corradini, Andrea Asperti: A Categorial Model for Logic Programs: Indexed Monoidal Categories. REX Workshop 1992: 110-137

Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini, Nicoletta De Francesco: Towards innovative software engineering environments. Journal of Systems and Software 14(1): 17-29 (1991)

Andrea Corradini, Ugo Montanari: An Algebraic Representation of Logic-Program Computations. Computational Logic - Essays in Honor of Alan Robinson 1991: 584-612

Andrea Corradini, Ugo Montanari: An Algebra of Graphs and Graph Rewriting. Category Theory and Computer Science 1991: 236-260

Andrea Corradini, Francesca Rossi, Francesco Parisi-Presicce: Logic Programming as Hypergraph Rewriting. TAPSOFT, Vol.1 1991: 275-295

Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Michael Löwe: Graph Grammars and Logic Programming. Graph-Grammars and Their Application to Computer Science 1990: 221-237

Andrea Corradini, Gian Luigi Ferrari, Ugo Montanari: Transition Systems with Algebraic Structure as Models of Computations. Semantics of Systems of Concurrent Processes 1990: 185-222

Andrea Corradini, Ugo Montanari: An Algebraic Semantics of Logic Programs as Structured Transition Systems. NACLP 1990: 788-812

Andrea Corradini, Ugo Montanari: Towards a Process Semantics in the Logic Programming Style. STACS 1990: 95-108

Giuseppe Attardi, Andrea Corradini, S. Diomedi, Maria Simi: Taxonomic Reasoning. ECAI 1986: 277-286