Paolo Baldan

Citata da

	Tutte	Dal 2020
Citazioni	3038	618
Indice H	32	12
i10-index	75	17

240

120

180

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 9 19 31 64 45 105 112 154 99 221 158 180 109 136 141 123 138 152 84 111 148 115 116 124 146 110 7

Accesso pubblico

Visualizza tutto

29 articoli

3 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

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 Informatica, Università di PisaEmail verificata su unipi.it
Filippo BonchiCNRS ENS-LyonEmail verificata su ens-lyon.fr
Marta SimeoniUniversità Ca' Foscari VeneziaEmail verificata su unive.it
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterEmail verificata su mcs.le.ac.uk
Roberto BruniUniversity of PisaEmail verificata su di.unipi.it
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 SobocinskiTallinn University of TechnologyEmail verificata su cs.ioc.ee
Leila RibeiroProfessor of Computer Science, Universidade Federal do Rio Grande do Sul, BrazilEmail verificata su inf.ufrgs.br
Henning Kerstan-Email verificata su henningkerstan.de
Andrea BraccialiAssociate Professor, Computer Science, University of Turin, ITEmail verificata su unito.it
Marlon DumasProfessor at University of Tartu | Chief Product Officer at ApromoreEmail verificata su ut.ee
Stefan HaarINRIA and Université Paris-SaclayEmail verificata su inria.fr
Alessandra RAFFAETA'Ca' Foscari University of VeniceEmail verificata su unive.it
Alberto CarraroUniversità di PadovaEmail verificata su studenti.unipd.it
Andrea MarinUniversità Ca' Foscari VeneziaEmail verificata su dais.unive.it
Alberto Lluch LafuenteTechnical University of DenmarkEmail verificata su dtu.dk

Segui

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	159	2001
Petri nets for modelling metabolic pathways: a survey P Baldan, N Cocco, A Marin, M Simeoni Natural Computing 9, 955-989, 2010	149	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	96	2000
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	92	2005
Approximating the behaviour of graph transformation systems P Baldan, B König International Conference on Graph Transformation, 14-29, 2002	90	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	84	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	79	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	79	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	79	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	62	2012
Coalgebraic behavioral metrics P Baldan, F Bonchi, H Kerstan, B König Logical Methods in Computer Science 14, 2018	60	2018
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	60	2001
Unfolding and event structure semantics for graph grammars P Baldan, A Corradini, U Montanari Foundations of Software Science and Computation Structures: Second …, 1999	58	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	54	2014
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	52	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	51	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	49	2002
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	47	2003
Behavioral metrics via functor lifting P Baldan, F Bonchi, H Kerstan, B König arXiv preprint arXiv:1410.3385, 2014	45	2014

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

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori