×
Compute Distance To:
Author ID: corradini.andrea Recent zbMATH articles by "Corradini, Andrea"
Published as: Corradini, Andrea; Corradini, A.

Publications by Year

Citations contained in zbMATH Open

94 Publications have been cited 532 times in 284 Documents Cited by Year
Sesqui-pushout rewriting. Zbl 1156.68423
Corradini, Andrea; Heindel, Tobias; Hermann, Frank; König, Barbara
37
2006
Graph processes. Zbl 0854.68054
Corradini, A.; Montanari, U.; Rossi, F.
32
1996
Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
31
2001
An algebraic presentation of term graphs, via gs-monoidal categories. Zbl 0949.68121
Corradini, Andrea; Gadducci, Fabio
28
1999
Domain and event structure semantics for Petri nets with read and inhibitor arcs. Zbl 1078.68103
Baldan, P.; Busi, N.; Corradini, A.; Pinna, G. M.
20
2004
Compositional SOS and beyond: A coalgebraic view of open systems. Zbl 1014.68107
Corradini, Andrea; Heckel, Reiko; Montanari, Ugo
19
2002
A 2-categorical presentation of term graph rewriting. Zbl 0889.68085
Corradini, A.; Gadducci, F.
15
1997
An algebraic semantics for structured transition systems and its application to logic programs. Zbl 0756.68075
Corradini, Andrea; Montanari, Ugo
13
1992
Compositional semantics for open Petri nets based on deterministic processes. Zbl 1089.68068
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko
12
2005
A static analysis technique for graph transformation systems. Zbl 1006.68529
Baldan, Paolo; Corradini, Andrea; König, Barbara
12
2001
AGREE – algebraic graph rewriting with controlled embedding. Zbl 1321.68327
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frederic; Ribeiro, Leila
12
2015
A framework for the verification of infinite-state graph transformation systems. Zbl 1153.68034
Baldan, Paolo; Corradini, Andrea; König, Barbara
12
2008
From SOS specifications to structured coalgebras: How to make bisimulation a congruence. Zbl 0918.68065
Corradini, Andrea; Heckel, Reiko; Montanari, Ugo
11
1999
Unfolding semantics of graph transformation. Zbl 1115.68093
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
11
2007
Structured transition systems as lax coalgebras. Zbl 0917.68072
Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko
10
1998
A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Zbl 1061.18008
Corradini, Andrea; Gadducci, Fabio
10
2002
Rewriting on cyclic structures: Equivalence between the operational and the categorical description. Zbl 0940.18002
Corradini, Andrea; Gadducci, Fabio
10
1999
Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming. Zbl 0781.68074
Corradini, Andrea; Rossi, Francesca
8
1993
A coalgebraic presentation of structured transition systems. Zbl 0973.68173
Corradini, A.; Große-Rhode, M.; Heckel, R.
8
2001
An event structure semantics for P/T contextual nets: Asymmetric event structures. Zbl 0902.68140
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
8
1998
Rational term rewriting. Zbl 0908.68081
Corradini, A.; Gadducci, F.
8
1998
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Zbl 0970.68116
Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea
7
2001
Unfolding of double-pushout graph grammars is a coreflection. Zbl 0958.68081
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
7
2000
On the essence of parallel independence for the double-pushout and sesqui-pushout approaches. Zbl 1383.68042
Corradini, 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.68083
Corradini, Andrea; Montanari, Ugo; Rossi, Francesca; Ehrig, Hartmut; Löwe, Michael
6
1991
Unfolding and event structure semantics for graph grammars. Zbl 0946.68087
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
6
1999
Tile transition systems as structured coalgebras. Zbl 0944.18006
Corradini, Andrea; Heckel, Reiko; Montanari, Ugo
6
1999
Unfolding grammars in adhesive categories. Zbl 1239.68036
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł
6
2009
Compositional modeling of reactive systems using open nets. Zbl 1006.68084
Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R.
6
2001
Verifying finite-state graph grammars: An unfolding-based approach. Zbl 1099.68046
Baldan, Paolo; Corradini, Andrea; König, Barbara
6
2004
On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems. Zbl 1435.68131
Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila
6
2019
Functional concurrent semantics for Petri nets with read and inhibitor arcs. Zbl 0999.68150
Baldan, Paolo; Busi, Nadia; Corradini, Andrea; Pinna, G. Michele
5
2000
Efficient unfolding of contextual Petri nets. Zbl 1263.68117
Baldan, 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.68056
Heckel, Reiko; Corradini, Andrea; Ehrig, Hartmut; Löwe, Michael
5
1996
A completeness result for equational deduction in coalgebraic specification. Zbl 0903.08007
Corradini, Andrea
5
1998
Subobject transformation systems. Zbl 1153.18002
Corradini, Andrea; Hermann, Frank; Sobociński, Paweł
5
2008
Categorical rewriting of term-like structures. Zbl 1263.68070
Corradini, Andrea; Gadducci, Fabio
4
2002
Logic programming as hypergraph rewriting. Zbl 0967.68507
Corradini, Andrea; Rossi, Francesca; Parisi-Presicce, Francesco
4
1991
The PBPO graph transformation approach. Zbl 1417.68075
Corradini, 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.68100
Corradini, A.; Ehrig, H.; Löwe, M.; Montanari, U.; Rossi, F.
4
1996
Processes for adhesive rewriting systems. Zbl 1180.68165
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł
4
2006
Translating Java code to graph transformation systems. Zbl 1116.68382
Corradini, Andrea; Dotti, Fernando Luís; Foss, Luciana; Ribeiro, Leila
4
2004
A temporal graph logic for verification of graph transformation systems. Zbl 1196.68154
Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto
4
2007
McMillan’s complete prefix for contextual nets. Zbl 1171.68560
Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan
4
2008
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1214.68243
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
4
2007
History preserving bisimulation for contextual nets. Zbl 0966.68151
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
3
2000
Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions. Zbl 1342.68179
Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut
3
2014
Rewriting abstract structures: materialization explained categorically. Zbl 07158697
Corradini, Andrea; Heindel, Tobias; König, Barbara; Nolte, Dennis; Rensink, Arend
3
2019
The pullback-pushout approach to algebraic graph transformation. Zbl 1425.68156
Corradini, Andrea; Duval, Dominque; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila
3
2017
Specifying graph languages with type graphs. Zbl 1425.68191
Corradini, Andrea; König, Barbara; Nolte, Dennis
3
2017
The category of typed graph grammars and its adjunctions with categories of derivations. Zbl 1412.68099
Corradini, A.; Ehrig, H.; Löwe, M.; Montanari, U.; Padberg, J.
3
1996
An abstract machine for concurrent modular systems: CHARM. Zbl 0801.68055
Corradini, Andrea; Montanari, Ugo; Rossi, Francesca
3
1994
Specifying graph languages with type graphs. Zbl 1423.68248
Corradini, Andrea; König, Barbara; Nolte, Dennis
3
2019
On the computation of McMillan’s prefix for contextual nets and graph grammars. Zbl 1306.68120
Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Schwoon, Stefan
3
2010
Coreflective concurrent semantics for single-pushout graph grammars. Zbl 1278.68117
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
2
2003
A lattice-theoretical perspective on adhesive categories. Zbl 1217.18004
Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara
2
2011
Domains and event structures for fusions. Zbl 1458.68128
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
2
2017
A compositional approach to structuring and refinement of typed graph grammars. Zbl 0910.68116
Corradini, Andrea; Heckel, Reiko
2
1995
Event structures for Petri nets with persistence. Zbl 1417.68113
Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo
2
2018
GETGRATS: a summary of scientific results (with annotated bibliography). Zbl 1263.68069
Corradini, Andrea
2
2002
An algebra of graphs and graph rewriting. Zbl 0792.68079
Corradini, Andrea; Montanari, Ugo
2
1991
Bisimulation equivalences for graph grammars. Zbl 1060.68050
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
2
2002
Parallelism in AGREE transformations. Zbl 1344.68106
Corradini, Andrea; Duval, Dominique; Prost, Frederic; Ribeiro, Leila
2
2016
Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
2
2005
On the essence and initiality of conflicts. Zbl 1394.68195
Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila
2
2018
Equivalence and independence in controlled graph-rewriting processes. Zbl 1394.68199
Kulcsár, Géza; Corradini, Andrea; Lochau, Malte
2
2018
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1161.68034
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
2
2008
Unfolding graph transformation systems: Theory and applications to verification. Zbl 1143.68422
Baldan, Paolo; Corradini, Andrea; König, Barbara
2
2008
Term graph rewriting and parallel term rewriting. Zbl 1457.68135
Corradini, 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.68109
Corradini, Andrea
1
1995
Integrating the specification techniques of graph transformation and temporal logic. Zbl 0951.68055
Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea
1
1997
Towards a notion of transaction in graph rewriting. Zbl 1283.68182
Baldan, 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.68192
Corradini, Andrea; Foss, Luciana; Ribeiro, Leila
1
2009
Canonical derivations with negative application conditions. Zbl 1423.68226
Corradini, Andrea; Heckel, Reiko
1
2014
Verifying a behavioural logic for graph transformation systems. Zbl 1271.68167
Baldan, Paolo; Corradini, Andrea; König, Barbara; König, Bernhard
1
2004
On term graphs as an adhesive category. Zbl 1272.68175
Corradini, Andrea; Gadducci, Fabio
1
2005
Adaptable transition systems. Zbl 1394.68206
Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea
1
2013
Transformation systems with incremental negative application conditions. Zbl 1394.68196
Corradini, 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.68054
Corradini, Andrea; Montanari, Ugo; Rossi, Francesca
1
1992
Real-time gesture recognition by means of hybrid recognizers. Zbl 1051.68621
Corradini, Andrea
1
2002
Specification of concurrent systems: From Petri nets to graph grammars. Zbl 0817.68110
Corradini, A.; Montanari, U.
1
1995
Processes and unfoldings: concurrent computations in adhesive categories. Zbl 1342.68223
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł
1
2014
A calculus of concurrent graph-rewriting processes. Zbl 1494.68115
Kulcsár, Géza; Corradini, Andrea; Lochau, Malte
1
2020
Unfolding graph grammars with negative application conditions. Zbl 1429.68086
Corradini, 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.18002
Corradini, Andrea; Gadducci, Fabio
1
1999
An algebra of graph derivations using finite (co-) limit double theories. Zbl 0955.68080
Corradini, 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.68269
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; König, Barbara
1
2008
Graph transactions as processes. Zbl 1156.68416
Baldan, Paolo; Corradini, Andrea; Foss, Luciana; Gadducci, Fabio
1
2006
A calculus of concurrent graph-rewriting processes. Zbl 1494.68115
Kulcsár, Géza; Corradini, Andrea; Lochau, Malte
1
2020
On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems. Zbl 1435.68131
Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila
6
2019
The PBPO graph transformation approach. Zbl 1417.68075
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila
4
2019
Rewriting abstract structures: materialization explained categorically. Zbl 07158697
Corradini, Andrea; Heindel, Tobias; König, Barbara; Nolte, Dennis; Rensink, Arend
3
2019
Specifying graph languages with type graphs. Zbl 1423.68248
Corradini, Andrea; König, Barbara; Nolte, Dennis
3
2019
Unfolding graph grammars with negative application conditions. Zbl 1429.68086
Corradini, Andrea; Saadat, Maryam Ghaffari; Heckel, Reiko
1
2019
On the essence of parallel independence for the double-pushout and sesqui-pushout approaches. Zbl 1383.68042
Corradini, 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.68113
Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo
2
2018
On the essence and initiality of conflicts. Zbl 1394.68195
Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila
2
2018
Equivalence and independence in controlled graph-rewriting processes. Zbl 1394.68199
Kulcsár, Géza; Corradini, Andrea; Lochau, Malte
2
2018
The pullback-pushout approach to algebraic graph transformation. Zbl 1425.68156
Corradini, Andrea; Duval, Dominque; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila
3
2017
Specifying graph languages with type graphs. Zbl 1425.68191
Corradini, Andrea; König, Barbara; Nolte, Dennis
3
2017
Domains and event structures for fusions. Zbl 1458.68128
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
2
2017
Parallelism in AGREE transformations. Zbl 1344.68106
Corradini, Andrea; Duval, Dominique; Prost, Frederic; Ribeiro, Leila
2
2016
AGREE – algebraic graph rewriting with controlled embedding. Zbl 1321.68327
Corradini, 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.68179
Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut
3
2014
Canonical derivations with negative application conditions. Zbl 1423.68226
Corradini, Andrea; Heckel, Reiko
1
2014
Processes and unfoldings: concurrent computations in adhesive categories. Zbl 1342.68223
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł
1
2014
Adaptable transition systems. Zbl 1394.68206
Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea
1
2013
Transformation systems with incremental negative application conditions. Zbl 1394.68196
Corradini, Andrea; Heckel, Reiko; Hermann, Frank; Gottmann, Susann; Nachtigall, Nico
1
2013
Efficient unfolding of contextual Petri nets. Zbl 1263.68117
Baldan, 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.18004
Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara
2
2011
Term graph rewriting and parallel term rewriting. Zbl 1457.68135
Corradini, 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.68120
Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Schwoon, Stefan
3
2010
Unfolding grammars in adhesive categories. Zbl 1239.68036
Baldan, 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.68192
Corradini, Andrea; Foss, Luciana; Ribeiro, Leila
1
2009
A framework for the verification of infinite-state graph transformation systems. Zbl 1153.68034
Baldan, Paolo; Corradini, Andrea; König, Barbara
12
2008
Subobject transformation systems. Zbl 1153.18002
Corradini, Andrea; Hermann, Frank; Sobociński, Paweł
5
2008
McMillan’s complete prefix for contextual nets. Zbl 1171.68560
Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan
4
2008
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1161.68034
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
2
2008
Unfolding graph transformation systems: Theory and applications to verification. Zbl 1143.68422
Baldan, Paolo; Corradini, Andrea; König, Barbara
2
2008
Towards a notion of transaction in graph rewriting. Zbl 1283.68182
Baldan, P.; Corradini, A.; Dotti, F. L.; Foss, L.; Gadducci, F.; Ribeiro, L.
1
2008
Open Petri nets: Non-deterministic processes and compositionality. Zbl 1175.68269
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; König, Barbara
1
2008
Unfolding semantics of graph transformation. Zbl 1115.68093
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
11
2007
A temporal graph logic for verification of graph transformation systems. Zbl 1196.68154
Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto
4
2007
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1214.68243
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
4
2007
Sesqui-pushout rewriting. Zbl 1156.68423
Corradini, Andrea; Heindel, Tobias; Hermann, Frank; König, Barbara
37
2006
Processes for adhesive rewriting systems. Zbl 1180.68165
Baldan, 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.68416
Baldan, Paolo; Corradini, Andrea; Foss, Luciana; Gadducci, Fabio
1
2006
Compositional semantics for open Petri nets based on deterministic processes. Zbl 1089.68068
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko
12
2005
Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
2
2005
On term graphs as an adhesive category. Zbl 1272.68175
Corradini, Andrea; Gadducci, Fabio
1
2005
Domain and event structure semantics for Petri nets with read and inhibitor arcs. Zbl 1078.68103
Baldan, P.; Busi, N.; Corradini, A.; Pinna, G. M.
20
2004
Verifying finite-state graph grammars: An unfolding-based approach. Zbl 1099.68046
Baldan, Paolo; Corradini, Andrea; König, Barbara
6
2004
Translating Java code to graph transformation systems. Zbl 1116.68382
Corradini, Andrea; Dotti, Fernando Luís; Foss, Luciana; Ribeiro, Leila
4
2004
Verifying a behavioural logic for graph transformation systems. Zbl 1271.68167
Baldan, Paolo; Corradini, Andrea; König, Barbara; König, Bernhard
1
2004
Coreflective concurrent semantics for single-pushout graph grammars. Zbl 1278.68117
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
2
2003
Compositional SOS and beyond: A coalgebraic view of open systems. Zbl 1014.68107
Corradini, Andrea; Heckel, Reiko; Montanari, Ugo
19
2002
A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Zbl 1061.18008
Corradini, Andrea; Gadducci, Fabio
10
2002
Categorical rewriting of term-like structures. Zbl 1263.68070
Corradini, Andrea; Gadducci, Fabio
4
2002
GETGRATS: a summary of scientific results (with annotated bibliography). Zbl 1263.68069
Corradini, Andrea
2
2002
Bisimulation equivalences for graph grammars. Zbl 1060.68050
Baldan, 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.68621
Corradini, 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.68103
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
31
2001
A static analysis technique for graph transformation systems. Zbl 1006.68529
Baldan, Paolo; Corradini, Andrea; König, Barbara
12
2001
A coalgebraic presentation of structured transition systems. Zbl 0973.68173
Corradini, A.; Große-Rhode, M.; Heckel, R.
8
2001
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Zbl 0970.68116
Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea
7
2001
Compositional modeling of reactive systems using open nets. Zbl 1006.68084
Baldan, 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.68081
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
7
2000
Functional concurrent semantics for Petri nets with read and inhibitor arcs. Zbl 0999.68150
Baldan, Paolo; Busi, Nadia; Corradini, Andrea; Pinna, G. Michele
5
2000
History preserving bisimulation for contextual nets. Zbl 0966.68151
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
3
2000
An algebraic presentation of term graphs, via gs-monoidal categories. Zbl 0949.68121
Corradini, Andrea; Gadducci, Fabio
28
1999
From SOS specifications to structured coalgebras: How to make bisimulation a congruence. Zbl 0918.68065
Corradini, Andrea; Heckel, Reiko; Montanari, Ugo
11
1999
Rewriting on cyclic structures: Equivalence between the operational and the categorical description. Zbl 0940.18002
Corradini, Andrea; Gadducci, Fabio
10
1999
Unfolding and event structure semantics for graph grammars. Zbl 0946.68087
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
6
1999
Tile transition systems as structured coalgebras. Zbl 0944.18006
Corradini, Andrea; Heckel, Reiko; Montanari, Ugo
6
1999
Functorial semantics for multi-algebras. Zbl 0942.18002
Corradini, Andrea; Gadducci, Fabio
1
1999
An algebra of graph derivations using finite (co-) limit double theories. Zbl 0955.68080
Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko
1
1999
Structured transition systems as lax coalgebras. Zbl 0917.68072
Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko
10
1998
An event structure semantics for P/T contextual nets: Asymmetric event structures. Zbl 0902.68140
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
8
1998
Rational term rewriting. Zbl 0908.68081
Corradini, A.; Gadducci, F.
8
1998
A completeness result for equational deduction in coalgebraic specification. Zbl 0903.08007
Corradini, Andrea
5
1998
A 2-categorical presentation of term graph rewriting. Zbl 0889.68085
Corradini, A.; Gadducci, F.
15
1997
Integrating the specification techniques of graph transformation and temporal logic. Zbl 0951.68055
Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea
1
1997
Graph processes. Zbl 0854.68054
Corradini, A.; Montanari, U.; Rossi, F.
32
1996
Horizontal and vertical structuring of typed graph transformation systems. Zbl 0866.68056
Heckel, Reiko; Corradini, Andrea; Ehrig, Hartmut; Löwe, Michael
5
1996
An event structure semantics for graph grammars with parallel productions. Zbl 1412.68100
Corradini, 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.68099
Corradini, 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.68116
Corradini, 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.68109
Corradini, Andrea
1
1995
Specification of concurrent systems: From Petri nets to graph grammars. Zbl 0817.68110
Corradini, A.; Montanari, U.
1
1995
An abstract machine for concurrent modular systems: CHARM. Zbl 0801.68055
Corradini, Andrea; Montanari, Ugo; Rossi, Francesca
3
1994
Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming. Zbl 0781.68074
Corradini, Andrea; Rossi, Francesca
8
1993
An algebraic semantics for structured transition systems and its application to logic programs. Zbl 0756.68075
Corradini, Andrea; Montanari, Ugo
13
1992
CHARM: Concurrency and hiding in an abstract rewriting machine. Zbl 0864.68054
Corradini, Andrea; Montanari, Ugo; Rossi, Francesca
1
1992
Graph grammars and logic programming. Zbl 0765.68083
Corradini, Andrea; Montanari, Ugo; Rossi, Francesca; Ehrig, Hartmut; Löwe, Michael
6
1991
Logic programming as hypergraph rewriting. Zbl 0967.68507
Corradini, Andrea; Rossi, Francesca; Parisi-Presicce, Francesco
4
1991
An algebra of graphs and graph rewriting. Zbl 0792.68079
Corradini, Andrea; Montanari, Ugo
2
1991
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

Citations by Year