Paolo Baldan - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

Concurrency Can t Be Observed, AsynchronouslyPaolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale. aplas 2010: 424-438 [doi]

A Logic for True ConcurrencyPaolo Baldan, Silvia Crafa. concur 2010: 147-161 [doi]

Petri nets for modelling metabolic pathways: a surveyPaolo Baldan, Nicoletta Cocco, Andrea Marin, Marta Simeoni. nc, 9(4):955-989, 2010. [doi]

On the Computation of McMillan s Prefix for Contextual Nets and Graph GrammarsPaolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon. gg 2010: 91-106 [doi]

From Petri Nets to Graph Transformation SystemsPaolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari. eceasst, 26, 2010. [doi]

Unfolding-based diagnosis of systems with an evolving topologyPaolo Baldan, Thomas Chatain, Stefan Haar, Barbara König. iandc, 208(10):1169-1192, 2010. [doi]

2009

Encoding Asynchronous Interactions Using Open Petri NetsPaolo Baldan, Filippo Bonchi, Fabio Gadducci. concur 2009: 99-114 [doi]

Unfolding Grammars in Adhesive CategoriesPaolo Baldan, Andrea Corradini, Tobias Heindel, Barbara KÃ¶nig, Pawel Sobocinski. calco 2009: 350-366 [doi]

2008

Petri Nets Are DioidsPaolo Baldan, Fabio Gadducci. amast 2008: 51-66 [doi]

PrefacePaolo Baldan, Barbara KÃ¶nig. eceasst, 14, 2008. [doi]

McMillan s Complete Prefix for Contextual NetsPaolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon. topnoc, 1:199-220, 2008. [doi]

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri NetsPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara KÃ¶nig. lmcs, 4(4), 2008. [doi]

Open Petri Nets: Non-deterministic Processes and CompositionalityPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König. gg 2008: 257-273 [doi]

Workshop on Petri Nets and Graph TransformationsPaolo Baldan, Barbara König. gg 2008: 467-469 [doi]

Unfolding Graph Transformation Systems: Theory and Applications to VerificationPaolo Baldan, Andrea Corradini, Barbara König. birthday 2008: 16-36 [doi]

A framework for the verification of infinite-state graph transformation systemsPaolo Baldan, Andrea Corradini, Barbara König. iandc, 206(7):869-907, 2008. [doi]

Towards a Sharing Strategy for the Graph Rewriting CalculusPaolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. ENTCS, 204:111-127, 2008. [doi]

Towards a Notion of Transaction in Graph RewritingPaolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro. ENTCS, 211:39-50, 2008. [doi]

Unfolding-Based Diagnosis of Systems with an Evolving TopologyPaolo Baldan, Thomas Chatain, Stefan Haar, Barbara König. concur 2008: 203-217 [doi]

Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed ContextsGuilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan. gg 2008: 242-256 [doi]

2007

Deducing Interactions in Partially Unspecified Biological SystemsPaolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni. ab 2007: 262-276 [doi]

A semantic framework for open processesPaolo Baldan, Andrea Bracciali, Roberto Bruni. TCS, 389(3):446-483, 2007. [doi]

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri NetsPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König. calco 2007: 126-142 [doi]

Unfolding semantics of graph transformationPaolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro. iandc, 205(5):733-782, 2007. [doi]

Modelling Calculi with Name Mobility using Graphs with EquivalencesPaolo Baldan, Fabio Gadducci, Ugo Montanari. ENTCS, 176(1):85-97, 2007. [doi]

A rewriting calculus for cyclic higher-order term graphsPaolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. mscs, 17(3):363-406, 2007. [doi]

2006

Distributed Unfolding of Petri NetsPaolo Baldan, Stefan Haar, Barbara König. fossacs 2006: 126-141 [doi]

ForewordPaolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg. eceasst, 2, 2006. [doi]

Composition and Decomposition of DPO Transformations with Borrowed ContextPaolo Baldan, Hartmut Ehrig, Barbara König. gg 2006: 153-167 [doi]

Workshop on Petri Nets and Graph TransformationsPaolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg. gg 2006: 467-469 [doi]

Processes for Adhesive Rewriting SystemsPaolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski. fossacs 2006: 202-216 [doi]

Graph Transactions as ProcessesPaolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci. gg 2006: 199-214 [doi]

A Temporal Graph Logic for Verification of Graph Transformation SystemsPaolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente. WADT 2006: 1-20 [doi]

Concurrent Rewriting for Graphs with EquivalencesPaolo Baldan, Fabio Gadducci, Ugo Montanari. concur 2006: 279-294 [doi]

2005

2004

Domain and event structure semantics for Petri nets with read and inhibitor arcsPaolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna. TCS, 323(1-3):129-189, 2004. [doi]

Symbolic Equivalences for Open SystemsPaolo Baldan, Andrea Bracciali, Roberto Bruni. gc 2005: 1-17 [doi]

Generating Test Cases for Code Generators by Unfolding Graph Transformation SystemsPaolo Baldan, Barbara König, Ingo Stürmer. gg 2004: 194-209 [doi]

Summary 2: Graph Grammar Verification through AbstractionPaolo Baldan, Barbara König, Arend Rensink. dagstuhl 2005: [doi]

Specifying and Verifying UML Activity Diagrams Via Graph TransformationPaolo Baldan, Andrea Corradini, Fabio Gadducci. gc 2005: 18-33 [doi]

Verifying a Behavioural Logic for Graph Transformation SystemsPaolo Baldan, Andrea Corradini, Barbara König, Bernhard König. ENTCS, 104:5-24, 2004. [doi]

Verifying Finite-State Graph Grammars: An Unfolding-Based ApproachPaolo Baldan, Andrea Corradini, Barbara König. concur 2004: 83-98 [doi]

2003

A category of compositional domain-models for separable Stone spacesFabio Alessi, Paolo Baldan, Furio Honsell. TCS, 290(1):599-635, 2003.

A Logic for Analyzing Abstractions of Graph Transformation SystemsPaolo Baldan, Barbara König, Bernhard König. SAS 2003: 255-272 [doi]

2002

MuTACLP: A Language for Temporal Reasoning with Multiple TheoriesPaolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini. BIRTHDAY 2002: 1-40 [doi]

Bisimulation by UnificationPaolo Baldan, Andrea Bracciali, Roberto Bruni. amast 2002: 254-270 [doi]

Pre-nets, Read Arcs and Unfolding: A Functorial PresentationPaolo Baldan, Roberto Bruni, Ugo Montanari. WADT 2003: 145-164 [doi]

Approximating the Behaviour of Graph Transformation SystemsPaolo Baldan, Barbara König. gg 2002: 14-29 [doi]

Bisimulation Equivalences for Graph GrammarsPaolo Baldan, Andrea Corradini, Ugo Montanari. BIRTHDAY 2002: 158-190 [doi]

Coreflective Concurrent Semantics for Single-Pushout Graph GrammarsPaolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro. WADT 2003: 165-184 [doi]

High-Level Net ProcessesHartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel. BIRTHDAY 2002: 191-219 [doi]

2001

2000

Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor ArcsPaolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna. concur 2000: 442-457 [doi]

1999

Basic Theory of F-Bounded QuantificationPaolo Baldan, Giorgio Ghelli, Alessandra Raffaetà. iandc, 153(1):173-237, 1999.

History Preserving Bisimulation for Contextual NetsPaolo Baldan, Andrea Corradini, Ugo Montanari. WADT 2000: 291-310

Unfolding and Event Structure Semantics for Graph GrammarsPaolo Baldan, Andrea Corradini, Ugo Montanari. fossacs 1999: 73-89

1998

1997

Partializing Stone Spaces using SFP Domains (Extended Abstract)Fabio Alessi, Paolo Baldan, Furio Honsell. tapsoft 1997: 478-489

1995

A Fixed-Point Theorem in a Category of Compact Metric SpacesFabio Alessi, Paolo Baldan, Gianna Bellè. TCS, 146(1&2):311-320, 1995. [doi]

Solutions of functorial and non-functorial metric domain equationsFabio Alessi, Paolo Baldan, Gianna Bellè, Jan J. M. M. Rutten. ENTCS, 1, 1995. [doi]