BALDAN, PAOLO
BALDAN, PAOLO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Asynchronous traces and open petri nets
2015 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V.
Bisimulation Equivalences for Graph Grammars
2002 Baldan, Paolo; A., Corradini; U., Montanari
Comparing Metabolic Pathways through Reactions and Potential Fluxes
2013 Baldan, Paolo; Nicoletta, Cocco; Federica, Giummolè; Marta, Simeoni
Concurrent semantics of algebraic graph transformations
1999 Baldan, Paolo; A., Corradini; H., Ehrig; M., Loewe; U., Montanari; Rossi, Francesca
From Petri Nets to Graph Transformation Systems
2010 Baldan, Paolo; A., Corradini; F., Gadducci; U., Montanari
High-Level Net Processes
2002 H., Ehrig; K., Hoffmann; J., Padberg; Baldan, Paolo; R., Heckel
MuTACLP: A language for temporal reasoning with multiple theories
2002 Baldan, Paolo; P., Mancarella; A., Raffaeta'; F., Turini
On the Concurrent Semantics of Algebraic Graph Grammars
2005 Baldan, Paolo; A., Corradini
Sharing in the Graph Rewriting Calculus
2012 Baldan, Paolo; Clara, Bertolissi
Unfolding Graph Transformation Systems: Theory and Applications to Verification
2008 Baldan, Paolo; Corradini, A; Koenig, B.
| Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
|---|---|---|---|---|---|
| Asynchronous traces and open petri nets | 2015 | BALDAN, PAOLO + | - | - | Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday |
| Bisimulation Equivalences for Graph Grammars | 2002 | BALDAN, PAOLO + | - | LECTURE NOTES IN COMPUTER SCIENCE | Formal and Natural Computing |
| Comparing Metabolic Pathways through Reactions and Potential Fluxes | 2013 | BALDAN, PAOLO + | - | LECTURE NOTES IN COMPUTER SCIENCE | Transactions on Petri Nets and Other Models of Concurrency |
| Concurrent semantics of algebraic graph transformations | 1999 | BALDAN, PAOLOROSSI, FRANCESCA + | - | - | Handbook of Graph Grammars and Computing by Graph Transformation, Vol. III: Concurrency, Parallellism, and Distribution. |
| From Petri Nets to Graph Transformation Systems | 2010 | BALDAN, PAOLO + | - | ELECTRONIC COMMUNICATIONS OF THE EASST | Manipulation of Graphs, Algebras and Pictures Essays Dedicated to Hans-Joerg Kreowski on the Occasion of His 60th Birthday |
| High-Level Net Processes | 2002 | BALDAN, PAOLO + | - | LECTURE NOTES IN COMPUTER SCIENCE | Formal and Natural Computing |
| MuTACLP: A language for temporal reasoning with multiple theories | 2002 | BALDAN, PAOLO + | - | LECTURE NOTES IN COMPUTER SCIENCE | Computational Logic: Logic Programming and Beyond |
| On the Concurrent Semantics of Algebraic Graph Grammars | 2005 | BALDAN, PAOLO + | - | LECTURE NOTES IN COMPUTER SCIENCE | Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday |
| Sharing in the Graph Rewriting Calculus | 2012 | BALDAN, PAOLO + | - | LECTURE NOTES IN COMPUTER SCIENCE | Recent Trends in Algebraic Development Techniques |
| Unfolding Graph Transformation Systems: Theory and Applications to Verification | 2008 | BALDAN, PAOLO + | - | LECTURE NOTES IN COMPUTER SCIENCE | Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday |