BALDAN, Paolo

BALDAN, Paolo  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 20 di 46 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A category of compositional domain-models for separable Stone spaces 1-gen-2003 BALDAN, Paolo + 2.1 Articolo su rivista -
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space 1-gen-1998 BALDAN, Paolo + 2.1 Articolo su rivista -
A Fixed Point Theorem in a Category of Compact Metric Spaces 1-gen-1995 BALDAN, Paolo + 2.1 Articolo su rivista -
A Logic for Analyzing Abstractions of Graph Transformation Systems 1-gen-2003 BALDAN, Paolo + 2.1 Articolo su rivista -
A rewriting calculus for cyclic higher-order term graphs 1-gen-2005 BALDAN, Paolo + 2.1 Articolo su rivista -
A Static Analysis Technique for Graph Transformation Systems 1-gen-2001 BALDAN, Paolo + 2.1 Articolo su rivista -
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 1-gen-1998 BALDAN, Paolo + 2.1 Articolo su rivista -
Approximating the Behaviour of Graph Transformation Systems 1-gen-2002 BALDAN, Paolo + 3.1 Articolo su libro -
Bisimulation by Unification 1-gen-2002 BALDAN, Paolo + 2.1 Articolo su rivista -
Bisimulation Equivalences for Graph Grammars 1-gen-2002 BALDAN, Paolo + 3.1 Articolo su libro -
Comparison of Metabolic Pathways by Considering Potential Fluxes 1-gen-2012 BALDAN, PaoloCOCCO, NicolettaSIMEONI, Marta 4.1 Articolo in Atti di convegno -
Composition and Decomposition of DPO Transformations with Borrowed Context 1-gen-2006 BALDAN, Paolo + 2.1 Articolo su rivista -
Compositional Modeling of Reactive Systems Using Open Nets 1-gen-2001 BALDAN, Paolo + 3.1 Articolo su libro -
Compositional Semantics for Open Petri Nets based on Deterministic Processes 1-gen-2005 BALDAN, Paolo + 2.1 Articolo su rivista -
Concatenable Graph Processes: Relating Processes and Derivation Traces 1-gen-1998 BALDAN, Paolo + 2.1 Articolo su rivista -
Concurrency for graph grammars (in a Petri net shell) 1-gen-2001 BALDAN, Paolo 2.1 Articolo su rivista -
Concurrent Rewriting for Graphs with Equivalences 1-gen-2006 BALDAN, Paolo + 2.1 Articolo su rivista -
Concurrent semantics of algebraic graph transformations 1-gen-1999 BALDAN, Paolo + 3.1 Articolo su libro -
Contextual Petri nets, asymmetric event structures and processes 1-gen-2001 BALDAN, Paolo + 2.1 Articolo su rivista -
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 1-gen-2002 BALDAN, Paolo + 3.1 Articolo su libro -