Paolo Baldan

Cited by

	All	Since 2018
Citations	2818	693
h-index	31	12
i10-index	69	19

220

110

165

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202314 8 20 29 61 44 106 113 147 110 211 159 179 109 134 131 124 134 152 81 114 143 115 108 124 88

Public access

View all

26 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Andrea CorradiniProfessor of Computer Science, University of PisaVerified email at di.unipi.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Fabio GadducciProfessore di Informatica, Università di PisaVerified email at unipi.it
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterVerified email at mcs.le.ac.uk
Tobias HeindelTU BerlinVerified email at tu-berlin.de
Luciano García-BañuelosTecnologico de Monterrey, MexicoVerified email at tec.mx
Abel Armas-CervantesSchool of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Pawel SobocinskiTallinn University of TechnologyVerified email at cs.ioc.ee
Andrea BraccialiSICSA Lecturer, Stirling UniversityVerified email at cs.stir.ac.uk
Leila RibeiroProfessor of Computer Science, Universidade Federal do Rio Grande do Sul, BrazilVerified email at inf.ufrgs.br
Stefan HaarINRIA and LSV, CNRS and ENS Paris Saclay, Université Paris-SaclayVerified email at inria.fr
Marlon DumasProfessor at University of Tartu | Co-founder at ApromoreVerified email at ut.ee
Alessandra RAFFAETA'Ca' Foscari University of VeniceVerified email at unive.it
Henning Kerstan-Verified email at henningkerstan.de
Alberto Lluch LafuenteTechnical University of DenmarkVerified email at dtu.dk
Claude KirchnerInriaVerified email at inria.fr
G. Michele PinnaUniversità di Cagliari, Dipartimento di Matematica e InformaticaVerified email at unica.it
César RodríguezCadence & Associate Professor, University of Paris 13, FranceVerified email at lipn.fr

Paolo Baldan

Professor of Computer Science, University of Padova

Verified email at math.unipd.it - Homepage

formal methods concurrency theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Contextual Petri nets, asymmetric event structures, and processes P Baldan, A Corradini, U Montanari Information and Computation 171 (1), 1-49, 2001	156	2001
Petri nets for modelling metabolic pathways: a survey P Baldan, N Cocco, A Marin, M Simeoni Natural Computing 9, 955-989, 2010	135	2010
A static analysis technique for graph transformation systems P Baldan, A Corradini, B König International Conference on Concurrency Theory, 381-395, 2001	123	2001
Modelling concurrent computations: from contextual Petri nets to graph grammars P Baldan PhD thesis, Department of Computer Science, University of Pisa, 2000 …, 2000	93	2000
Approximating the behaviour of graph transformation systems P Baldan, B König International Conference on Graph Transformation, 14-29, 2002	88	2002
Compositional semantics for open Petri nets based on deterministic processes P Baldan, A Corradini, H Ehrig, R Heckel Mathematical Structures in Computer Science 15 (1), 1-35, 2005	85	2005
Verifying finite-state graph grammars: an unfolding-based approach P Baldan, A Corradini, B König International Conference on Concurrency Theory, 83-98, 2004	85	2004
Concurrent semantics of algebraic graph transformation P Baldan, A Corradini, H Ehrig, M Löwe, U Montanari, F Rossi Handbook of Graph Grammars and Computing by Graph Transformation 3, 107-187, 1999	76	1999
Domain and event structure semantics for Petri nets with read and inhibitor arcs P Baldan, N Busi, A Corradini, GM Pinna Theoretical Computer Science 323 (1-3), 129-189, 2004	74	2004
A framework for the verification of infinite-state graph transformation systems P Baldan, A Corradini, B König Information and Computation 206 (7), 869-907, 2008	73	2008
Compositional modeling of reactive systems using open nets P Baldan, A Corradini, H Ehrig, R Heckel CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001	57	2001
Unfolding and event structure semantics for graph grammars P Baldan, A Corradini, U Montanari Foundations of Software Science and Computation Structures: Second …, 1999	57	1999
Efficient unfolding of contextual Petri nets P Baldan, A Bruni, A Corradini, B König, C Rodríguez, S Schwoon Theoretical Computer Science 449, 2-22, 2012	56	2012
Behavior preservation in model refactoring using DPO transformations with borrowed contexts G Rangel, L Lambers, B König, H Ehrig, P Baldan International Conference on Graph Transformation, 242-256, 2008	51	2008
Behavioral comparison of process models based on canonically reduced event structures A Armas-Cervantes, P Baldan, M Dumas, L García-Bañuelos Business Process Management: 12th International Conference, BPM 2014, Haifa …, 2014	50	2014
A logic for analyzing abstractions of graph transformation systems P Baldan, B König, B König International Static Analysis Symposium, 255-272, 2003	49	2003
High-level net processes H Ehrig, K Hoffmann, J Padberg, P Baldan, R Heckel Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, 191-219, 2002	46	2002
McMillan’s complete prefix for contextual nets P Baldan, A Corradini, B König, S Schwoon Transactions on Petri Nets and Other Models of Concurrency I, 199-220, 2008	43	2008
AGILE: Software architecture for mobility L Andrade, P Baldan, H Baumeister, R Bruni, A Corradini, R De Nicola, ... Recent Trends in Algebraic Development Techniques: 16th International …, 2003	42	2003
An event structure semantics for P/T contextual nets: Asymmetric event structures P Baldan, A Corradini, U Montanari Foundations of Software Science and Computation Structures: First …, 1998	42	1998

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors