Paolo Baldan

Dikutip oleh

	Semua	Sejak 2020
Kutipan	3067	623
indeks-h	31	13
indeks-i10	77	16

240

120

180

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 7 19 31 65 49 97 112 159 102 230 155 184 109 139 140 124 144 148 87 113 151 112 118 123 142 118 10

Akses publik

Lihat semua

29 artikel

3 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Andrea CorradiniProfessor of Computer Science, University of PisaEmail yang diverifikasi di di.unipi.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikEmail yang diverifikasi di uni-due.de
Fabio GadducciProfessore di Informatica, Università di PisaEmail yang diverifikasi di unipi.it
Filippo BonchiCNRS ENS-LyonEmail yang diverifikasi di ens-lyon.fr
Roberto BruniUniversity of PisaEmail yang diverifikasi di di.unipi.it
Marta SimeoniUniversità Ca' Foscari VeneziaEmail yang diverifikasi di unive.it
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterEmail yang diverifikasi di mcs.le.ac.uk
Tobias HeindelTU BerlinEmail yang diverifikasi di tu-berlin.de
Luciano García-BañuelosTecnologico de Monterrey, MexicoEmail yang diverifikasi di tec.mx
Abel Armas-CervantesSchool of Computing and Information Systems, The University of MelbourneEmail yang diverifikasi di unimelb.edu.au
Pawel SobocinskiTallinn University of TechnologyEmail yang diverifikasi di cs.ioc.ee
Leila RibeiroProfessor of Computer Science, Universidade Federal do Rio Grande do Sul, BrazilEmail yang diverifikasi di inf.ufrgs.br
Henning Kerstan-Email yang diverifikasi di henningkerstan.de
Andrea BraccialiAssociate Professor, Computer Science, University of Turin, ITEmail yang diverifikasi di unito.it
Marlon DumasProfessor at University of Tartu | Chief Product Officer at ApromoreEmail yang diverifikasi di ut.ee
Alessandra RAFFAETA'Ca' Foscari University of VeniceEmail yang diverifikasi di unive.it
Stefan HaarINRIA and Université Paris-SaclayEmail yang diverifikasi di inria.fr
Alberto CarraroUniversità di PadovaEmail yang diverifikasi di studenti.unipd.it
Andrea MarinUniversità Ca' Foscari VeneziaEmail yang diverifikasi di dais.unive.it
Alberto Lluch LafuenteTechnical University of DenmarkEmail yang diverifikasi di dtu.dk

Ikuti

Paolo Baldan

Professor of Computer Science, University of Padova

Email yang diverifikasi di math.unipd.it - Beranda

formal methods concurrency theory


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Contextual Petri nets, asymmetric event structures, and processes P Baldan, A Corradini, U Montanari Information and Computation 171 (1), 1-49, 2001	161	2001
Petri nets for modelling metabolic pathways: a survey P Baldan, N Cocco, A Marin, M Simeoni Natural Computing 9, 955-989, 2010	151	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	98	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	92	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	85	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	81	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	63	2012
Coalgebraic behavioral metrics P Baldan, F Bonchi, H Kerstan, B König Logical Methods in Computer Science 14, 2018	62	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	59	2001
Unfolding and event structure semantics for graph grammars P Baldan, A Corradini, U Montanari Foundations of Software Science and Computation Structures: Second …, 1999	57	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	54	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	53	2003
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	46	2014
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	46	2002

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama