×
Compute Distance To:
Author ID: baldan.paolo Recent zbMATH articles by "Baldan, Paolo"
Published as: Baldan, Paolo; Baldan, P.

Publications by Year

Citations contained in zbMATH Open

76 Publications have been cited 316 times in 200 Documents Cited by Year
Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
29
2001
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
A framework for the verification of infinite-state graph transformation systems. Zbl 1153.68034
Baldan, Paolo; Corradini, Andrea; König, Barbara
12
2008
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
A logic for true concurrency. Zbl 1321.68355
Baldan, Paolo; Crafa, Silvia
10
2014
Unfolding semantics of graph transformation. Zbl 1115.68093
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
10
2007
Bisimulation by unification. Zbl 1275.68100
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto
9
2002
Coalgebraic behavioral metrics. Zbl 06943961
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
8
2018
An event structure semantics for P/T contextual nets: Asymmetric event structures. Zbl 0902.68140
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
8
1998
Solutions of functorial and non-functorial metric domain equations. Zbl 0910.68130
Alessi, F.; Baldan, P.; Bellè, G.; Rutten, J. J. M. M.
8
1995
Unfolding of double-pushout graph grammars is a coreflection. Zbl 0958.68081
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
7
2000
Petri nets for modelling metabolic pathways: a survey. Zbl 1206.68209
Baldan, Paolo; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta
7
2010
Unfolding and event structure semantics for graph grammars. Zbl 0946.68087
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
6
1999
Verifying finite-state graph grammars: An unfolding-based approach. Zbl 1099.68046
Baldan, Paolo; Corradini, Andrea; König, Barbara
6
2004
Behavioral metrics via functor lifting. Zbl 1360.68607
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
6
2014
Distributed unfolding of Petri nets. Zbl 1180.68185
Baldan, Paolo; Haar, Stefan; König, Barbara
5
2006
A rewriting calculus for cyclic higher-order term graphs. Zbl 1272.68167
Bertolissi, C.; Baldan, P.; Cirstea, H.; Kirchner, C.
5
2005
Unfolding grammars in adhesive categories. Zbl 1239.68036
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł
5
2009
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
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
Compositional modeling of reactive systems using open nets. Zbl 1006.68084
Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R.
5
2001
Approximating the behaviour of graph transformation systems. Zbl 1028.68089
Baldan, Paolo; König, Barbara
5
2002
Composition and decomposition of DPO transformations with borrowed context. Zbl 1156.68417
Baldan, Paolo; Ehrig, Hartmut; König, Barbara
5
2006
Asynchronous traces and open Petri nets. Zbl 1434.68320
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V.
4
2015
A rewriting calculus for cyclic higher-order term graphs. Zbl 1125.68062
Baldan, Paolo; Bertolissi, Clara; Cirstea, Horatiu; Kirchner, Claude
4
2007
Processes for adhesive rewriting systems. Zbl 1180.68165
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł
4
2006
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
Unfolding-based diagnosis of systems with an evolving topology. Zbl 1160.68453
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
4
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 1214.68243
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
4
2007
A semantic framework for open processes. Zbl 1132.68042
Baldan, P.; Bracciali, A.; Bruni, R.
4
2007
A logic for true concurrency. Zbl 1287.68120
Baldan, Paolo; Crafa, Silvia
4
2010
Unfolding-based diagnosis of systems with an evolving topology. Zbl 1214.68242
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
4
2010
A fixed-point theorem in a category of compact metric spaces. Zbl 0873.68126
Alessi, Fabio; Baldan, Paolo; Bellè, Gianna
3
1995
History preserving bisimulation for contextual nets. Zbl 0966.68151
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
3
2000
Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio
3
2009
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
Event structures for Petri nets with persistence. Zbl 1417.68113
Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo
2
2018
Non-interference by unfolding. Zbl 1334.68144
Baldan, Paolo; Carraro, Alberto
2
2014
Multilevel transitive and intransitive non-interference, causally. Zbl 1380.68292
Baldan, Paolo; Beggiato, Alessandro
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
A lattice-theoretical perspective on adhesive categories. Zbl 1217.18004
Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara
2
2011
Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126
Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel
2
2011
Symbolic equivalences for open systems. Zbl 1111.68530
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto
2
2005
Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
2
2005
Pre-nets, read ARCS and unfolding: A functorial presentation. Zbl 1278.68210
Baldan, Paolo; Bruni, Roberto; Montanari, Ugo
2
2003
A category of compositional domain-models for separable Stone spaces. Zbl 1051.68102
Alessi, Fabio; Baldan, Paolo; Honsell, Furio
2
2003
Bisimulation equivalences for graph grammars. Zbl 1060.68050
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
2
2002
Behavior preservation in model refactoring using DPO transformations with borrowed contexts. Zbl 1175.68231
Rangel, Guilherme; Lambers, Leen; König, Barbara; Ehrig, Hartmut; Baldan, Paolo
2
2008
Petri nets are dioids. Zbl 1170.68536
Baldan, Paolo; Gadducci, Fabio
2
2008
Hereditary history-preserving bisimilarity: logics and automata. Zbl 1453.68110
Baldan, Paolo; Crafa, Silvia
2
2014
A causal view on non-interference. Zbl 1335.68162
Baldan, Paolo; Carraro, Alberto
2
2015
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space. Zbl 0908.68099
Alessi, Fabio; Baldan, Paolo
2
1998
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114
Baldan, Paolo; Gadducci, Fabio
1
2019
Behavioural logics for configuration structures. Zbl 1483.68222
Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
1
2022
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
Fixpoint theory – upside down. Zbl 07410419
Baldan, Paolo; Eggert, Richard; König, Barbara; Padoan, Tommaso
1
2021
Towards trace metrics via functor lifting. Zbl 1366.68189
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
1
2015
Verifying a behavioural logic for graph transformation systems. Zbl 1271.68167
Baldan, Paolo; Corradini, Andrea; König, Barbara; König, Bernhard
1
2004
Towards a sharing strategy for the graph rewriting calculus. Zbl 1279.68111
Baldan, P.; Bertolissi, C.; Cirstea, H.; Kirchner, C.
1
2008
Unfolding graph transformation systems: Theory and applications to verification. Zbl 1143.68422
Baldan, Paolo; Corradini, Andrea; König, Barbara
1
2008
Efficient contextual unfolding. Zbl 1343.68176
Rodríguez, César; Schwoon, Stefan; Baldan, Paolo
1
2011
Coreflective concurrent semantics for single-pushout graph grammars. Zbl 1278.68117
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
1
2003
Generating test cases for code generators by unfolding graph transformation systems. Zbl 1116.68477
Baldan, Paolo; König, Barbara; Stürmer, Ingo
1
2004
Concurrent rewriting for graphs with equivalences. Zbl 1151.68503
Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo
1
2006
Reduction of event structures under history preserving bisimulation. Zbl 1392.68281
Armas-Cervantes, Abel; Baldan, Paolo; García-Bañuelos, Luciano
1
2016
MuTACLP: A language for temporal reasoning with multiple theories. Zbl 1012.68544
Baldan, Paolo; Mancarella, Paolo; Raffaetà, Alessandra; Turini, Franco
1
2002
High-level net processes. Zbl 1060.68078
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko
1
2002
Concurrency for graph grammars in a Petri net shell. Zbl 1263.68065
Baldan, Paolo
1
2002
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
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
Concurrency cannot be observed, asynchronously. Zbl 1361.68158
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
1
2015
CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Zbl 1295.68016
1
2014
Domains and event structures for fusions. Zbl 1458.68128
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
1
2017
Behavioural logics for configuration structures. Zbl 1483.68222
Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
1
2022
Fixpoint theory – upside down. Zbl 07410419
Baldan, Paolo; Eggert, Richard; König, Barbara; Padoan, Tommaso
1
2021
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114
Baldan, Paolo; Gadducci, Fabio
1
2019
Coalgebraic behavioral metrics. Zbl 06943961
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
8
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
Multilevel transitive and intransitive non-interference, causally. Zbl 1380.68292
Baldan, Paolo; Beggiato, Alessandro
2
2018
Domains and event structures for fusions. Zbl 1458.68128
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
1
2017
Reduction of event structures under history preserving bisimulation. Zbl 1392.68281
Armas-Cervantes, Abel; Baldan, Paolo; García-Bañuelos, Luciano
1
2016
Asynchronous traces and open Petri nets. Zbl 1434.68320
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V.
4
2015
A causal view on non-interference. Zbl 1335.68162
Baldan, Paolo; Carraro, Alberto
2
2015
Towards trace metrics via functor lifting. Zbl 1366.68189
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
1
2015
Concurrency cannot be observed, asynchronously. Zbl 1361.68158
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
1
2015
A logic for true concurrency. Zbl 1321.68355
Baldan, Paolo; Crafa, Silvia
10
2014
Behavioral metrics via functor lifting. Zbl 1360.68607
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
6
2014
Non-interference by unfolding. Zbl 1334.68144
Baldan, Paolo; Carraro, Alberto
2
2014
Hereditary history-preserving bisimilarity: logics and automata. Zbl 1453.68110
Baldan, Paolo; Crafa, Silvia
2
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
CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Zbl 1295.68016
1
2014
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
Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126
Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel
2
2011
Efficient contextual unfolding. Zbl 1343.68176
Rodríguez, César; Schwoon, Stefan; Baldan, Paolo
1
2011
Petri nets for modelling metabolic pathways: a survey. Zbl 1206.68209
Baldan, Paolo; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta
7
2010
A logic for true concurrency. Zbl 1287.68120
Baldan, Paolo; Crafa, Silvia
4
2010
Unfolding-based diagnosis of systems with an evolving topology. Zbl 1214.68242
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
4
2010
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ł
5
2009
Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio
3
2009
A framework for the verification of infinite-state graph transformation systems. Zbl 1153.68034
Baldan, Paolo; Corradini, Andrea; König, Barbara
12
2008
Unfolding-based diagnosis of systems with an evolving topology. Zbl 1160.68453
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
4
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
Behavior preservation in model refactoring using DPO transformations with borrowed contexts. Zbl 1175.68231
Rangel, Guilherme; Lambers, Leen; König, Barbara; Ehrig, Hartmut; Baldan, Paolo
2
2008
Petri nets are dioids. Zbl 1170.68536
Baldan, Paolo; Gadducci, Fabio
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
Towards a sharing strategy for the graph rewriting calculus. Zbl 1279.68111
Baldan, P.; Bertolissi, C.; Cirstea, H.; Kirchner, C.
1
2008
Unfolding graph transformation systems: Theory and applications to verification. Zbl 1143.68422
Baldan, Paolo; Corradini, Andrea; König, Barbara
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
10
2007
A rewriting calculus for cyclic higher-order term graphs. Zbl 1125.68062
Baldan, Paolo; Bertolissi, Clara; Cirstea, Horatiu; Kirchner, Claude
4
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
A semantic framework for open processes. Zbl 1132.68042
Baldan, P.; Bracciali, A.; Bruni, R.
4
2007
Distributed unfolding of Petri nets. Zbl 1180.68185
Baldan, Paolo; Haar, Stefan; König, Barbara
5
2006
Composition and decomposition of DPO transformations with borrowed context. Zbl 1156.68417
Baldan, Paolo; Ehrig, Hartmut; König, Barbara
5
2006
Processes for adhesive rewriting systems. Zbl 1180.68165
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł
4
2006
Concurrent rewriting for graphs with equivalences. Zbl 1151.68503
Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo
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
A rewriting calculus for cyclic higher-order term graphs. Zbl 1272.68167
Bertolissi, C.; Baldan, P.; Cirstea, H.; Kirchner, C.
5
2005
Symbolic equivalences for open systems. Zbl 1111.68530
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto
2
2005
Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
2
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
Verifying a behavioural logic for graph transformation systems. Zbl 1271.68167
Baldan, Paolo; Corradini, Andrea; König, Barbara; König, Bernhard
1
2004
Generating test cases for code generators by unfolding graph transformation systems. Zbl 1116.68477
Baldan, Paolo; König, Barbara; Stürmer, Ingo
1
2004
Pre-nets, read ARCS and unfolding: A functorial presentation. Zbl 1278.68210
Baldan, Paolo; Bruni, Roberto; Montanari, Ugo
2
2003
A category of compositional domain-models for separable Stone spaces. Zbl 1051.68102
Alessi, Fabio; Baldan, Paolo; Honsell, Furio
2
2003
Coreflective concurrent semantics for single-pushout graph grammars. Zbl 1278.68117
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
1
2003
Bisimulation by unification. Zbl 1275.68100
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto
9
2002
Approximating the behaviour of graph transformation systems. Zbl 1028.68089
Baldan, Paolo; König, Barbara
5
2002
Bisimulation equivalences for graph grammars. Zbl 1060.68050
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
2
2002
MuTACLP: A language for temporal reasoning with multiple theories. Zbl 1012.68544
Baldan, Paolo; Mancarella, Paolo; Raffaetà, Alessandra; Turini, Franco
1
2002
High-level net processes. Zbl 1060.68078
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko
1
2002
Concurrency for graph grammars in a Petri net shell. Zbl 1263.68065
Baldan, Paolo
1
2002
Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
29
2001
A static analysis technique for graph transformation systems. Zbl 1006.68529
Baldan, Paolo; Corradini, Andrea; König, Barbara
12
2001
Compositional modeling of reactive systems using open nets. Zbl 1006.68084
Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R.
5
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
Unfolding and event structure semantics for graph grammars. Zbl 0946.68087
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
6
1999
An event structure semantics for P/T contextual nets: Asymmetric event structures. Zbl 0902.68140
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
8
1998
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space. Zbl 0908.68099
Alessi, Fabio; Baldan, Paolo
2
1998
Solutions of functorial and non-functorial metric domain equations. Zbl 0910.68130
Alessi, F.; Baldan, P.; Bellè, G.; Rutten, J. J. M. M.
8
1995
A fixed-point theorem in a category of compact metric spaces. Zbl 0873.68126
Alessi, Fabio; Baldan, Paolo; Bellè, Gianna
3
1995
all top 5

Cited by 276 Authors

32 Baldan, Paolo
21 Corradini, Andrea
17 Montanari, Ugo G.
16 Gadducci, Fabio
14 Bonchi, Filippo
14 König, Barbara
11 Bruni, Roberto
10 Ribeiro, Leila
8 Pinna, G. Michele
6 Janicki, Ryszard
6 Melgratti, Hernán
6 Sobociński, Paweł
5 Ehrig, Hartmut
5 Foss, Luciana
5 Heindel, Tobias
5 Monreale, Giacoma Valentina
5 Schwoon, Stefan
4 Chatain, Thomas
4 Haar, Stefan
4 Virbitskaite, Irina B.
3 Alessi, Fabio
3 Bracciali, Andrea
3 Gorla, Daniele
3 Gorrieri, Roberto
3 Heckel, Reiko
3 Heiner, Monika
3 Kleijn, Jetty
3 Koutny, Maciej
3 Lluch Lafuente, Alberto
3 Mikulski, Łukasz
3 Orejas, Fernando
3 Padoan, Tommaso
3 Phillips, Iain W.
3 Rodríguez, César
3 Salvo, Ivano
2 Abbes, Samy
2 Andrei, Oana
2 Aubert, Clément
2 Behr, Nicolas
2 Benveniste, Albert
2 Bertolissi, Clara
2 Cristescu, Ioana Domnina
2 Da Costa, Simone André
2 Dimitrova, Rayna
2 Dotti, Fernando Luís
2 Fabre, Eric
2 Gabriel, Karsten
2 Golas, Ulrike
2 Hermann, Frank
2 Honsell, Furio
2 Jacobs, Bart
2 Jard, Claude
2 Jezequel, Loïg
2 Kirchner, Hélène
2 Kissinger, Aleks
2 Kozioura, Vitali
2 Majumdar, Rupak
2 Meseguer Guaita, José
2 Paulevé, Loïc
2 Popova-Zeugmann, Louchka
2 Roux, Olivier H.
2 Saadat, Maryam Ghaffari
2 Schröder, Lutz
2 Ulidowski, Irek
2 van Breugel, Franck
2 van Glabbeek, Robert Jan
2 Varacca, Daniele
2 Wild, Paul
2 Worrell, James B.
2 Yoshida, Nobuko
2 Zavattaro, Gianluigi
1 Alqarni, Mohammad
1 Angione, Claudio
1 Arbab, Farhad
1 Arbach, Youssef
1 Armas-Cervantes, Abel
1 Azzi, Guilherme Grochau
1 Baez, John C.
1 Balan, Adriana
1 Basile, Francesco
1 Batz, Kevin
1 Beggiato, Alessandro
1 Belkhir, Walid
1 Bellè, Gianna
1 Bérard, Béatrice
1 Bernardinello, Luca
1 Best, Eike
1 Birkedal, Lars
1 Bliudze, Simon
1 Bloom, Stephen L.
1 Boccia, Maurizio
1 Borovlev, V. A.
1 Borovlyov, Victor
1 Braatz, Benjamin
1 Brogi, Antonio
1 Bruni, Alessandro
1 Bushin, D. I.
1 Busi, Nadia
1 Caminati, Marco Bright
1 Carapezza, G.
...and 176 more Authors

Citations by Year