Edit Profile (opens in new tab) Corradini, Andrea Compute Distance To: Compute Author ID: corradini.andrea Published as: Corradini, Andrea; Corradini, A. Documents Indexed: 110 Publications since 1990 11 Contributions as Editor · 1 Further Contribution Co-Authors: 59 Co-Authors with 115 Joint Publications 1,010 Co-Co-Authors all top 5 Co-Authors 7 single-authored 35 Baldan, Paolo 32 Montanari, Ugo G. 21 Gadducci, Fabio 20 König, Barbara 19 Heckel, Reiko 17 Ehrig, Hartmut 17 Ribeiro, Leila 10 Rossi, Francesca 7 Lowe, Michael J. S. 6 Heindel, Tobias 5 Duval, Dominique 5 Prost, Frédéric 4 Bruni, Roberto 4 Dotti, Fernando Luís 4 Echahed, Rachid 4 Foss, Luciana 4 Hermann, Frank 4 Lluch Lafuente, Alberto 4 Rozenberg, Grzegorz 4 Sobociński, Paweł 3 Azzi, Guilherme Grochau 3 Große-Rhode, Martin 3 Kreowski, Hans-Jörg 3 Nolte, Dennis 3 Schwoon, Stefan 2 Bruni, Alessandro 2 Busi, Nadia 2 Kulcsár, Géza 2 Lochau, Malte 2 Pinna, G. Michele 2 Saadat, Maryam Ghaffari 2 Vandin, Andrea 2 Wolter, Uwe E. 1 Bauderon, Michel 1 Bezerra, Jonas Santos 1 Bonchi, Filippo 1 Brogi, Antonio 1 Cîrstea, Corina 1 Costa, Andrei 1 Drewes, Frank 1 Duval, Dominque 1 Gottmann, Susann 1 Hirsch, Dan 1 Klin, Bartek 1 König, Bernhard 1 Lenisa, Marina 1 Machado, Rodrigo 1 Melgratti, Hernán 1 Mendizabal, Odorico Machado 1 Nachtigall, Nico 1 Orejas, Fernando 1 Padberg, Julia 1 Parisi-Presicce, Francesco 1 Rensink, Arend 1 Rodrigues, Leonardo Marques 1 Rodríguez, César Marín 1 Soldani, Jacopo 1 Taentzer, Gabriele 1 Wolz, Dietmar 1 Zantema, Hans all top 5 Serials 9 Theoretical Computer Science 6 MSCS. Mathematical Structures in Computer Science 4 Information and Computation 4 Lecture Notes in Computer Science 4 Electronic Notes in Theoretical Computer Science 4 Journal of Logical and Algebraic Methods in Programming 3 Applied Categorical Structures 2 Logical Methods in Computer Science 1 Annales Societatis Mathematicae Polonae. Series IV 1 Journal of Symbolic Computation 1 Formal Aspects of Computing 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 RAIRO. Theoretical Informatics and Applications 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) all top 5 Fields 121 Computer science (68-XX) 32 Category theory; homological algebra (18-XX) 12 General and overarching topics; collections (00-XX) 7 Mathematical logic and foundations (03-XX) 3 Combinatorics (05-XX) 2 History and biography (01-XX) 2 General algebraic systems (08-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Associative rings and algebras (16-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 94 Publications have been cited 532 times in 284 Documents Cited by ▼ Year ▼ Sesqui-pushout rewriting. Zbl 1156.68423Corradini, Andrea; Heindel, Tobias; Hermann, Frank; König, Barbara 37 2006 Graph processes. Zbl 0854.68054Corradini, A.; Montanari, U.; Rossi, F. 32 1996 Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 31 2001 An algebraic presentation of term graphs, via gs-monoidal categories. Zbl 0949.68121Corradini, Andrea; Gadducci, Fabio 28 1999 Domain and event structure semantics for Petri nets with read and inhibitor arcs. Zbl 1078.68103Baldan, P.; Busi, N.; Corradini, A.; Pinna, G. M. 20 2004 Compositional SOS and beyond: A coalgebraic view of open systems. Zbl 1014.68107Corradini, Andrea; Heckel, Reiko; Montanari, Ugo 19 2002 A 2-categorical presentation of term graph rewriting. Zbl 0889.68085Corradini, A.; Gadducci, F. 15 1997 An algebraic semantics for structured transition systems and its application to logic programs. Zbl 0756.68075Corradini, Andrea; Montanari, Ugo 13 1992 Compositional semantics for open Petri nets based on deterministic processes. Zbl 1089.68068Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko 12 2005 A static analysis technique for graph transformation systems. Zbl 1006.68529Baldan, Paolo; Corradini, Andrea; König, Barbara 12 2001 AGREE – algebraic graph rewriting with controlled embedding. Zbl 1321.68327Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frederic; Ribeiro, Leila 12 2015 A framework for the verification of infinite-state graph transformation systems. Zbl 1153.68034Baldan, Paolo; Corradini, Andrea; König, Barbara 12 2008 From SOS specifications to structured coalgebras: How to make bisimulation a congruence. Zbl 0918.68065Corradini, Andrea; Heckel, Reiko; Montanari, Ugo 11 1999 Unfolding semantics of graph transformation. Zbl 1115.68093Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 11 2007 Structured transition systems as lax coalgebras. Zbl 0917.68072Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko 10 1998 A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Zbl 1061.18008Corradini, Andrea; Gadducci, Fabio 10 2002 Rewriting on cyclic structures: Equivalence between the operational and the categorical description. Zbl 0940.18002Corradini, Andrea; Gadducci, Fabio 10 1999 Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming. Zbl 0781.68074Corradini, Andrea; Rossi, Francesca 8 1993 A coalgebraic presentation of structured transition systems. Zbl 0973.68173Corradini, A.; Große-Rhode, M.; Heckel, R. 8 2001 An event structure semantics for P/T contextual nets: Asymmetric event structures. Zbl 0902.68140Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 8 1998 Rational term rewriting. Zbl 0908.68081Corradini, A.; Gadducci, F. 8 1998 Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Zbl 0970.68116Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea 7 2001 Unfolding of double-pushout graph grammars is a coreflection. Zbl 0958.68081Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 7 2000 On the essence of parallel independence for the double-pushout and sesqui-pushout approaches. Zbl 1383.68042Corradini, Andrea; Duval, Dominique; Löwe, Michael; Ribeiro, Leila; Machado, Rodrigo; Costa, Andrei; Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Rodrigues, Leonardo Marques 7 2018 Graph grammars and logic programming. Zbl 0765.68083Corradini, Andrea; Montanari, Ugo; Rossi, Francesca; Ehrig, Hartmut; Löwe, Michael 6 1991 Unfolding and event structure semantics for graph grammars. Zbl 0946.68087Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 6 1999 Tile transition systems as structured coalgebras. Zbl 0944.18006Corradini, Andrea; Heckel, Reiko; Montanari, Ugo 6 1999 Unfolding grammars in adhesive categories. Zbl 1239.68036Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł 6 2009 Compositional modeling of reactive systems using open nets. Zbl 1006.68084Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R. 6 2001 Verifying finite-state graph grammars: An unfolding-based approach. Zbl 1099.68046Baldan, Paolo; Corradini, Andrea; König, Barbara 6 2004 On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems. Zbl 1435.68131Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila 6 2019 Functional concurrent semantics for Petri nets with read and inhibitor arcs. Zbl 0999.68150Baldan, Paolo; Busi, Nadia; Corradini, Andrea; Pinna, G. Michele 5 2000 Efficient unfolding of contextual Petri nets. Zbl 1263.68117Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Rodríguez, César; Schwoon, Stefan 5 2012 Horizontal and vertical structuring of typed graph transformation systems. Zbl 0866.68056Heckel, Reiko; Corradini, Andrea; Ehrig, Hartmut; Löwe, Michael 5 1996 A completeness result for equational deduction in coalgebraic specification. Zbl 0903.08007Corradini, Andrea 5 1998 Subobject transformation systems. Zbl 1153.18002Corradini, Andrea; Hermann, Frank; Sobociński, Paweł 5 2008 Categorical rewriting of term-like structures. Zbl 1263.68070Corradini, Andrea; Gadducci, Fabio 4 2002 Logic programming as hypergraph rewriting. Zbl 0967.68507Corradini, Andrea; Rossi, Francesca; Parisi-Presicce, Francesco 4 1991 The PBPO graph transformation approach. Zbl 1417.68075Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila 4 2019 An event structure semantics for graph grammars with parallel productions. Zbl 1412.68100Corradini, A.; Ehrig, H.; Löwe, M.; Montanari, U.; Rossi, F. 4 1996 Processes for adhesive rewriting systems. Zbl 1180.68165Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł 4 2006 Translating Java code to graph transformation systems. Zbl 1116.68382Corradini, Andrea; Dotti, Fernando Luís; Foss, Luciana; Ribeiro, Leila 4 2004 A temporal graph logic for verification of graph transformation systems. Zbl 1196.68154Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto 4 2007 McMillan’s complete prefix for contextual nets. Zbl 1171.68560Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan 4 2008 Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1214.68243Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara 4 2007 History preserving bisimulation for contextual nets. Zbl 0966.68151Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 3 2000 Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions. Zbl 1342.68179Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut 3 2014 Rewriting abstract structures: materialization explained categorically. Zbl 07158697Corradini, Andrea; Heindel, Tobias; König, Barbara; Nolte, Dennis; Rensink, Arend 3 2019 The pullback-pushout approach to algebraic graph transformation. Zbl 1425.68156Corradini, Andrea; Duval, Dominque; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila 3 2017 Specifying graph languages with type graphs. Zbl 1425.68191Corradini, Andrea; König, Barbara; Nolte, Dennis 3 2017 The category of typed graph grammars and its adjunctions with categories of derivations. Zbl 1412.68099Corradini, A.; Ehrig, H.; Löwe, M.; Montanari, U.; Padberg, J. 3 1996 An abstract machine for concurrent modular systems: CHARM. Zbl 0801.68055Corradini, Andrea; Montanari, Ugo; Rossi, Francesca 3 1994 Specifying graph languages with type graphs. Zbl 1423.68248Corradini, Andrea; König, Barbara; Nolte, Dennis 3 2019 On the computation of McMillan’s prefix for contextual nets and graph grammars. Zbl 1306.68120Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Schwoon, Stefan 3 2010 Coreflective concurrent semantics for single-pushout graph grammars. Zbl 1278.68117Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 2 2003 A lattice-theoretical perspective on adhesive categories. Zbl 1217.18004Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara 2 2011 Domains and event structures for fusions. Zbl 1458.68128Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 2 2017 A compositional approach to structuring and refinement of typed graph grammars. Zbl 0910.68116Corradini, Andrea; Heckel, Reiko 2 1995 Event structures for Petri nets with persistence. Zbl 1417.68113Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo 2 2018 GETGRATS: a summary of scientific results (with annotated bibliography). Zbl 1263.68069Corradini, Andrea 2 2002 An algebra of graphs and graph rewriting. Zbl 0792.68079Corradini, Andrea; Montanari, Ugo 2 1991 Bisimulation equivalences for graph grammars. Zbl 1060.68050Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 2 2002 Parallelism in AGREE transformations. Zbl 1344.68106Corradini, Andrea; Duval, Dominique; Prost, Frederic; Ribeiro, Leila 2 2016 Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 2 2005 On the essence and initiality of conflicts. Zbl 1394.68195Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila 2 2018 Equivalence and independence in controlled graph-rewriting processes. Zbl 1394.68199Kulcsár, Géza; Corradini, Andrea; Lochau, Malte 2 2018 Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1161.68034Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara 2 2008 Unfolding graph transformation systems: Theory and applications to verification. Zbl 1143.68422Baldan, Paolo; Corradini, Andrea; König, Barbara 2 2008 Term graph rewriting and parallel term rewriting. Zbl 1457.68135Corradini, Andrea; Drewes, Frank 1 2011 Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Zbl 1221.68011 1 2011 Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA ’95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995. Zbl 0903.00060 1 1995 Concurrent computing: From Petri nets to graph grammars. Zbl 0910.68109Corradini, Andrea 1 1995 Integrating the specification techniques of graph transformation and temporal logic. Zbl 0951.68055Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea 1 1997 Towards a notion of transaction in graph rewriting. Zbl 1283.68182Baldan, P.; Corradini, A.; Dotti, F. L.; Foss, L.; Gadducci, F.; Ribeiro, L. 1 2008 Graph transformation with dependencies for the specification of interactive systems. Zbl 1253.68192Corradini, Andrea; Foss, Luciana; Ribeiro, Leila 1 2009 Canonical derivations with negative application conditions. Zbl 1423.68226Corradini, Andrea; Heckel, Reiko 1 2014 Verifying a behavioural logic for graph transformation systems. Zbl 1271.68167Baldan, Paolo; Corradini, Andrea; König, Barbara; König, Bernhard 1 2004 On term graphs as an adhesive category. Zbl 1272.68175Corradini, Andrea; Gadducci, Fabio 1 2005 Adaptable transition systems. Zbl 1394.68206Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea 1 2013 Transformation systems with incremental negative application conditions. Zbl 1394.68196Corradini, Andrea; Heckel, Reiko; Hermann, Frank; Gottmann, Susann; Nachtigall, Nico 1 2013 CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Zbl 1260.68011 1 2001 GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22–23, 2001. Proceedings. Zbl 1262.68010 1 2002 CHARM: Concurrency and hiding in an abstract rewriting machine. Zbl 0864.68054Corradini, Andrea; Montanari, Ugo; Rossi, Francesca 1 1992 Real-time gesture recognition by means of hybrid recognizers. Zbl 1051.68621Corradini, Andrea 1 2002 Specification of concurrent systems: From Petri nets to graph grammars. Zbl 0817.68110Corradini, A.; Montanari, U. 1 1995 Processes and unfoldings: concurrent computations in adhesive categories. Zbl 1342.68223Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł 1 2014 A calculus of concurrent graph-rewriting processes. Zbl 1494.68115Kulcsár, Géza; Corradini, Andrea; Lochau, Malte 1 2020 Unfolding graph grammars with negative application conditions. Zbl 1429.68086Corradini, Andrea; Saadat, Maryam Ghaffari; Heckel, Reiko 1 2019 Graph transformation. 1st international conference, ICGT 2002, Barcelona, Spain, October 7–12, 2002. Proceedings. Zbl 1001.00043 1 2002 Functorial semantics for multi-algebras. Zbl 0942.18002Corradini, Andrea; Gadducci, Fabio 1 1999 An algebra of graph derivations using finite (co-) limit double theories. Zbl 0955.68080Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko 1 1999 Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Zbl 1147.68003 1 2006 Open Petri nets: Non-deterministic processes and compositionality. Zbl 1175.68269Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; König, Barbara 1 2008 Graph transactions as processes. Zbl 1156.68416Baldan, Paolo; Corradini, Andrea; Foss, Luciana; Gadducci, Fabio 1 2006 A calculus of concurrent graph-rewriting processes. Zbl 1494.68115Kulcsár, Géza; Corradini, Andrea; Lochau, Malte 1 2020 On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems. Zbl 1435.68131Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila 6 2019 The PBPO graph transformation approach. Zbl 1417.68075Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila 4 2019 Rewriting abstract structures: materialization explained categorically. Zbl 07158697Corradini, Andrea; Heindel, Tobias; König, Barbara; Nolte, Dennis; Rensink, Arend 3 2019 Specifying graph languages with type graphs. Zbl 1423.68248Corradini, Andrea; König, Barbara; Nolte, Dennis 3 2019 Unfolding graph grammars with negative application conditions. Zbl 1429.68086Corradini, Andrea; Saadat, Maryam Ghaffari; Heckel, Reiko 1 2019 On the essence of parallel independence for the double-pushout and sesqui-pushout approaches. Zbl 1383.68042Corradini, Andrea; Duval, Dominique; Löwe, Michael; Ribeiro, Leila; Machado, Rodrigo; Costa, Andrei; Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Rodrigues, Leonardo Marques 7 2018 Event structures for Petri nets with persistence. Zbl 1417.68113Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo 2 2018 On the essence and initiality of conflicts. Zbl 1394.68195Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila 2 2018 Equivalence and independence in controlled graph-rewriting processes. Zbl 1394.68199Kulcsár, Géza; Corradini, Andrea; Lochau, Malte 2 2018 The pullback-pushout approach to algebraic graph transformation. Zbl 1425.68156Corradini, Andrea; Duval, Dominque; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila 3 2017 Specifying graph languages with type graphs. Zbl 1425.68191Corradini, Andrea; König, Barbara; Nolte, Dennis 3 2017 Domains and event structures for fusions. Zbl 1458.68128Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 2 2017 Parallelism in AGREE transformations. Zbl 1344.68106Corradini, Andrea; Duval, Dominique; Prost, Frederic; Ribeiro, Leila 2 2016 AGREE – algebraic graph rewriting with controlled embedding. Zbl 1321.68327Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frederic; Ribeiro, Leila 12 2015 Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions. Zbl 1342.68179Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut 3 2014 Canonical derivations with negative application conditions. Zbl 1423.68226Corradini, Andrea; Heckel, Reiko 1 2014 Processes and unfoldings: concurrent computations in adhesive categories. Zbl 1342.68223Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł 1 2014 Adaptable transition systems. Zbl 1394.68206Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea 1 2013 Transformation systems with incremental negative application conditions. Zbl 1394.68196Corradini, Andrea; Heckel, Reiko; Hermann, Frank; Gottmann, Susann; Nachtigall, Nico 1 2013 Efficient unfolding of contextual Petri nets. Zbl 1263.68117Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Rodríguez, César; Schwoon, Stefan 5 2012 A lattice-theoretical perspective on adhesive categories. Zbl 1217.18004Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara 2 2011 Term graph rewriting and parallel term rewriting. Zbl 1457.68135Corradini, Andrea; Drewes, Frank 1 2011 Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Zbl 1221.68011 1 2011 On the computation of McMillan’s prefix for contextual nets and graph grammars. Zbl 1306.68120Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Schwoon, Stefan 3 2010 Unfolding grammars in adhesive categories. Zbl 1239.68036Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł 6 2009 Graph transformation with dependencies for the specification of interactive systems. Zbl 1253.68192Corradini, Andrea; Foss, Luciana; Ribeiro, Leila 1 2009 A framework for the verification of infinite-state graph transformation systems. Zbl 1153.68034Baldan, Paolo; Corradini, Andrea; König, Barbara 12 2008 Subobject transformation systems. Zbl 1153.18002Corradini, Andrea; Hermann, Frank; Sobociński, Paweł 5 2008 McMillan’s complete prefix for contextual nets. Zbl 1171.68560Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan 4 2008 Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1161.68034Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara 2 2008 Unfolding graph transformation systems: Theory and applications to verification. Zbl 1143.68422Baldan, Paolo; Corradini, Andrea; König, Barbara 2 2008 Towards a notion of transaction in graph rewriting. Zbl 1283.68182Baldan, P.; Corradini, A.; Dotti, F. L.; Foss, L.; Gadducci, F.; Ribeiro, L. 1 2008 Open Petri nets: Non-deterministic processes and compositionality. Zbl 1175.68269Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; König, Barbara 1 2008 Unfolding semantics of graph transformation. Zbl 1115.68093Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 11 2007 A temporal graph logic for verification of graph transformation systems. Zbl 1196.68154Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto 4 2007 Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1214.68243Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara 4 2007 Sesqui-pushout rewriting. Zbl 1156.68423Corradini, Andrea; Heindel, Tobias; Hermann, Frank; König, Barbara 37 2006 Processes for adhesive rewriting systems. Zbl 1180.68165Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł 4 2006 Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Zbl 1147.68003 1 2006 Graph transactions as processes. Zbl 1156.68416Baldan, Paolo; Corradini, Andrea; Foss, Luciana; Gadducci, Fabio 1 2006 Compositional semantics for open Petri nets based on deterministic processes. Zbl 1089.68068Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko 12 2005 Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 2 2005 On term graphs as an adhesive category. Zbl 1272.68175Corradini, Andrea; Gadducci, Fabio 1 2005 Domain and event structure semantics for Petri nets with read and inhibitor arcs. Zbl 1078.68103Baldan, P.; Busi, N.; Corradini, A.; Pinna, G. M. 20 2004 Verifying finite-state graph grammars: An unfolding-based approach. Zbl 1099.68046Baldan, Paolo; Corradini, Andrea; König, Barbara 6 2004 Translating Java code to graph transformation systems. Zbl 1116.68382Corradini, Andrea; Dotti, Fernando Luís; Foss, Luciana; Ribeiro, Leila 4 2004 Verifying a behavioural logic for graph transformation systems. Zbl 1271.68167Baldan, Paolo; Corradini, Andrea; König, Barbara; König, Bernhard 1 2004 Coreflective concurrent semantics for single-pushout graph grammars. Zbl 1278.68117Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 2 2003 Compositional SOS and beyond: A coalgebraic view of open systems. Zbl 1014.68107Corradini, Andrea; Heckel, Reiko; Montanari, Ugo 19 2002 A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Zbl 1061.18008Corradini, Andrea; Gadducci, Fabio 10 2002 Categorical rewriting of term-like structures. Zbl 1263.68070Corradini, Andrea; Gadducci, Fabio 4 2002 GETGRATS: a summary of scientific results (with annotated bibliography). Zbl 1263.68069Corradini, Andrea 2 2002 Bisimulation equivalences for graph grammars. Zbl 1060.68050Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 2 2002 GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22–23, 2001. Proceedings. Zbl 1262.68010 1 2002 Real-time gesture recognition by means of hybrid recognizers. Zbl 1051.68621Corradini, Andrea 1 2002 Graph transformation. 1st international conference, ICGT 2002, Barcelona, Spain, October 7–12, 2002. Proceedings. Zbl 1001.00043 1 2002 Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 31 2001 A static analysis technique for graph transformation systems. Zbl 1006.68529Baldan, Paolo; Corradini, Andrea; König, Barbara 12 2001 A coalgebraic presentation of structured transition systems. Zbl 0973.68173Corradini, A.; Große-Rhode, M.; Heckel, R. 8 2001 Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Zbl 0970.68116Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea 7 2001 Compositional modeling of reactive systems using open nets. Zbl 1006.68084Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R. 6 2001 CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Zbl 1260.68011 1 2001 Unfolding of double-pushout graph grammars is a coreflection. Zbl 0958.68081Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 7 2000 Functional concurrent semantics for Petri nets with read and inhibitor arcs. Zbl 0999.68150Baldan, Paolo; Busi, Nadia; Corradini, Andrea; Pinna, G. Michele 5 2000 History preserving bisimulation for contextual nets. Zbl 0966.68151Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 3 2000 An algebraic presentation of term graphs, via gs-monoidal categories. Zbl 0949.68121Corradini, Andrea; Gadducci, Fabio 28 1999 From SOS specifications to structured coalgebras: How to make bisimulation a congruence. Zbl 0918.68065Corradini, Andrea; Heckel, Reiko; Montanari, Ugo 11 1999 Rewriting on cyclic structures: Equivalence between the operational and the categorical description. Zbl 0940.18002Corradini, Andrea; Gadducci, Fabio 10 1999 Unfolding and event structure semantics for graph grammars. Zbl 0946.68087Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 6 1999 Tile transition systems as structured coalgebras. Zbl 0944.18006Corradini, Andrea; Heckel, Reiko; Montanari, Ugo 6 1999 Functorial semantics for multi-algebras. Zbl 0942.18002Corradini, Andrea; Gadducci, Fabio 1 1999 An algebra of graph derivations using finite (co-) limit double theories. Zbl 0955.68080Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko 1 1999 Structured transition systems as lax coalgebras. Zbl 0917.68072Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko 10 1998 An event structure semantics for P/T contextual nets: Asymmetric event structures. Zbl 0902.68140Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 8 1998 Rational term rewriting. Zbl 0908.68081Corradini, A.; Gadducci, F. 8 1998 A completeness result for equational deduction in coalgebraic specification. Zbl 0903.08007Corradini, Andrea 5 1998 A 2-categorical presentation of term graph rewriting. Zbl 0889.68085Corradini, A.; Gadducci, F. 15 1997 Integrating the specification techniques of graph transformation and temporal logic. Zbl 0951.68055Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea 1 1997 Graph processes. Zbl 0854.68054Corradini, A.; Montanari, U.; Rossi, F. 32 1996 Horizontal and vertical structuring of typed graph transformation systems. Zbl 0866.68056Heckel, Reiko; Corradini, Andrea; Ehrig, Hartmut; Löwe, Michael 5 1996 An event structure semantics for graph grammars with parallel productions. Zbl 1412.68100Corradini, A.; Ehrig, H.; Löwe, M.; Montanari, U.; Rossi, F. 4 1996 The category of typed graph grammars and its adjunctions with categories of derivations. Zbl 1412.68099Corradini, A.; Ehrig, H.; Löwe, M.; Montanari, U.; Padberg, J. 3 1996 A compositional approach to structuring and refinement of typed graph grammars. Zbl 0910.68116Corradini, Andrea; Heckel, Reiko 2 1995 Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA ’95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995. Zbl 0903.00060 1 1995 Concurrent computing: From Petri nets to graph grammars. Zbl 0910.68109Corradini, Andrea 1 1995 Specification of concurrent systems: From Petri nets to graph grammars. Zbl 0817.68110Corradini, A.; Montanari, U. 1 1995 An abstract machine for concurrent modular systems: CHARM. Zbl 0801.68055Corradini, Andrea; Montanari, Ugo; Rossi, Francesca 3 1994 Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming. Zbl 0781.68074Corradini, Andrea; Rossi, Francesca 8 1993 An algebraic semantics for structured transition systems and its application to logic programs. Zbl 0756.68075Corradini, Andrea; Montanari, Ugo 13 1992 CHARM: Concurrency and hiding in an abstract rewriting machine. Zbl 0864.68054Corradini, Andrea; Montanari, Ugo; Rossi, Francesca 1 1992 Graph grammars and logic programming. Zbl 0765.68083Corradini, Andrea; Montanari, Ugo; Rossi, Francesca; Ehrig, Hartmut; Löwe, Michael 6 1991 Logic programming as hypergraph rewriting. Zbl 0967.68507Corradini, Andrea; Rossi, Francesca; Parisi-Presicce, Francesco 4 1991 An algebra of graphs and graph rewriting. Zbl 0792.68079Corradini, Andrea; Montanari, Ugo 2 1991 all cited Publications top 5 cited Publications all top 5 Cited by 313 Authors 38 Corradini, Andrea 36 Montanari, Ugo G. 30 Gadducci, Fabio 24 Baldan, Paolo 16 Ribeiro, Leila 15 Bonchi, Filippo 14 Bruni, Roberto 13 König, Barbara 12 Heckel, Reiko 8 Behr, Nicolas 8 Echahed, Rachid 8 Pinna, G. Michele 8 Sobociński, Paweł 7 Duval, Dominique 7 Heindel, Tobias 6 Ehrig, Hartmut 6 Janicki, Ryszard 6 Melgratti, Hernán 6 Orejas, Fernando 6 Prost, Frédéric 5 Foss, Luciana 5 Lambers, Leen 5 Monreale, Giacoma Valentina 4 Chatain, Thomas 4 Harmer, Russ 4 Kleijn, Jetty 4 Krivine, Jean 4 Lluch Lafuente, Alberto 4 Lowe, Michael J. S. 4 Rossi, Francesca 4 Saadat, Maryam Ghaffari 4 Schwoon, Stefan 4 Taentzer, Gabriele 4 Virbitskaite, Irina B. 3 Boy de la Tour, Thierry 3 Ciancia, Vincenzo 3 Cîrstea, Corina 3 Dotti, Fernando Luís 3 Endrullis, Jörg 3 Haar, Stefan 3 Hosseini, Seyed Naser 3 Kissinger, Aleks 3 König, Harald 3 Kosiol, Jens 3 Koutny, Maciej 3 Lanese, Ivan 3 Lenisa, Marina 3 Liu, Zhiming 3 Lye, Aaron 3 Mikulski, Łukasz 3 Parisi-Presicce, Francesco 3 Plump, Detlef 3 Rodríguez, César Marín 3 Zanasi, Fabio 2 Abbes, Samy 2 Arbab, Farhad 2 Balan, Adriana 2 Bertolissi, Clara 2 Bozapalidis, Symeon 2 Braatz, Benjamin 2 Buscemi, Maria Grazia 2 Clarke, Dave 2 Da Costa, Simone André 2 de Lara, Juan 2 Dimitrova, Rayna 2 Engelfriet, Joost 2 Giese, Holger 2 Golas, Ulrike 2 Groote, Jan Friso 2 Große-Rhode, Martin 2 Hermann, Frank 2 Hofstra, Pieter J. W. 2 Honsell, Furio 2 Hughes, Jesse 2 Jacobs, Bart 2 Janssens, Dirk 2 Jard, Claude 2 Kahl, Wolfram 2 Kalampakas, Antonios 2 Klin, Bartek 2 Koch, Manuel 2 Kozioura, Vitali 2 Kreowski, Hans-Jörg 2 Kulcsár, Géza 2 Kurz, Alexander 2 Lipton, James B. 2 Majumdar, Rupak 2 Mancini, Luigi Vincenzo 2 Meseguer Guaita, José 2 Miculan, Marino 2 Nolte, Dennis 2 Oshurko, Eugenia 2 Overbeek, Roy 2 Paulevé, Loïc 2 Phillips, Iain W. 2 Popova-Zeugmann, Louchka 2 Prange, Ulrike 2 Radmacher, Frank G. 2 Roşu, Grigore 2 Roux, Olivier H. ...and 213 more Authors all top 5 Cited in 27 Serials 63 Theoretical Computer Science 19 Journal of Logical and Algebraic Methods in Programming 15 MSCS. Mathematical Structures in Computer Science 14 Information and Computation 9 Acta Informatica 7 Logical Methods in Computer Science 5 Formal Aspects of Computing 4 Journal of Symbolic Computation 3 Science of Computer Programming 3 RAIRO. Theoretical Informatics and Applications 3 The Journal of Logic and Algebraic Programming 2 Journal of Computer and System Sciences 2 Programming and Computer Software 2 Annals of Pure and Applied Logic 2 Applied Categorical Structures 1 Artificial Intelligence 1 Information Processing Letters 1 Journal of Automated Reasoning 1 Discrete Event Dynamic Systems 1 Pattern Recognition 1 Formal Methods in System Design 1 Mathematical Problems in Engineering 1 Higher-Order and Symbolic Computation 1 Differential Equations 1 Journal of Zhejiang University. Science A 1 Logica Universalis 1 Frontiers of Computer Science all top 5 Cited in 16 Fields 274 Computer science (68-XX) 55 Category theory; homological algebra (18-XX) 24 Mathematical logic and foundations (03-XX) 6 Combinatorics (05-XX) 3 General and overarching topics; collections (00-XX) 3 Biology and other natural sciences (92-XX) 3 Systems theory; control (93-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Probability theory and stochastic processes (60-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Associative rings and algebras (16-XX) 1 Statistics (62-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year