Edit Profile (opens in new tab) Baldan, Paolo Co-Author Distance Author ID: baldan.paolo Published as: Baldan, Paolo; Baldan, P. Documents Indexed: 95 Publications since 1995 2 Contributions as Editor Co-Authors: 61 Co-Authors with 96 Joint Publications 893 Co-Co-Authors all top 5 Co-Authors 1 single-authored 35 Corradini, Andrea 31 König, Barbara 14 Gadducci, Fabio 12 Montanari, Ugo G. 9 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 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 Eggert, Richard 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 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 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 9 Theoretical Computer Science 9 Information and Computation 4 MSCS. 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 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 95 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 11 Category theory; homological algebra (18-XX) 4 Biology and other natural sciences (92-XX) 2 General and overarching topics; collections (00-XX) 1 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 80 Publications have been cited 403 times in 244 Documents Cited by ▼ Year ▼ Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 39 2001 Domain and event structure semantics for Petri nets with read and inhibitor arcs. Zbl 1078.68103Baldan, P.; Busi, N.; Corradini, A.; Pinna, G. M. 21 2004 A static analysis technique for graph transformation systems. Zbl 1006.68529Baldan, Paolo; Corradini, Andrea; König, Barbara 18 2001 Unfolding semantics of graph transformation. Zbl 1115.68093Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 15 2007 A framework for the verification of infinite-state graph transformation systems. Zbl 1153.68034Baldan, Paolo; Corradini, Andrea; König, Barbara 14 2008 Compositional semantics for open Petri nets based on deterministic processes. Zbl 1089.68068Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko 13 2005 A logic for true concurrency. Zbl 1321.68355Baldan, Paolo; Crafa, Silvia 12 2014 Coalgebraic behavioral metrics. Zbl 1515.68199Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 11 2018 Verifying finite-state graph grammars: An unfolding-based approach. Zbl 1099.68046Baldan, Paolo; Corradini, Andrea; König, Barbara 10 2004 Bisimulation by unification. Zbl 1275.68100Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto 10 2002 Unfolding of double-pushout graph grammars is a coreflection. Zbl 0958.68081Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 9 2000 Unfolding and event structure semantics for graph grammars. Zbl 0946.68087Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 9 1999 Petri nets for modelling metabolic pathways: a survey. Zbl 1206.68209Baldan, Paolo; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta 8 2010 An event structure semantics for P/T contextual nets: Asymmetric event structures. Zbl 0902.68140Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 8 1998 Solutions of functorial and non-functorial metric domain equations. Zbl 0910.68130Alessi, F.; Baldan, P.; Bellè, G.; Rutten, J. J. M. M. 8 1995 Processes for adhesive rewriting systems. Zbl 1180.68165Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł 7 2006 Behavioral metrics via functor lifting. Zbl 1360.68607Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 7 2014 Unfolding grammars in adhesive categories. Zbl 1239.68036Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł 7 2009 Efficient unfolding of contextual Petri nets. Zbl 1263.68117Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Rodríguez, César; Schwoon, Stefan 7 2012 Unfolding-based diagnosis of systems with an evolving topology. Zbl 1214.68242Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara 6 2010 Composition and decomposition of DPO transformations with borrowed context. Zbl 1156.68417Baldan, Paolo; Ehrig, Hartmut; König, Barbara 6 2006 Compositional modeling of reactive systems using open nets. Zbl 1006.68084Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R. 6 2001 Distributed unfolding of Petri nets. Zbl 1180.68185Baldan, Paolo; Haar, Stefan; König, Barbara 6 2006 A temporal graph logic for verification of graph transformation systems. Zbl 1196.68154Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto 6 2007 Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1214.68243Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara 6 2007 A semantic framework for open processes. Zbl 1132.68042Baldan, P.; Bracciali, A.; Bruni, R. 5 2007 A logic for true concurrency. Zbl 1287.68120Baldan, Paolo; Crafa, Silvia 5 2010 Functional concurrent semantics for Petri nets with read and inhibitor arcs. Zbl 0999.68150Baldan, Paolo; Busi, Nadia; Corradini, Andrea; Pinna, G. Michele 5 2000 McMillan’s complete prefix for contextual nets. Zbl 1171.68560Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan 5 2008 Unfolding-based diagnosis of systems with an evolving topology. Zbl 1160.68453Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara 5 2008 Approximating the behaviour of graph transformation systems. Zbl 1028.68089Baldan, Paolo; König, Barbara 5 2002 A rewriting calculus for cyclic higher-order term graphs. Zbl 1272.68167Bertolissi, C.; Baldan, P.; Cirstea, H.; Kirchner, C. 5 2005 Asynchronous traces and open Petri nets. Zbl 1434.68320Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. 4 2015 Bisimulation equivalences for graph grammars. Zbl 1060.68050Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 4 2002 A rewriting calculus for cyclic higher-order term graphs. Zbl 1125.68062Baldan, Paolo; Bertolissi, Clara; Cirstea, Horatiu; Kirchner, Claude 4 2007 Reduction of event structures under history preserving bisimulation. Zbl 1392.68281Armas-Cervantes, Abel; Baldan, Paolo; García-Bañuelos, Luciano 3 2016 A causal view on non-interference. Zbl 1335.68162Baldan, Paolo; Carraro, Alberto 3 2015 History preserving bisimulation for contextual nets. Zbl 0966.68151Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 3 2000 Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio 3 2009 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 Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 3 2005 Behavior preservation in model refactoring using DPO transformations with borrowed contexts. Zbl 1175.68231Rangel, Guilherme; Lambers, Leen; König, Barbara; Ehrig, Hartmut; Baldan, Paolo 3 2008 Hereditary history-preserving bisimilarity: logics and automata. Zbl 1453.68110Baldan, Paolo; Crafa, Silvia 3 2014 A fixed-point theorem in a category of compact metric spaces. Zbl 0873.68126Alessi, Fabio; Baldan, Paolo; Bellè, Gianna 3 1995 Pre-nets, read ARCS and unfolding: A functorial presentation. Zbl 1278.68210Baldan, Paolo; Bruni, Roberto; Montanari, Ugo 3 2003 Coreflective concurrent semantics for single-pushout graph grammars. Zbl 1278.68117Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 3 2003 Domains and event structures for fusions. Zbl 1458.68128Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 3 2017 Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel 3 2011 Multilevel transitive and intransitive non-interference, causally. Zbl 1380.68292Baldan, Paolo; Beggiato, Alessandro 2 2018 Unfolding graph transformation systems: Theory and applications to verification. Zbl 1143.68422Baldan, Paolo; Corradini, Andrea; König, Barbara 2 2008 Symbolic equivalences for open systems. Zbl 1111.68530Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto 2 2005 Processes and unfoldings: concurrent computations in adhesive categories. Zbl 1342.68223Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł 2 2014 A category of compositional domain-models for separable Stone spaces. Zbl 1051.68102Alessi, Fabio; Baldan, Paolo; Honsell, Furio 2 2003 A lattice-theoretical perspective on adhesive categories. Zbl 1217.18004Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara 2 2011 Concurrent rewriting for graphs with equivalences. Zbl 1151.68503Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 2 2006 Petri nets are dioids. Zbl 1170.68536Baldan, Paolo; Gadducci, Fabio 2 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 Efficient contextual unfolding. Zbl 1343.68176Rodríguez, César; Schwoon, Stefan; Baldan, Paolo 2 2011 A characterization of distance between 1-bounded compact ultrametric spaces through a universal space. Zbl 0908.68099Alessi, Fabio; Baldan, Paolo 2 1998 Non-interference by unfolding. Zbl 1334.68144Baldan, Paolo; Carraro, Alberto 2 2014 Event structures for Petri nets with persistence. Zbl 1417.68113Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo 2 2018 Behavioural logics for configuration structures. Zbl 1483.68222Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano 2 2022 Abstraction, up-to techniques and games for systems of fixpoint equations. Zbl 07559481Baldan, Paolo; König, Barbara; Padoan, Tommaso 2 2020 Modelling calculi with name mobility using graphs with equivalences. Zbl 1278.68211Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 2 2007 Concurrency cannot be observed, asynchronously. Zbl 1361.68158Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 1 2015 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 CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Zbl 1295.68016 1 2014 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 High-level net processes. Zbl 1060.68078Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko 1 2002 A logic for analyzing abstractions of graph transformation systems. Zbl 1067.68095Baldan, Paolo; König, Barbara; König, Bernhard 1 2003 Generating test cases for code generators by unfolding graph transformation systems. Zbl 1116.68477Baldan, Paolo; König, Barbara; Stürmer, Ingo 1 2004 Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114Baldan, Paolo; Gadducci, Fabio 1 2019 MuTACLP: A language for temporal reasoning with multiple theories. Zbl 1012.68544Baldan, Paolo; Mancarella, Paolo; Raffaetà, Alessandra; Turini, Franco 1 2002 Towards trace metrics via functor lifting. Zbl 1366.68189Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 1 2015 Concurrency for graph grammars in a Petri net shell. Zbl 1263.68065Baldan, Paolo 1 2002 Verifying a behavioural logic for graph transformation systems. Zbl 1271.68167Baldan, Paolo; Corradini, Andrea; König, Barbara; König, Bernhard 1 2004 Fixpoint theory – upside down. Zbl 07410419Baldan, Paolo; Eggert, Richard; König, Barbara; Padoan, Tommaso 1 2021 Minimisation of event structures. Zbl 07650327Baldan, Paolo; Raffaetà, Alessandra 1 2019 Towards a sharing strategy for the graph rewriting calculus. Zbl 1279.68111Baldan, P.; Bertolissi, C.; Cirstea, H.; Kirchner, C. 1 2008 Behavioural logics for configuration structures. Zbl 1483.68222Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano 2 2022 Fixpoint theory – upside down. Zbl 07410419Baldan, Paolo; Eggert, Richard; König, Barbara; Padoan, Tommaso 1 2021 Abstraction, up-to techniques and games for systems of fixpoint equations. Zbl 07559481Baldan, Paolo; König, Barbara; Padoan, Tommaso 2 2020 Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114Baldan, Paolo; Gadducci, Fabio 1 2019 Minimisation of event structures. Zbl 07650327Baldan, Paolo; Raffaetà, Alessandra 1 2019 Coalgebraic behavioral metrics. Zbl 1515.68199Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 11 2018 Multilevel transitive and intransitive non-interference, causally. Zbl 1380.68292Baldan, Paolo; Beggiato, Alessandro 2 2018 Event structures for Petri nets with persistence. Zbl 1417.68113Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo 2 2018 Domains and event structures for fusions. Zbl 1458.68128Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 3 2017 Reduction of event structures under history preserving bisimulation. Zbl 1392.68281Armas-Cervantes, Abel; Baldan, Paolo; García-Bañuelos, Luciano 3 2016 Asynchronous traces and open Petri nets. Zbl 1434.68320Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. 4 2015 A causal view on non-interference. Zbl 1335.68162Baldan, Paolo; Carraro, Alberto 3 2015 Concurrency cannot be observed, asynchronously. Zbl 1361.68158Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 1 2015 Towards trace metrics via functor lifting. Zbl 1366.68189Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 1 2015 A logic for true concurrency. Zbl 1321.68355Baldan, Paolo; Crafa, Silvia 12 2014 Behavioral metrics via functor lifting. Zbl 1360.68607Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 7 2014 Hereditary history-preserving bisimilarity: logics and automata. Zbl 1453.68110Baldan, Paolo; Crafa, Silvia 3 2014 Processes and unfoldings: concurrent computations in adhesive categories. Zbl 1342.68223Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł 2 2014 Non-interference by unfolding. Zbl 1334.68144Baldan, Paolo; Carraro, Alberto 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.68117Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Rodríguez, César; Schwoon, Stefan 7 2012 Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel 3 2011 A lattice-theoretical perspective on adhesive categories. Zbl 1217.18004Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara 2 2011 Efficient contextual unfolding. Zbl 1343.68176Rodríguez, César; Schwoon, Stefan; Baldan, Paolo 2 2011 Petri nets for modelling metabolic pathways: a survey. Zbl 1206.68209Baldan, Paolo; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta 8 2010 Unfolding-based diagnosis of systems with an evolving topology. Zbl 1214.68242Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara 6 2010 A logic for true concurrency. Zbl 1287.68120Baldan, Paolo; Crafa, Silvia 5 2010 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ł 7 2009 Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio 3 2009 A framework for the verification of infinite-state graph transformation systems. Zbl 1153.68034Baldan, Paolo; Corradini, Andrea; König, Barbara 14 2008 McMillan’s complete prefix for contextual nets. Zbl 1171.68560Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan 5 2008 Unfolding-based diagnosis of systems with an evolving topology. Zbl 1160.68453Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara 5 2008 Behavior preservation in model refactoring using DPO transformations with borrowed contexts. Zbl 1175.68231Rangel, Guilherme; Lambers, Leen; König, Barbara; Ehrig, Hartmut; Baldan, Paolo 3 2008 Unfolding graph transformation systems: Theory and applications to verification. Zbl 1143.68422Baldan, Paolo; Corradini, Andrea; König, Barbara 2 2008 Petri nets are dioids. Zbl 1170.68536Baldan, Paolo; Gadducci, Fabio 2 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 Open Petri nets: Non-deterministic processes and compositionality. Zbl 1175.68269Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; König, Barbara 1 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 Towards a sharing strategy for the graph rewriting calculus. Zbl 1279.68111Baldan, P.; Bertolissi, C.; Cirstea, H.; Kirchner, C. 1 2008 Unfolding semantics of graph transformation. Zbl 1115.68093Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 15 2007 A temporal graph logic for verification of graph transformation systems. Zbl 1196.68154Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto 6 2007 Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1214.68243Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara 6 2007 A semantic framework for open processes. Zbl 1132.68042Baldan, P.; Bracciali, A.; Bruni, R. 5 2007 A rewriting calculus for cyclic higher-order term graphs. Zbl 1125.68062Baldan, Paolo; Bertolissi, Clara; Cirstea, Horatiu; Kirchner, Claude 4 2007 Modelling calculi with name mobility using graphs with equivalences. Zbl 1278.68211Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 2 2007 Processes for adhesive rewriting systems. Zbl 1180.68165Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł 7 2006 Composition and decomposition of DPO transformations with borrowed context. Zbl 1156.68417Baldan, Paolo; Ehrig, Hartmut; König, Barbara 6 2006 Distributed unfolding of Petri nets. Zbl 1180.68185Baldan, Paolo; Haar, Stefan; König, Barbara 6 2006 Concurrent rewriting for graphs with equivalences. Zbl 1151.68503Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 2 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 13 2005 A rewriting calculus for cyclic higher-order term graphs. Zbl 1272.68167Bertolissi, C.; Baldan, P.; Cirstea, H.; Kirchner, C. 5 2005 Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 3 2005 Symbolic equivalences for open systems. Zbl 1111.68530Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto 2 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. 21 2004 Verifying finite-state graph grammars: An unfolding-based approach. Zbl 1099.68046Baldan, Paolo; Corradini, Andrea; König, Barbara 10 2004 Generating test cases for code generators by unfolding graph transformation systems. Zbl 1116.68477Baldan, Paolo; König, Barbara; Stürmer, Ingo 1 2004 Verifying a behavioural logic for graph transformation systems. Zbl 1271.68167Baldan, Paolo; Corradini, Andrea; König, Barbara; König, Bernhard 1 2004 Pre-nets, read ARCS and unfolding: A functorial presentation. Zbl 1278.68210Baldan, Paolo; Bruni, Roberto; Montanari, Ugo 3 2003 Coreflective concurrent semantics for single-pushout graph grammars. Zbl 1278.68117Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 3 2003 A category of compositional domain-models for separable Stone spaces. Zbl 1051.68102Alessi, Fabio; Baldan, Paolo; Honsell, Furio 2 2003 A logic for analyzing abstractions of graph transformation systems. Zbl 1067.68095Baldan, Paolo; König, Barbara; König, Bernhard 1 2003 Bisimulation by unification. Zbl 1275.68100Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto 10 2002 Approximating the behaviour of graph transformation systems. Zbl 1028.68089Baldan, Paolo; König, Barbara 5 2002 Bisimulation equivalences for graph grammars. Zbl 1060.68050Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 4 2002 High-level net processes. Zbl 1060.68078Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko 1 2002 MuTACLP: A language for temporal reasoning with multiple theories. Zbl 1012.68544Baldan, Paolo; Mancarella, Paolo; Raffaetà, Alessandra; Turini, Franco 1 2002 Concurrency for graph grammars in a Petri net shell. Zbl 1263.68065Baldan, Paolo 1 2002 Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 39 2001 A static analysis technique for graph transformation systems. Zbl 1006.68529Baldan, Paolo; Corradini, Andrea; König, Barbara 18 2001 Compositional modeling of reactive systems using open nets. Zbl 1006.68084Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R. 6 2001 Unfolding of double-pushout graph grammars is a coreflection. Zbl 0958.68081Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 9 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 Unfolding and event structure semantics for graph grammars. Zbl 0946.68087Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 9 1999 An event structure semantics for P/T contextual nets: Asymmetric event structures. Zbl 0902.68140Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 8 1998 A characterization of distance between 1-bounded compact ultrametric spaces through a universal space. Zbl 0908.68099Alessi, Fabio; Baldan, Paolo 2 1998 Solutions of functorial and non-functorial metric domain equations. Zbl 0910.68130Alessi, 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.68126Alessi, Fabio; Baldan, Paolo; Bellè, Gianna 3 1995 all cited Publications top 5 cited Publications all top 5 Cited by 313 Authors 40 Baldan, Paolo 26 Corradini, Andrea 22 König, Barbara 18 Gadducci, Fabio 17 Montanari, Ugo G. 15 Bonchi, Filippo 12 Bruni, Roberto 11 Ribeiro, Leila 9 Ehrig, Hartmut 8 Pinna, G. Michele 7 Janicki, Ryszard 7 Sobociński, Paweł 6 Chatain, Thomas 6 Haar, Stefan 6 Heckel, Reiko 6 Heindel, Tobias 6 Melgratti, Hernán 6 Schwoon, Stefan 5 Foss, Luciana 5 Gorrieri, Roberto 5 Monreale, Giacoma Valentina 5 Orejas, Fernando 5 Padoan, Tommaso 4 Gorla, Daniele 4 Kleijn, Jetty 4 Koutny, Maciej 4 Saadat, Maryam Ghaffari 4 Salvo, Ivano 4 Virbitskaite, Irina B. 3 Alessi, Fabio 3 Bracciali, Andrea Clark 3 Dotti, Fernando Luís 3 García-Bañuelos, Luciano 3 Heiner, Monika 3 Hermann, Frank 3 Kissinger, Aleks 3 Kozioura, Vitali 3 Lambers, Leen 3 Lluch Lafuente, Alberto 3 Mikulski, Łukasz 3 Phillips, Iain W. 3 Prange, Ulrike 3 Rodríguez, César Marín 3 Schröder, Lutz 3 Wild, Paul 2 Abbes, Samy 2 Andrei, Oana 2 Armas-Cervantes, Abel 2 Aubert, Clément 2 Behr, Nicolas 2 Benveniste, Albert 2 Bertolissi, Clara 2 Cristescu, Ioana Domnina 2 Da Costa, Simone André 2 Debois, Søren 2 Dimitrova, Rayna 2 Dumas, Marlon 2 Eggert, Richard 2 Fabre, Eric 2 Gabriel, Karsten 2 Giese, Holger 2 Golas, Ulrike 2 Hermida, Claudio 2 Hildebrandt, Thomas T. 2 Honsell, Furio 2 Jacobs, Bart 2 Jard, Claude 2 Jezequel, Loïg 2 Kirchner, Hélène 2 Madelaine, Eric 2 Majumdar, Rupak 2 Meseguer Guaita, José 2 Paulevé, Loïc 2 Popova-Zeugmann, Louchka 2 Poskitt, Christopher M. 2 Rafe, Vahid 2 Rahmani, Adel T. 2 Rensink, Arend 2 Rot, Jurriaan 2 Roux, Olivier H. 2 Sassone, Vladimiro 2 Slaats, Tijs 2 Ulidowski, Irek 2 van Breugel, Franck 2 van Glabbeek, Robert Jan 2 Varacca, Daniele 2 Worrell, James B. 2 Yoshida, Nobuko 2 Zanasi, Fabio 2 Zavattaro, Gianluigi 1 Alqarni, Mohammad 1 Alqarni, Mohammed 1 Ameur-Boulifa, Rabéa 1 Angione, Claudio 1 Arbab, Farhad 1 Arbach, Youssef 1 Azzi, Guilherme Grochau 1 Baez, John C. 1 Balan, Adriana 1 Basile, Francesco ...and 213 more Authors all top 5 Cited in 29 Serials 38 Theoretical Computer Science 17 Journal of Logical and Algebraic Methods in Programming 14 MSCS. Mathematical Structures in Computer Science 11 Information and Computation 11 Logical Methods in Computer Science 8 Acta Informatica 4 Formal Aspects of Computing 4 Discrete Event Dynamic Systems 3 Science of Computer Programming 3 The Journal of Logic and Algebraic Programming 2 Programming and Computer Software 2 Applied Categorical Structures 2 Natural Computing 1 Artificial Intelligence 1 Information Processing Letters 1 Automatica 1 Journal of Computer and System Sciences 1 Journal of Pure and Applied Algebra 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 Journal of the ACM 1 Fundamenta Informaticae 1 Journal of Zhejiang University. Science A 1 Nonlinear Analysis. Hybrid Systems all top 5 Cited in 16 Fields 232 Computer science (68-XX) 31 Category theory; homological algebra (18-XX) 27 Mathematical logic and foundations (03-XX) 10 Biology and other natural sciences (92-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 7 Systems theory; control (93-XX) 6 General topology (54-XX) 6 Operations research, mathematical programming (90-XX) 5 Combinatorics (05-XX) 4 History and biography (01-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Group theory and generalizations (20-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Probability theory and stochastic processes (60-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year