BALDAN, PAOLO
BALDAN, PAOLO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
(Un)Decidability for History Preserving True Concurrent Logics
2021 Baldan, Paolo; Carraro, Alberto; Padoan, Tommaso
A category of compositional domain-models for separable Stone spaces
2003 F., Alessi; Baldan, Paolo; F., Honsell
A causal view on non-interference
2015 Baldan, Paolo; Carraro, Alberto
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space
1998 F., Alessi; Baldan, Paolo
A Fixed Point Theorem in a Category of Compact Metric Spaces
1995 F., Alessi; Baldan, Paolo; G., Belle
A framework for the verification of infinite-state graph transformation systems
2008 Baldan, Paolo; Corradini, A; Koenig, B.
A lattice-theoretical perspective on adhesive categories
2011 Baldan, Paolo; Bonchi, F; Corradini, A; Heindel, T; Konig, B.
A Lattice-Theoretical View of Strategy Iteration
2023 Baldan, P.; Eggert, R.; Konig, B.; Padoan, T.
A Logic for Analyzing Abstractions of Graph Transformation Systems
2003 Baldan, Paolo; B., Koenig; B., Koenig
A Logic for True Concurrency
2014 Baldan, Paolo; Crafa, Silvia
A Logic for True Concurrency
2010 Baldan, Paolo; Crafa, Silvia
A Monoidal View on Fixpoint Checks
2023 Baldan, Paolo; Eggert, Richard; König, Barbara; Matt, Timo; Padoan, Tommaso
A rewriting calculus for cyclic higher-order term graphs
2005 C., Bertolissi; Baldan, Paolo; H., Cirstea; C., Kirchner
A rewriting calculus for cyclic higher-order term graphs
2007 Baldan, Paolo; Bertolissi, C; Cirstea, H; Kirchner, C.
A Rice’s Theorem for Abstract Semantics
2021 Baldan, Paolo; Ranzato, Francesco; Zhang, Linpeng
A semantic framework for open processes
2007 Baldan, Paolo; Bracciali, A; Bruni, R.
A Static Analysis Technique for Graph Transformation Systems
2001 Baldan, Paolo; A., Corradini; B., Koenig
A Temporal Graph Logic for Verification of Graph Transformation Systems
2006 Baldan, Paolo; Corradini, A; LLUCH LAFUENTE, A; Koenig, B.
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations
2020 Baldan, Paolo; König, Barbara; Padoan, Tommaso
Adhesivity Is Not Enough: Local Church-Rosser Revisited
2011 Baldan, Paolo; Gadducci, F; Sobocinski, P.