Paolo Baldan
Paolo Baldan
Associate Professor of Computer Science, University of Padova
Bestätigte E-Mail-Adresse bei math.unipd.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Contextual Petri nets, asymmetric event structures, and processes
P Baldan, A Corradini, U Montanari
Information and Computation 171 (1), 1-49, 2001
1412001
A static analysis technique for graph transformation systems
P Baldan, A Corradini, B König
International Conference on Concurrency Theory, 381-395, 2001
1152001
Petri nets for modelling metabolic pathways: a survey
P Baldan, N Cocco, A Marin, M Simeoni
Natural Computing 9 (4), 955-989, 2010
1082010
Modelling concurrent computations: from contextual Petri nets to graph grammars
P Baldan
PhD thesis, Department of Computer Science, University of Pisa, 2000 …, 2000
862000
Approximating the behaviour of graph transformation systems
P Baldan, B König
International Conference on Graph Transformation, 14-29, 2002
812002
Verifying finite-state graph grammars: an unfolding-based approach
P Baldan, A Corradini, B König
International Conference on Concurrency Theory, 83-98, 2004
792004
Compositional semantics of open petri nets based on deterministic processes
P Baldan, A Corradini, H Ehrig, R Heckel
Università di Pisa, 2001
772001
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
682008
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
681999
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
622004
Unfolding and event structure semantics for graph grammars
P Baldan, A Corradini, U Montanari
International Conference on Foundations of Software Science and Computation …, 1999
551999
Compositional modeling of reactive systems using open nets
P Baldan, A Corradini, H Ehrig, R Heckel
International Conference on Concurrency Theory, 502-518, 2001
512001
A logic for analyzing abstractions of graph transformation systems
P Baldan, B König, B König
International Static Analysis Symposium, 255-272, 2003
482003
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
472008
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
432012
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
412014
High-level net processes
H Ehrig, K Hoffmann, J Padberg, P Baldan, R Heckel
Formal and Natural Computing, 191-219, 2002
392002
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
382004
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
382002
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
372008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20