default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndrea Corradini 0001
Person information
- affiliation: University of Pisa, Italy
Other persons with the same name
- Andrea Corradini 0002 — Copenhagen School of Design and Technology, Copenhagen, Denmark
- Andrea Corradini 0003 — University of Potsdam, Computational Linguistics Department, Germany
- Andrea Corradini 0004 — Animal Ecology Unit, San Michele a/A (TN) Italy
- Andrea Corradini 0005 — MCI, Innsbruck, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c104]Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci:
Left-Linear Rewriting in Adhesive Categories. CONCUR 2024: 11:1-11:24- [c103]Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas:
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CONCUR 2024: 39:1-39:20 - [i11]Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci:
Left-Linear Rewriting in Adhesive Categories. CoRR abs/2407.06181 (2024) - [i10]Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas:
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CoRR abs/2407.06864 (2024) - [i9]Arend Rensink, Andrea Corradini:
On Categories of Nested Conditions. CoRR abs/2408.06196 (2024) - 2023
- [j45]Tobias Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini:
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness. Appl. Categorical Struct. 31(5): 42 (2023) - 2022
- [c102]Reiko Heckel
, Andrea Corradini, Fabio Gadducci:
Graph Rewriting Components. ICGT 2022: 20-37 - [i8]Andrea Corradini, Fabio Gadducci, Davide Trotta:
Completeness and expressiveness for gs-monoidal categories. CoRR abs/2205.06892 (2022) - 2021
- [j44]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Concurrent semantics for fusions: Weak prime domains and connected event structures. Inf. Comput. 281: 104770 (2021) - 2020
- [j43]Géza Kulcsár, Andrea Corradini, Malte Lochau:
A calculus of concurrent graph-rewriting processes. J. Log. Algebraic Methods Program. 110 (2020) - [j42]Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
Algebraic graph rewriting with controlled embedding. Theor. Comput. Sci. 802: 19-37 (2020) - [c101]Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel:
Encoding Incremental NACs in Safe Graph Grammars using Complementation. GCM@STAF 2020: 88-107
2010 – 2019
- 2019
- [j41]Antonio Brogi, Andrea Corradini, Jacopo Soldani:
Estimating costs of multi-component enterprise applications. Formal Aspects Comput. 31(4): 421-451 (2019) - [j40]Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro:
On the essence and initiality of conflicts in M-adhesive transformation systems. J. Log. Algebraic Methods Program. 109 (2019) - [j39]Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
The PBPO graph transformation approach. J. Log. Algebraic Methods Program. 103: 213-231 (2019) - [j38]Andrea Corradini, Barbara König, Dennis Nolte:
Specifying graph languages with type graphs. J. Log. Algebraic Methods Program. 104: 176-200 (2019) - [c100]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto:
Data-Driven Choreographies à la Klaim. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 170-190 - [c99]Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink:
Rewriting Abstract Structures: Materialization Explained Categorically. FoSSaCS 2019: 169-188 - [c98]Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel:
Unfolding Graph Grammars with Negative Application Conditions. ICGT 2019: 93-110 - [i7]Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink:
Rewriting Abstract Structures: Materialization Explained Categorically. CoRR abs/1902.04809 (2019) - 2018
- [j37]Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari:
Event Structures for Petri nets with Persistence. Log. Methods Comput. Sci. 14(3) (2018) - [c97]Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues:
On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. Graph Transformation, Specifications, and Nets 2018: 1-18 - [c96]Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro:
On the Essence and Initiality of Conflicts. ICGT 2018: 99-117 - [c95]Géza Kulcsár, Andrea Corradini, Malte Lochau:
Equivalence and Independence in Controlled Graph-Rewriting Processes. ICGT 2018: 134-151 - [i6]Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari:
Event Structures for Petri nets with Persistence. CoRR abs/1802.03726 (2018) - 2017
- [c94]Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
The Pullback-Pushout Approach to Algebraic Graph Transformation. ICGT 2017: 3-19 - [c93]Andrea Corradini, Barbara König, Dennis Nolte:
Specifying Graph Languages with Type Graphs. ICGT 2017: 73-89 - [c92]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Domains and event structures for fusions. LICS 2017: 1-12 - [i5]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Domains and Event Structures for Fusions. CoRR abs/1701.02394 (2017) - [i4]Andrea Corradini, Barbara König, Dennis Nolte:
Specifying Graph Languages with Type Graphs. CoRR abs/1704.05263 (2017) - 2016
- [j36]Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg:
Hartmut Ehrig (1944-2016). Bull. EATCS 119 (2016) - [c91]Andrea Corradini, Dominique Duval, Frédéric Prost, Leila Ribeiro:
Parallelism in AGREE Transformations. ICGT 2016: 37-53 - [c90]Andrea Corradini:
On the Definition of Parallel Independence in the Algebraic Approaches to Graph Transformation. STAF Workshops 2016: 101-111 - [e10]Andrea Corradini, Hans Zantema:
Proceedings 9th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2016, Eindhoven, The Netherlands, April 8, 2016. EPTCS 225, 2016 [contents] - 2015
- [j35]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. 99: 75-94 (2015) - [c89]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets 2015: 19-21 - [c88]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems 2015: 552-581 - [c87]Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
AGREE - Algebraic Graph Rewriting with Controlled Embedding. ICGT 2015: 35-51 - [p5]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing:
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach 2015: 163-184 - 2014
- [j34]Frank Hermann, Andrea Corradini, Hartmut Ehrig:
Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions. Math. Struct. Comput. Sci. 24(4) (2014) - [j33]Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski:
Processes and unfoldings: concurrent computations in adhesive categories. Math. Struct. Comput. Sci. 24(4) (2014) - [c86]Andrea Corradini, Reiko Heckel:
Canonical Derivations with Negative Application Conditions. ICGT 2014: 207-221 - [i3]Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
AGREE - Algebraic Graph Rewriting with Controlled Embedding. CoRR abs/1411.4597 (2014) - 2013
- [j32]Andrea Corradini:
Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013) - [c85]Hind Chfouka, Andrea Corradini, Roberto Guanciale:
Classification Techniques for Conformance and Performance Checking in Process Analysis. AIBP@AI*IA 2013: 21-30 - [c84]Andrea Corradini, Leila Ribeiro, Fernando Luís Dotti, Odorico Machado Mendizabal:
A Formal Model for the Deferred Update Replication Technique. TGC 2013: 235-253 - [i2]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptation is a Game. Tiny Trans. Comput. Sci. 2 (2013) - 2012
- [j31]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) - [c83]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
A Conceptual Framework for Adaptation. FASE 2012: 240-254 - [c82]Andrea Corradini, Gabriele Taentzer:
ICGT 2012 Doctoral Symposium. ICGT 2012: 416 - [c81]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptable Transition Systems. WADT 2012: 95-110 - [c80]Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall:
Transformation Systems with Incremental Negative Application Conditions. WADT 2012: 127-142 - [c79]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA 2012: 118-138 - 2011
- [j30]Andrea Corradini:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 38 (2011) - [j29]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) - [c78]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 - [c77]Andrea Corradini, Frank Drewes:
Term Graph Rewriting and Parallel Term Rewriting. TERMGRAPH 2011: 3-18 - [p4]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 - [e9]Andrea Corradini, Bartek Klin, Corina Cîrstea:
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 [contents] - 2010
- [j28]Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari:
From Petri Nets to Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010) - [j27]Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König:
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010) - [j26]Roberto Bruni, Andrea Corradini, Ugo Montanari:
Modeling a Service and Session Calculus with Hierarchical Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [c76]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 - [c75]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 - [c74]Andrea Corradini, Maarten de Mol:
ICGT 2010 Doctoral Symposium. ICGT 2010: 379-380 - [c73]Andrea Corradini, Fabio Gadducci, Leila Ribeiro:
An Institution for Graph Transformation. WADT 2010: 160-174
2000 – 2009
- 2009
- [c72]Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski:
Unfolding Grammars in Adhesive Categories. CALCO 2009: 350-366 - [c71]Andrea Corradini:
Preface. TERMGRAPH@ETAPS 2009: 1-2 - [e8]Andrea Corradini:
Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, TERMGRAPH@ETAPS 2009, York, UK, March 22, 2009. Electronic Notes in Theoretical Computer Science 253(4), Elsevier 2009 [contents] - [e7]Andrea Corradini, Ugo Montanari:
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 [contents] - 2008
- [j25]Andrea Corradini, Frank Hermann, Pawel Sobocinski:
Subobject Transformation Systems. Appl. Categorical Struct. 16(3): 389-419 (2008) - [j24]Andrea Corradini, Emilio Tuosto:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008) - [j23]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) - [j22]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. Log. Methods Comput. Sci. 4(4) (2008) - [j21]Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon:
McMillan's Complete Prefix for Contextual Nets. Trans. Petri Nets Other Model. Concurr. 1: 199-220 (2008) - [c70]Andrea Corradini:
Ugo Montanari and Graph Transformation. Concurrency, Graphs and Models 2008: 9-15 - [c69]Paolo Baldan, Andrea Corradini, Barbara König:
Unfolding Graph Transformation Systems: Theory and Applications to Verification. Concurrency, Graphs and Models 2008: 16-36 - [c68]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König:
Open Petri Nets: Non-deterministic Processes and Compositionality. ICGT 2008: 257-273 - [c67]Andrea Corradini, Emilio Tuosto:
ICGT 2008 Doctoral Symposium. ICGT 2008: 473-474 - [c66]Andrea Corradini, Luciana Foss, Leila Ribeiro:
Graph Transformation with Dependencies for the Specification of Interactive Systems. WADT 2008: 102-118 - [i1]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) - 2007
- [j20]Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro:
Unfolding semantics of graph transformation. Inf. Comput. 205(5): 733-782 (2007) - [c65]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142 - 2006
- [c64]Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski:
Processes for Adhesive Rewriting Systems. FoSSaCS 2006: 202-216 - [c63]Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König:
Sesqui-Pushout Rewriting. ICGT 2006: 30-45 - [c62]Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci:
Graph Transactions as Processes. ICGT 2006: 199-214 - [c61]Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente:
A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT 2006: 1-20 - [c60]Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro:
Towards a Notion of Transaction in Graph Rewriting. GT-VMT@ETAPS 2006: 39-50 - [e6]Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg:
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 [contents] - 2005
- [j19]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel:
Compositional semantics for open Petri nets based on deterministic processe. Math. Struct. Comput. Sci. 15(1): 1-35 (2005) - [c59]Paolo Baldan, Andrea Corradini:
On the Concurrent Semantics of Algebraic Graph Grammars. Formal Methods in Software and Systems Modeling 2005: 3-23 - 2004
- [j18]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) - [c58]Paolo Baldan, Andrea Corradini, Barbara König:
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. CONCUR 2004: 83-98 - [c57]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Specifying and Verifying UML Activity Diagrams Via Graph Transformation. Global Computing 2004: 18-33 - [c56]Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro:
Translating Java Code to Graph Transformation Systems. ICGT 2004: 383-398 - [c55]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. PNGT@ICGT 2004: 5-28 - [c54]Andrea Corradini, Fabio Gadducci:
On Term Graphs as an Adhesive Category. TERMGRAPH 2004: 43-56 - [c53]Andrea Corradini, Dan Hirsch:
An Operational Semantics of COMMUNITY Based on Graph Transformation Systems. GT-VMT@ETAPS 2004: 111-124 - 2003
- [j17]Andrea Corradini, Hans-Jörg Kreowski:
Preface. Fundam. Informaticae 58(1) (2003) - [c52]Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König:
Verifying a Behavioural Logic for Graph Transformation Systems. COMETA 2003: 5-24 - 2002
- [j16]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) - [j15]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) - [c51]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Bisimulation Equivalences for Graph Grammars. Formal and Natural Computing 2002: 158-190 - [c50]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:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - [c49]Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro:
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. WADT 2002: 165-184 - [c48]Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König:
Inequational Deduction as Term Graph Rewriting. TERMGRAPH 2002: 31-44 - [e5]Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg:
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 [contents] - 2001
- [j14]Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini:
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. Appl. Categorical Struct. 9(1): 83-110 (2001) - [j13]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Contextual Petri Nets, Asymmetric Event Structures, and Processes. Inf. Comput. 171(1): 1-49 (2001) - [j12]Andrea Corradini, Martin Große-Rhode, Reiko Heckel:
A Coalgebraic presentation of structured transition systems. Theor. Comput. Sci. 260(1-2): 27-55 (2001) - [c47]Paolo Baldan, Andrea Corradini, Barbara König:
A Static Analysis Technique for Graph Transformation Systems. CONCUR 2001: 381-395 - [c46]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel:
Compositional Modeling of Reactive Systems Using Open Nets. CONCUR 2001: 502-518 - [c45]Andrea Corradini:
GETGRATS: A summary of scientific results (with annotated bibliography). GETGRATS Closing Workshop 2001: 1-64 - [c44]Andrea Corradini, Fabio Gadducci:
Categorical rewriting of term-like structures. GETGRATS Closing Workshop 2001: 108-121 - [c43]Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro:
A Graph Transformation View on the Specification of Applications using Mobile Code. GT-VMT@ICALP 2001: 238-246 - [c42]Andrea Corradini