BALDAN, Paolo
BALDAN, Paolo
Dipartimento di Scienze Ambientali, Informatica e Statistica
A category of compositional domain-models for separable Stone spaces
2003-01-01 F., Alessi; Baldan, Paolo; F., Honsell
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space
1998-01-01 F., Alessi; Baldan, Paolo
A Fixed Point Theorem in a Category of Compact Metric Spaces
1995-01-01 F., Alessi; Baldan, Paolo; G., Belle
A Logic for Analyzing Abstractions of Graph Transformation Systems
2003-01-01 Baldan, Paolo; B., Koenig; B., Koenig
A rewriting calculus for cyclic higher-order term graphs
2005-01-01 C., Bertolissi; Baldan, Paolo; H., Cirstea; C., Kirchner
A Static Analysis Technique for Graph Transformation Systems
2001-01-01 Baldan, Paolo; A., Corradini; B., Koenig
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures
1998-01-01 Baldan, Paolo; A., Corradini; U., Montanari
Approximating the Behaviour of Graph Transformation Systems
2002-01-01 Baldan, Paolo; B., Koenig
Bisimulation by Unification
2002-01-01 Baldan, Paolo; R., Bruni; A., Bracciali
Bisimulation Equivalences for Graph Grammars
2002-01-01 Baldan, Paolo; A., Corradini; U., Montanari
Comparison of Metabolic Pathways by Considering Potential Fluxes
2012-01-01 Baldan, Paolo; Cocco, Nicoletta; Simeoni, Marta
Composition and Decomposition of DPO Transformations with Borrowed Context
2006-01-01 Baldan, Paolo; B., Koenig; H., Ehrig
Compositional Modeling of Reactive Systems Using Open Nets
2001-01-01 Baldan, Paolo; A., Corradini; H., Ehrig; R., Heckel
Compositional Semantics for Open Petri Nets based on Deterministic Processes
2005-01-01 Baldan, Paolo; A., Corradini; H., Ehrig; R., Heckel
Concatenable Graph Processes: Relating Processes and Derivation Traces
1998-01-01 Baldan, Paolo; A., Corradini; U., Montanari
Concurrency for graph grammars (in a Petri net shell)
2001-01-01 Baldan, Paolo
Concurrent Rewriting for Graphs with Equivalences
2006-01-01 Baldan, Paolo; F., Gadducci; U., Montanari
Concurrent semantics of algebraic graph transformations
1999-01-01 Baldan, Paolo; A., Corradini; H., Ehrig; M., Loewe; U., Montanari; F., Rossi
Contextual Petri nets, asymmetric event structures and processes
2001-01-01 Baldan, Paolo; A., Corradini; U., Montanari
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars
2002-01-01 Baldan, Paolo; A., Corradini; U., Montanari; L., Ribeiro