Edit Profile (opens in new tab) Baldan, Paolo Co-Author Distance Author ID: baldan.paolo Published as: Baldan, Paolo; Baldan, P. Documents Indexed: 99 Publications since 1995, including 1 Additional arXiv Preprint 3 Contributions as Editor Software Indexed: 1 Package Co-Authors: 64 Co-Authors with 101 Joint Publications 999 Co-Co-Authors all top 5 Co-Authors 1 single-authored 36 Corradini, Andrea 34 König, Barbara 15 Gadducci, Fabio 12 Montanari, Ugo G. 12 Padoan, Tommaso 8 Ehrig, Hartmut 7 Bonchi, Filippo 6 Bruni, Roberto 5 Heckel, Reiko 4 Alessi, Fabio 4 Bertolissi, Clara 4 Bracciali, Andrea Clark 4 Eggert, Richard 4 Gorla, Daniele 4 Heindel, Tobias 4 Raffaetà, Alessandra 4 Schwoon, Stefan 4 Sobociński, Paweł 3 Carraro, Alberto 3 Cirstea, Horatiu 3 Cocco, Nicoletta 3 Crafa, Silvia 3 Haar, Stefan 3 Kerstan, Henning 3 Kirchner, Claude 3 Ribeiro, Leila 3 Simeoni, Marta 2 Bellè, Gianna 2 Bruni, Alessandro 2 Busi, Nadia 2 Chatain, Thomas 2 Foss, Luciana 2 König, Bernhard 2 Monreale, Giacoma Valentina 2 Pinna, G. Michele 2 Rodríguez, César Marín 2 Salvo, Ivano 1 Armas-Cervantes, Abel 1 Beggiato, Alessandro 1 Bocci, Martina 1 Brigolin, Daniele 1 Brodo, Linda 1 Castelnovo, Davide 1 de Paiva, Valeria 1 Dotti, Fernando Luís 1 García-Bañuelos, Luciano 1 Ghelli, Giorgio 1 Giummolè, Federica 1 Heiner, Monika 1 Hoffmann, Kathrin 1 Honsell, Furio 1 Lambers, Leen 1 Lluch Lafuente, Alberto 1 Mancarella, Paolo 1 Marin, Andrea 1 Matt, Timo 1 Melgratti, Hernán 1 Padberg, Julia 1 Rangel, Guilherme 1 Ranzato, Francesco 1 Rutten, Jan J. M. M. 1 Stürmer, Ingo 1 Turini, Franco 1 Zhang, Linpeng all top 5 Serials 10 Information and Computation 9 Theoretical Computer Science 4 Mathematical Structures in Computer Science 4 Logical Methods in Computer Science 2 Fundamenta Informaticae 1 Acta Informatica 1 Journal of Symbolic Computation 1 Journal of the ACM 1 Natural Computing 1 ACM Transactions on Computational Logic 1 Lecture Notes in Computer Science 1 LIPIcs – Leibniz International Proceedings in Informatics 1 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 98 Computer science (68-XX) 14 Mathematical logic and foundations (03-XX) 12 Category theory; homological algebra (18-XX) 4 Biology and other natural sciences (92-XX) 3 General and overarching topics; collections (00-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Associative rings and algebras (16-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 84 Publications have been cited 483 times in 291 Documents Cited by ▼ Year ▼ Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 42 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. 27 2004 Coalgebraic behavioral metrics. Zbl 1515.68199 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 20 2018 A static analysis technique for graph transformation systems. Zbl 1006.68529 Baldan, Paolo; Corradini, Andrea; König, Barbara 19 2001 A framework for the verification of infinite-state graph transformation systems. Zbl 1153.68034 Baldan, Paolo; Corradini, Andrea; König, Barbara 16 2008 Unfolding semantics of graph transformation. Zbl 1115.68093 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 16 2007 Compositional semantics for open Petri nets based on deterministic processes. Zbl 1089.68068 Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko 14 2005 Behavioral metrics via functor lifting. Zbl 1360.68607 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 12 2014 Verifying finite-state graph grammars: An unfolding-based approach. Zbl 1099.68046 Baldan, Paolo; Corradini, Andrea; König, Barbara 12 2004 A logic for true concurrency. Zbl 1321.68355 Baldan, Paolo; Crafa, Silvia 12 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 10 2012 Petri nets for modelling metabolic pathways: a survey. Zbl 1206.68209 Baldan, Paolo; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta 10 2010 Bisimulation by unification. Zbl 1275.68100 Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto 10 2002 Unfolding of double-pushout graph grammars is a coreflection. Zbl 0958.68081 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 9 2000 Unfolding and event structure semantics for graph grammars. Zbl 0946.68087 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 9 1999 Approximating the behaviour of graph transformation systems. Zbl 1028.68089 Baldan, Paolo; König, Barbara 9 2002 Compositional modeling of reactive systems using open nets. Zbl 1006.68084 Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R. 8 2001 A temporal graph logic for verification of graph transformation systems. Zbl 1196.68154 Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto 8 2007 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 grammars in adhesive categories. Zbl 1239.68036 Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł 8 2009 Processes for adhesive rewriting systems. Zbl 1180.68165 Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł 7 2006 A rewriting calculus for cyclic higher-order term graphs. Zbl 1272.68167 Bertolissi, C.; Baldan, P.; Cirstea, H.; Kirchner, C. 6 2005 Functional concurrent semantics for Petri nets with read and inhibitor arcs. Zbl 0999.68150 Baldan, Paolo; Busi, Nadia; Corradini, Andrea; Pinna, G. Michele 6 2000 Unfolding-based diagnosis of systems with an evolving topology. Zbl 1214.68242 Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara 6 2010 Distributed unfolding of Petri nets. Zbl 1180.68185 Baldan, Paolo; Haar, Stefan; König, Barbara 6 2006 Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1214.68243 Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara 6 2007 Composition and decomposition of DPO transformations with borrowed context. Zbl 1156.68417 Baldan, Paolo; Ehrig, Hartmut; König, Barbara 6 2006 Reduction of event structures under history preserving bisimulation. Zbl 1392.68281 Armas-Cervantes, Abel; Baldan, Paolo; García-Bañuelos, Luciano 5 2016 Abstraction, up-to techniques and games for systems of fixpoint equations. Zbl 07559481 Baldan, Paolo; König, Barbara; Padoan, Tommaso 5 2020 Asynchronous traces and open Petri nets. Zbl 1434.68320 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. 5 2015 Unfolding-based diagnosis of systems with an evolving topology. Zbl 1160.68453 Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara 5 2008 A logic for true concurrency. Zbl 1287.68120 Baldan, Paolo; Crafa, Silvia 5 2010 A rewriting calculus for cyclic higher-order term graphs. Zbl 1125.68062 Baldan, Paolo; Bertolissi, Clara; Cirstea, Horatiu; Kirchner, Claude 5 2007 A semantic framework for open processes. Zbl 1132.68042 Baldan, P.; Bracciali, A.; Bruni, R. 5 2007 McMillan’s complete prefix for contextual nets. Zbl 1171.68560 Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan 5 2008 Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio 5 2009 Domains and event structures for fusions. Zbl 1458.68128 Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 5 2017 Bisimulation equivalences for graph grammars. Zbl 1060.68050 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 4 2002 A fixed-point theorem in a category of compact metric spaces. Zbl 0873.68126 Alessi, Fabio; Baldan, Paolo; Bellè, Gianna 4 1995 Pre-nets, read ARCS and unfolding: A functorial presentation. Zbl 1278.68210 Baldan, Paolo; Bruni, Roberto; Montanari, Ugo 4 2003 Coreflective concurrent semantics for single-pushout graph grammars. Zbl 1278.68117 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 4 2003 A causal view on non-interference. Zbl 1335.68162 Baldan, Paolo; Carraro, Alberto 4 2015 Towards trace metrics via functor lifting. Zbl 1366.68189 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 3 2015 High-level net processes. Zbl 1060.68078 Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko 3 2002 Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496 Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 3 2005 History preserving bisimulation for contextual nets. Zbl 0966.68151 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 3 2000 Multilevel transitive and intransitive non-interference, causally. Zbl 1380.68292 Baldan, Paolo; Beggiato, Alessandro 3 2018 Hereditary history-preserving bisimilarity: logics and automata. Zbl 1453.68110 Baldan, Paolo; Crafa, Silvia 3 2014 Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114 Baldan, Paolo; Gadducci, Fabio 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 Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1161.68034 Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara 3 2008 Fixpoint theory – upside down. Zbl 07410419 Baldan, Paolo; Eggert, Richard; König, Barbara; Padoan, Tommaso 3 2021 Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126 Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel 3 2011 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 3 2008 Non-interference by unfolding. Zbl 1334.68144 Baldan, Paolo; Carraro, Alberto 3 2014 Behavioural logics for configuration structures. Zbl 1483.68222 Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano 2 2022 Verifying a behavioural logic for graph transformation systems. Zbl 1271.68167 Baldan, Paolo; Corradini, Andrea; König, Barbara; König, Bernhard 2 2004 Processes and unfoldings: concurrent computations in adhesive categories. Zbl 1342.68223 Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł 2 2014 Modelling calculi with name mobility using graphs with equivalences. Zbl 1278.68211 Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 2 2007 Basic theory of \(F\)-bounded quantification. Zbl 1045.68524 Baldan, Paolo; Ghelli, Giorgio; Raffaetà, Alessandra 2 1999 A category of compositional domain-models for separable Stone spaces. Zbl 1051.68102 Alessi, Fabio; Baldan, Paolo; Honsell, Furio 2 2003 Symbolic equivalences for open systems. Zbl 1111.68530 Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto 2 2005 A logic for analyzing abstractions of graph transformation systems. Zbl 1067.68095 Baldan, Paolo; König, Barbara; König, Bernhard 2 2003 Event structures for Petri nets with persistence. Zbl 1417.68113 Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo 2 2018 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. Zbl 1170.68536 Baldan, Paolo; Gadducci, Fabio 2 2008 Unfolding graph transformation systems: Theory and applications to verification. Zbl 1143.68422 Baldan, Paolo; Corradini, Andrea; 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 Efficient contextual unfolding. Zbl 1343.68176 Rodríguez, César; Schwoon, Stefan; Baldan, Paolo 2 2011 Open Petri nets: Non-deterministic processes and compositionality. Zbl 1175.68269 Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; König, Barbara 2 2008 Concurrent rewriting for graphs with equivalences. Zbl 1151.68503 Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 2 2006 CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Zbl 1295.68016 1 2014 Concurrency cannot be observed, asynchronously. Zbl 1361.68158 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 1 2015 Towards a sharing strategy for the graph rewriting calculus. Zbl 1279.68111 Baldan, P.; Bertolissi, C.; Cirstea, H.; Kirchner, C. 1 2008 MuTACLP: A language for temporal reasoning with multiple theories. Zbl 1012.68544 Baldan, Paolo; Mancarella, Paolo; Raffaetà, Alessandra; Turini, Franco 1 2002 Generating test cases for code generators by unfolding graph transformation systems. Zbl 1116.68477 Baldan, Paolo; König, Barbara; Stürmer, Ingo 1 2004 Minimisation of event structures. Zbl 07650327 Baldan, Paolo; Raffaetà, Alessandra 1 2019 Petri nets for modelling and analysing trophic networks. Zbl 1395.92182 Baldan, Paolo; Bocci, Martina; Brigolin, Daniele; Cocco, Nicoletta; Heiner, Monika; Simeoni, Marta 1 2018 Graph transactions as processes. Zbl 1156.68416 Baldan, Paolo; Corradini, Andrea; Foss, Luciana; Gadducci, Fabio 1 2006 Concurrency for graph grammars in a Petri net shell. Zbl 1263.68065 Baldan, Paolo 1 2002 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 A lattice-theoretical view of strategy iteration. Zbl 07918686 Baldan, Paolo; Eggert, Richard; König, Barbara; Padoan, Tommaso 1 2023 A monoidal view on fixpoint checks. Zbl 1545.68080 Baldan, Paolo; Eggert, Richard; König, Barbara; Matt, Timo; Padoan, Tommaso 1 2023 A lattice-theoretical view of strategy iteration. Zbl 07918686 Baldan, Paolo; Eggert, Richard; König, Barbara; Padoan, Tommaso 1 2023 A monoidal view on fixpoint checks. Zbl 1545.68080 Baldan, Paolo; Eggert, Richard; König, Barbara; Matt, Timo; Padoan, Tommaso 1 2023 Behavioural logics for configuration structures. Zbl 1483.68222 Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano 2 2022 Fixpoint theory – upside down. Zbl 07410419 Baldan, Paolo; Eggert, Richard; König, Barbara; Padoan, Tommaso 3 2021 Abstraction, up-to techniques and games for systems of fixpoint equations. Zbl 07559481 Baldan, Paolo; König, Barbara; Padoan, Tommaso 5 2020 Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114 Baldan, Paolo; Gadducci, Fabio 3 2019 Minimisation of event structures. Zbl 07650327 Baldan, Paolo; Raffaetà, Alessandra 1 2019 Coalgebraic behavioral metrics. Zbl 1515.68199 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 20 2018 Multilevel transitive and intransitive non-interference, causally. Zbl 1380.68292 Baldan, Paolo; Beggiato, Alessandro 3 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 Petri nets for modelling and analysing trophic networks. Zbl 1395.92182 Baldan, Paolo; Bocci, Martina; Brigolin, Daniele; Cocco, Nicoletta; Heiner, Monika; Simeoni, Marta 1 2018 Domains and event structures for fusions. Zbl 1458.68128 Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 5 2017 Reduction of event structures under history preserving bisimulation. Zbl 1392.68281 Armas-Cervantes, Abel; Baldan, Paolo; García-Bañuelos, Luciano 5 2016 Asynchronous traces and open Petri nets. Zbl 1434.68320 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. 5 2015 A causal view on non-interference. Zbl 1335.68162 Baldan, Paolo; Carraro, Alberto 4 2015 Towards trace metrics via functor lifting. Zbl 1366.68189 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 3 2015 Concurrency cannot be observed, asynchronously. Zbl 1361.68158 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 1 2015 Behavioral metrics via functor lifting. Zbl 1360.68607 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 12 2014 A logic for true concurrency. Zbl 1321.68355 Baldan, Paolo; Crafa, Silvia 12 2014 Hereditary history-preserving bisimilarity: logics and automata. Zbl 1453.68110 Baldan, Paolo; Crafa, Silvia 3 2014 Non-interference by unfolding. Zbl 1334.68144 Baldan, Paolo; Carraro, Alberto 3 2014 Processes and unfoldings: concurrent computations in adhesive categories. Zbl 1342.68223 Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł 2 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 10 2012 Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126 Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel 3 2011 A lattice-theoretical perspective on adhesive categories. Zbl 1217.18004 Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara 2 2011 Efficient contextual unfolding. Zbl 1343.68176 Rodríguez, César; Schwoon, Stefan; Baldan, Paolo 2 2011 Petri nets for modelling metabolic pathways: a survey. Zbl 1206.68209 Baldan, Paolo; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta 10 2010 Unfolding-based diagnosis of systems with an evolving topology. Zbl 1214.68242 Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara 6 2010 A logic for true concurrency. Zbl 1287.68120 Baldan, Paolo; Crafa, Silvia 5 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ł 8 2009 Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio 5 2009 A framework for the verification of infinite-state graph transformation systems. Zbl 1153.68034 Baldan, Paolo; Corradini, Andrea; König, Barbara 16 2008 Unfolding-based diagnosis of systems with an evolving topology. Zbl 1160.68453 Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara 5 2008 McMillan’s complete prefix for contextual nets. Zbl 1171.68560 Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan 5 2008 Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1161.68034 Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara 3 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 3 2008 Petri nets are dioids. Zbl 1170.68536 Baldan, Paolo; Gadducci, Fabio 2 2008 Unfolding graph transformation systems: Theory and applications to verification. Zbl 1143.68422 Baldan, Paolo; Corradini, Andrea; König, Barbara 2 2008 Open Petri nets: Non-deterministic processes and compositionality. Zbl 1175.68269 Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; König, Barbara 2 2008 Towards a sharing strategy for the graph rewriting calculus. Zbl 1279.68111 Baldan, P.; Bertolissi, C.; Cirstea, H.; Kirchner, C. 1 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 Unfolding semantics of graph transformation. Zbl 1115.68093 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 16 2007 A temporal graph logic for verification of graph transformation systems. Zbl 1196.68154 Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto 8 2007 Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1214.68243 Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara 6 2007 A rewriting calculus for cyclic higher-order term graphs. Zbl 1125.68062 Baldan, Paolo; Bertolissi, Clara; Cirstea, Horatiu; Kirchner, Claude 5 2007 A semantic framework for open processes. Zbl 1132.68042 Baldan, P.; Bracciali, A.; Bruni, R. 5 2007 Modelling calculi with name mobility using graphs with equivalences. Zbl 1278.68211 Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 2 2007 Processes for adhesive rewriting systems. Zbl 1180.68165 Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł 7 2006 Distributed unfolding of Petri nets. Zbl 1180.68185 Baldan, Paolo; Haar, Stefan; König, Barbara 6 2006 Composition and decomposition of DPO transformations with borrowed context. Zbl 1156.68417 Baldan, Paolo; Ehrig, Hartmut; König, Barbara 6 2006 Concurrent rewriting for graphs with equivalences. Zbl 1151.68503 Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 2 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 14 2005 A rewriting calculus for cyclic higher-order term graphs. Zbl 1272.68167 Bertolissi, C.; Baldan, P.; Cirstea, H.; Kirchner, C. 6 2005 Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496 Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 3 2005 Symbolic equivalences for open systems. Zbl 1111.68530 Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto 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. 27 2004 Verifying finite-state graph grammars: An unfolding-based approach. Zbl 1099.68046 Baldan, Paolo; Corradini, Andrea; König, Barbara 12 2004 Verifying a behavioural logic for graph transformation systems. Zbl 1271.68167 Baldan, Paolo; Corradini, Andrea; König, Barbara; König, Bernhard 2 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 4 2003 Coreflective concurrent semantics for single-pushout graph grammars. Zbl 1278.68117 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 4 2003 A category of compositional domain-models for separable Stone spaces. Zbl 1051.68102 Alessi, Fabio; Baldan, Paolo; Honsell, Furio 2 2003 A logic for analyzing abstractions of graph transformation systems. Zbl 1067.68095 Baldan, Paolo; König, Barbara; König, Bernhard 2 2003 Bisimulation by unification. Zbl 1275.68100 Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto 10 2002 Approximating the behaviour of graph transformation systems. Zbl 1028.68089 Baldan, Paolo; König, Barbara 9 2002 Bisimulation equivalences for graph grammars. Zbl 1060.68050 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 4 2002 High-level net processes. Zbl 1060.68078 Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko 3 2002 MuTACLP: A language for temporal reasoning with multiple theories. Zbl 1012.68544 Baldan, Paolo; Mancarella, Paolo; Raffaetà, Alessandra; Turini, Franco 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 42 2001 A static analysis technique for graph transformation systems. Zbl 1006.68529 Baldan, Paolo; Corradini, Andrea; König, Barbara 19 2001 Compositional modeling of reactive systems using open nets. Zbl 1006.68084 Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R. 8 2001 Unfolding of double-pushout graph grammars is a coreflection. Zbl 0958.68081 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 9 2000 Functional concurrent semantics for Petri nets with read and inhibitor arcs. Zbl 0999.68150 Baldan, Paolo; Busi, Nadia; Corradini, Andrea; Pinna, G. Michele 6 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 9 1999 Basic theory of \(F\)-bounded quantification. Zbl 1045.68524 Baldan, Paolo; Ghelli, Giorgio; Raffaetà, Alessandra 2 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 4 1995 all cited Publications top 5 cited Publications all top 5 Cited by 365 Authors 42 Baldan, Paolo 28 Corradini, Andrea 27 König, Barbara 20 Gadducci, Fabio 17 Montanari, Ugo G. 16 Bonchi, Filippo 12 Bruni, Roberto 11 Ribeiro, Leila 10 Janicki, Ryszard 10 Pinna, G. Michele 9 Chatain, Thomas 9 Ehrig, Hartmut 9 Haar, Stefan 8 Melgratti, Hernán 7 Heckel, Reiko 7 Padoan, Tommaso 7 Schröder, Lutz 7 Sobociński, Paweł 6 Heindel, Tobias 6 Schwoon, Stefan 6 Virbitskaite, Irina B. 6 Wild, Paul 5 Foss, Luciana 5 Gorrieri, Roberto 5 Koutny, Maciej 5 Monreale, Giacoma Valentina 5 Orejas, Fernando 5 Saadat, Maryam Ghaffari 4 Giese, Holger 4 Gorla, Daniele 4 Kleijn, Jetty 4 Lluch Lafuente, Alberto 4 Mikulski, Łukasz 4 Salvo, Ivano 3 Alessi, Fabio 3 Bracciali, Andrea Clark 3 Dotti, Fernando Luís 3 Eggert, Richard 3 García-Bañuelos, Luciano 3 Gribovskaya, Nataliya Sergeevna 3 Heiner, Monika 3 Hermann, Frank 3 Hildebrandt, Thomas T. 3 Hofmann, Dirk 3 Kissinger, Aleks 3 Kozioura, Vitali 3 Lambers, Leen 3 Maximova, Maria 3 Mezzina, Claudio Antares 3 Nora, Pedro 3 Paulevé, Loïc 3 Phillips, Iain W. 3 Prange, Ulrike 3 Rodríguez, César Marín 3 Schneider, Sven 3 Slaats, Tijs 2 Abbes, Samy 2 Andrei, Oana 2 Armas-Cervantes, Abel 2 Aubert, Clément 2 Basile, Francesco 2 Behr, Nicolas 2 Benveniste, Albert 2 Beohar, Harsh 2 Bernardinello, Luca 2 Bertolissi, Clara 2 Best, Eike 2 Castellani, Ilaria 2 Cristescu, Ioana Domnina 2 Czerwiński, Wojciech 2 Da Costa, Simone André 2 De Tommasi, Gianmaria 2 Debois, Søren 2 Dimitrova, Rayna 2 Dumas, Marlon 2 Echahed, Rachid 2 Esparza, Javier 2 Fabre, Eric 2 Gabriel, Karsten 2 Genovese, Fabrizio Romano 2 Gnad, Daniel 2 Golas, Ulrike 2 Hermida, Claudio 2 Hoffmann, Jörg 2 Honsell, Furio 2 Jacobs, Bart 2 Jard, Claude 2 Jezequel, Loïg 2 Katsumata, Shin-ya 2 Kirchner, Hélène 2 Kulcsár, Géza 2 Kurz, Alexander 2 Lasota, Sławomir 2 Lazić, Ranko 2 Leroux, Jérôme 2 Lochau, Malte 2 Loregiàn, Fosco 2 Madelaine, Eric 2 Majumdar, Rupak 2 Mazowiecki, Filip ...and 265 more Authors all top 5 Cited in 34 Serials 38 Theoretical Computer Science 19 Journal of Logical and Algebraic Methods in Programming 17 Mathematical Structures in Computer Science 13 Logical Methods in Computer Science 12 Information and Computation 8 Acta Informatica 5 Formal Aspects of Computing 4 Discrete Event Dynamic Systems 3 Science of Computer Programming 3 The Journal of Logic and Algebraic Programming 3 Natural Computing 2 Automatica 2 Programming and Computer Software 2 Applied Categorical Structures 2 Journal of the ACM 2 Fundamenta Informaticae 1 Artificial Intelligence 1 Information Processing Letters 1 Information Sciences 1 Journal of Computer and System Sciences 1 Journal of Pure and Applied Algebra 1 Quaestiones Mathematicae 1 Topology and its Applications 1 European Journal of Combinatorics 1 Journal of Symbolic Computation 1 Formal Methods in System Design 1 Applied Mathematics. Series B (English Edition) 1 Mathematical Problems in Engineering 1 Journal of Combinatorial Optimization 1 ACM Transactions on Computational Logic 1 Fixed Point Theory 1 Journal of Zhejiang University. Science A 1 Nonlinear Analysis. Hybrid Systems 1 Open Mathematics all top 5 Cited in 22 Fields 272 Computer science (68-XX) 38 Category theory; homological algebra (18-XX) 32 Mathematical logic and foundations (03-XX) 12 Biology and other natural sciences (92-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 9 Systems theory; control (93-XX) 8 General topology (54-XX) 7 Operations research, mathematical programming (90-XX) 6 Combinatorics (05-XX) 4 History and biography (01-XX) 3 Probability theory and stochastic processes (60-XX) 2 Dynamical systems and ergodic theory (37-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Partial differential equations (35-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year