Paolo Baldan

Citée par

	Toutes	Depuis 2018
Citations	2704	598
indice h	31	12
indice i10	67	15

220

110

165

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202310 8 23 29 61 47 97 112 140 107 216 164 165 104 142 126 122 139 152 84 113 130 112 111 114 18

Accès public

Tout afficher

22 articles

3 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Andrea CorradiniProfessor of Computer Science, University of PisaAdresse e-mail validée de di.unipi.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikAdresse e-mail validée de uni-due.de
Fabio GadducciProfessore di Informatica, Università di PisaAdresse e-mail validée de unipi.it
Filippo BonchiCNRS ENS-LyonAdresse e-mail validée de ens-lyon.fr
Roberto BruniUniversity of PisaAdresse e-mail validée de di.unipi.it
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterAdresse e-mail validée de mcs.le.ac.uk
Tobias HeindelTU BerlinAdresse e-mail validée de tu-berlin.de
Luciano García-BañuelosTecnologico de Monterrey, MexicoAdresse e-mail validée de tec.mx
Abel Armas-CervantesSchool of Computing and Information Systems, The University of MelbourneAdresse e-mail validée de unimelb.edu.au
Pawel SobocinskiProfessor of Computer Science, Tallinn University of TechnologyAdresse e-mail validée de cs.ioc.ee
Leila RibeiroProfessor of Computer Science, Universidade Federal do Rio Grande do Sul, BrazilAdresse e-mail validée de inf.ufrgs.br
Henning Kerstan-Adresse e-mail validée de henningkerstan.de
Andrea BraccialiSICSA Lecturer, Stirling UniversityAdresse e-mail validée de cs.stir.ac.uk
Stefan HaarINRIA and LSV, CNRS and ENS Paris Saclay, Université Paris-SaclayAdresse e-mail validée de inria.fr
Marlon DumasProfessor at University of Tartu | Co-founder at ApromoreAdresse e-mail validée de ut.ee
Claude KirchnerInriaAdresse e-mail validée de inria.fr
G. Michele PinnaUniversità di Cagliari, Dipartimento di Matematica e InformaticaAdresse e-mail validée de unica.it
Alberto Lluch LafuenteTechnical University of DenmarkAdresse e-mail validée de dtu.dk
César RodríguezDiffblue, Oxford, UK & Associate Professor, University of Paris 13, FranceAdresse e-mail validée de lipn.fr
Alessandro BruniAssociate Professor. IT-University of CopenhagenAdresse e-mail validée de itu.dk

Suivre

Paolo Baldan

Professor of Computer Science, University of Padova

Adresse e-mail validée de math.unipd.it - Page d'accueil

formal methods concurrency theory


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Contextual Petri nets, asymmetric event structures, and processes P Baldan, A Corradini, U Montanari Information and Computation 171 (1), 1-49, 2001	148	2001
Petri nets for modelling metabolic pathways: a survey P Baldan, N Cocco, A Marin, M Simeoni Natural Computing 9, 955-989, 2010	128	2010
A static analysis technique for graph transformation systems P Baldan, A Corradini, B König CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001	117	2001
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 Graph Transformation: First International Conference, ICGT 2002 Barcelona …, 2002	86	2002
Verifying finite-state graph grammars: an unfolding-based approach P Baldan, A Corradini, B König CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004	83	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	80	2005
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	73	1999
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	72	2008
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	68	2004
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	56	2001
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	55	2012
Unfolding and event structure semantics for graph grammars P Baldan, A Corradini, U Montanari Foundations of Software Science and Computation Structures: Second …, 1999	54	1999
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	49	2014
A logic for analyzing abstractions of graph transformation systems P Baldan, B König, B König Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA …, 2003	49	2003
Behavior preservation in model refactoring using DPO transformations with borrowed contexts G Rangel, L Lambers, B König, H Ehrig, P Baldan Graph Transformations: 4th International Conference, ICGT 2008, Leicester …, 2008	48	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	43	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	42	2002
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
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	41	2008

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs