Paolo Baldan

Citeras av

	Alla	Sedan 2020
Citat	3043	619
h-index	32	12
i10-index	75	18

240

120

180

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 9 19 31 64 45 105 112 154 99 221 158 180 109 137 140 123 138 153 83 111 151 112 116 124 146 113 8

Offentlig åtkomst

Visa alla

30 artiklar

2 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Andrea CorradiniProfessor of Computer Science, University of PisaVerifierad e-postadress på di.unipi.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerifierad e-postadress på uni-due.de
Fabio GadducciProfessore di Informatica, Università di PisaVerifierad e-postadress på unipi.it
Filippo BonchiCNRS ENS-LyonVerifierad e-postadress på ens-lyon.fr
Marta SimeoniUniversità Ca' Foscari VeneziaVerifierad e-postadress på unive.it
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterVerifierad e-postadress på mcs.le.ac.uk
Roberto BruniUniversity of PisaVerifierad e-postadress på di.unipi.it
Tobias HeindelTU BerlinVerifierad e-postadress på tu-berlin.de
Luciano García-BañuelosTecnologico de Monterrey, MexicoVerifierad e-postadress på tec.mx
Abel Armas-CervantesSchool of Computing and Information Systems, The University of MelbourneVerifierad e-postadress på unimelb.edu.au
Pawel SobocinskiTallinn University of TechnologyVerifierad e-postadress på cs.ioc.ee
Leila RibeiroProfessor of Computer Science, Universidade Federal do Rio Grande do Sul, BrazilVerifierad e-postadress på inf.ufrgs.br
Henning Kerstan-Verifierad e-postadress på henningkerstan.de
Andrea BraccialiAssociate Professor, Computer Science, University of Turin, ITVerifierad e-postadress på unito.it
Marlon DumasProfessor at University of Tartu | Chief Product Officer at ApromoreVerifierad e-postadress på ut.ee
Stefan HaarINRIA and Université Paris-SaclayVerifierad e-postadress på inria.fr
Alessandra RAFFAETA'Ca' Foscari University of VeniceVerifierad e-postadress på unive.it
Alberto CarraroUniversità di PadovaVerifierad e-postadress på studenti.unipd.it
Andrea MarinUniversità Ca' Foscari VeneziaVerifierad e-postadress på dais.unive.it
Alberto Lluch LafuenteTechnical University of DenmarkVerifierad e-postadress på dtu.dk

Följ

Paolo Baldan

Professor of Computer Science, University of Padova

Verifierad e-postadress på math.unipd.it - Startsida

formal methods concurrency theory


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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	61	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

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare