Paolo Baldan

Citata da

	Tutte	Dal 2016
Citazioni	2476	612
Indice H	28	11
i10-index	62	12

220

110

165

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202112 9 18 26 53 45 111 105 155 111 214 162 165 112 138 116 122 138 132 93 116 140 117 13

Coautori

Andrea CorradiniProfessor of Computer Science, University of PisaEmail verificata su di.unipi.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikEmail verificata su uni-due.de
Fabio GadducciProfessore di scienze informatiche, Università di PisaEmail verificata su unipi.it
Roberto BruniUniversity of PisaEmail verificata su di.unipi.it
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterEmail verificata su mcs.le.ac.uk
Filippo BonchiCNRS ENS-LyonEmail verificata su ens-lyon.fr
Tobias HeindelTU BerlinEmail verificata su tu-berlin.de
Luciano García-BañuelosTecnologico de Monterrey, MexicoEmail verificata su tec.mx
Abel Armas-CervantesSchool of Computing and Information Systems, The University of MelbourneEmail verificata su unimelb.edu.au
Pawel SobocinskiProfessor of Computer Science, Tallinn University of TechnologyEmail verificata su cs.ioc.ee
Andrea BraccialiSICSA Lecturer, Stirling UniversityEmail verificata su cs.stir.ac.uk
Leila RibeiroProfessor of Computer Science, Universidade Federal do Rio Grande do Sul, BrazilEmail verificata su inf.ufrgs.br
Stefan HaarINRIA and LSV, CNRS and ENS Paris Saclay, Université Paris-SaclayEmail verificata su inria.fr
Claude KirchnerInriaEmail verificata su inria.fr
Marlon DumasUniversity of TartuEmail verificata su ut.ee
Henning Kerstan-Email verificata su henningkerstan.de
G. Michele PinnaUniversità di Cagliari, Dipartimento di Matematica e InformaticaEmail verificata su unica.it
Alberto Lluch LafuenteTechnical University of DenmarkEmail verificata su dtu.dk
Arend RensinkProfessor in Computer Science, University of TwenteEmail verificata su utwente.nl
César RodríguezDiffblue, Oxford, UK & Associate Professor, University of Paris 13, FranceEmail verificata su lipn.fr

Paolo Baldan

Professor of Computer Science, University of Padova

Email verificata su math.unipd.it - Home page

formal methods concurrency theory


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Contextual Petri nets, asymmetric event structures, and processes P Baldan, A Corradini, U Montanari Information and Computation 171 (1), 1-49, 2001	143	2001
A static analysis technique for graph transformation systems P Baldan, A Corradini, B König International Conference on Concurrency Theory, 381-395, 2001	114	2001
Petri nets for modelling metabolic pathways: a survey P Baldan, N Cocco, A Marin, M Simeoni Natural Computing 9 (4), 955-989, 2010	113	2010
Modelling concurrent computations: from contextual Petri nets to graph grammars P Baldan PhD thesis, Department of Computer Science, University of Pisa, 2000 …, 2000	85	2000
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
Approximating the behaviour of graph transformation systems P Baldan, B König International Conference on Graph Transformation, 14-29, 2002	82	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	77	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	68	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	68	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	62	2004
Unfolding and event structure semantics for graph grammars P Baldan, A Corradini, U Montanari International Conference on Foundations of Software Science and Computation …, 1999	54	1999
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
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	47	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	46	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	44	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
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	40	2004
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	38	2008
High-level net processes H Ehrig, K Hoffmann, J Padberg, P Baldan, R Heckel Formal and Natural Computing, 191-219, 2002	38	2002

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Carica PDF

Segui questo autore

Citata da

Coautori