BALDAN, PAOLO

BALDAN, PAOLO  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 125 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
(Un)Decidability for History Preserving True Concurrent Logics 2021 Paolo BaldanAlberto CarraroTommaso Padoan - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS MFCS 2021
A category of compositional domain-models for separable Stone spaces 2003 BALDAN, PAOLO + THEORETICAL COMPUTER SCIENCE - -
A causal view on non-interference 2015 BALDAN, PAOLO + FUNDAMENTA INFORMATICAE - -
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space 1998 BALDAN, PAOLO + THEORETICAL COMPUTER SCIENCE - -
A Fixed Point Theorem in a Category of Compact Metric Spaces 1995 BALDAN, PAOLO + THEORETICAL COMPUTER SCIENCE - -
A framework for the verification of infinite-state graph transformation systems 2008 BALDAN, PAOLO + INFORMATION AND COMPUTATION - -
A lattice-theoretical perspective on adhesive categories 2011 BALDAN, PAOLO + JOURNAL OF SYMBOLIC COMPUTATION - -
A Lattice-Theoretical View of Strategy Iteration 2023 Baldan P.Padoan T. + - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS Leibniz International Proceedings in Informatics, LIPIcs
A Logic for Analyzing Abstractions of Graph Transformation Systems 2003 BALDAN, PAOLO + LECTURE NOTES IN COMPUTER SCIENCE - SAS 2003
A Logic for True Concurrency 2010 BALDAN, PAOLOCRAFA, SILVIA LECTURE NOTES IN COMPUTER SCIENCE - CONCUR 2010
A Logic for True Concurrency 2014 BALDAN, PAOLOCRAFA, SILVIA JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY - -
A Monoidal View on Fixpoint Checks 2023 Baldan, PaoloPadoan, Tommaso + - LECTURE NOTES IN COMPUTER SCIENCE ICGT 2023: Graph Transformation
A rewriting calculus for cyclic higher-order term graphs 2005 BALDAN, PAOLO + ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - -
A rewriting calculus for cyclic higher-order term graphs 2007 BALDAN, PAOLO + MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - -
A Rice’s Theorem for Abstract Semantics 2021 Paolo BaldanFrancesco Ranzato + - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)
A semantic framework for open processes 2007 BALDAN, PAOLO + THEORETICAL COMPUTER SCIENCE - -
A Static Analysis Technique for Graph Transformation Systems 2001 BALDAN, PAOLO + LECTURE NOTES IN COMPUTER SCIENCE - CONCUR 2001
A Temporal Graph Logic for Verification of Graph Transformation Systems 2006 BALDAN, PAOLO + LECTURE NOTES IN COMPUTER SCIENCE - WADT 2006
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations 2020 Paolo BaldanTommaso Padoan + - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 31st International Conference on Concurrency Theory (CONCUR 2020)
Adhesivity Is Not Enough: Local Church-Rosser Revisited 2011 BALDAN, PAOLO + LECTURE NOTES IN COMPUTER SCIENCE - MFCS'11