Paolo Baldan

Cited by

	All	Since 2016
Citations	2538	649
h-index	29	11
i10-index	62	13

220

110

165

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202113 12 18 24 60 49 104 105 155 112 216 156 187 111 140 119 120 136 132 91 116 140 118 52

Public access

View all

23 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
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
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 SobocinskiProfessor of Computer Science, Tallinn University of TechnologyVerified email at cs.ioc.ee
Leila RibeiroProfessor of Computer Science, Universidade Federal do Rio Grande do Sul, BrazilVerified email at inf.ufrgs.br
Andrea BraccialiSICSA Lecturer, Stirling UniversityVerified email at cs.stir.ac.uk
Stefan HaarINRIA and LSV, CNRS and ENS Paris Saclay, Université Paris-SaclayVerified email at inria.fr
Claude KirchnerInriaVerified email at inria.fr
Henning Kerstan-Verified email at henningkerstan.de
Marlon DumasUniversity of TartuVerified email at ut.ee
G. Michele PinnaUniversità di Cagliari, Dipartimento di Matematica e InformaticaVerified email at unica.it
Alberto Lluch LafuenteTechnical University of DenmarkVerified email at dtu.dk
Arend RensinkProfessor in Computer Science, University of TwenteVerified email at utwente.nl
César RodríguezDiffblue, Oxford, UK & 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	146	2001
A static analysis technique for graph transformation systems P Baldan, A Corradini, B König International Conference on Concurrency Theory, 381-395, 2001	117	2001
Petri nets for modelling metabolic pathways: a survey P Baldan, N Cocco, A Marin, M Simeoni Natural Computing 9 (4), 955-989, 2010	111	2010
Modelling concurrent computations: from contextual Petri nets to graph grammars P Baldan PhD thesis, Department of Computer Science, University of Pisa, 2000 …, 2000	89	2000
Approximating the behaviour of graph transformation systems P Baldan, B König International Conference on Graph Transformation, 14-29, 2002	83	2002
Verifying finite-state graph grammars: an unfolding-based approach P Baldan, A Corradini, B König International Conference on Concurrency Theory, 83-98, 2004	82	2004
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	79	2005
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	70	2008
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	69	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	64	2004
Compositional modeling of reactive systems using open nets P Baldan, A Corradini, H Ehrig, R Heckel International Conference on Concurrency Theory, 502-518, 2001	52	2001
Unfolding and event structure semantics for graph grammars P Baldan, A Corradini, U Montanari International Conference on Foundations of Software Science and Computation …, 1999	52	1999
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	48	2008
A logic for analyzing abstractions of graph transformation systems P Baldan, B König, B König International Static Analysis Symposium, 255-272, 2003	47	2003
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	45	2012
AGILE: Software architecture for mobility L Andrade, P Baldan, H Baumeister, R Bruni, A Corradini, R De Nicola, ... International Workshop on Algebraic Development Techniques, 1-33, 2002	44	2002
An event structure semantics for P/T contextual nets: Asymmetric event structures P Baldan, A Corradini, U Montanari International Conference on Foundations of Software Science and Computation …, 1998	43	1998
Behavioral comparison of process models based on canonically reduced event structures A Armas-Cervantes, P Baldan, M Dumas, L García-Bañuelos International Conference on Business Process Management, 267-282, 2014	41	2014
Generating test cases for code generators by unfolding graph transformation systems P Baldan, B König, I Stürmer International Conference on Graph Transformation, 194-209, 2004	41	2004
High-level net processes H Ehrig, K Hoffmann, J Padberg, P Baldan, R Heckel Formal and Natural Computing, 191-219, 2002	41	2002

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 this author

Cited by

Co-authors