BALDAN, PAOLO

BALDAN, PAOLO  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 127 (tempo di esecuzione: 0.022 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Left-Linear Rewriting in Adhesive Categories 2024 Paolo BaldanDavide Castelnovo + - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS CONCUR 2024
Systems of fixpoint equations: Abstraction, games, up-to techniques and local algorithms 2024 Baldan, PPadoan, T + INFORMATION AND 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 Monoidal View on Fixpoint Checks 2023 Baldan, PaoloPadoan, Tommaso + - LECTURE NOTES IN COMPUTER SCIENCE ICGT 2023: Graph Transformation
Fixpoint Theory Upside-Down 2023 Baldan, PPadoan, T + LOGICAL METHODS IN COMPUTER SCIENCE - -
Behavioural logics for configuration structures 2022 Paolo BaldanTommaso Padoan + THEORETICAL COMPUTER SCIENCE - -
Characterising Spectra of Equivalences for Event Structures, Logically 2022 Paolo BaldanTommaso Padoan + INFORMATION AND COMPUTATION - -
Intensional Kleene and Rice theorems for abstract program semantics 2022 Baldan, PaoloRanzato, Francesco + INFORMATION AND COMPUTATION - -
(Un)Decidability for History Preserving True Concurrent Logics 2021 Paolo BaldanAlberto CarraroTommaso Padoan - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS MFCS 2021
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)
Concurrent semantics for fusions: Weak prime domains and connected event structures 2021 Baldan P. + INFORMATION AND COMPUTATION - -
Fixpoint theory – upside down 2021 Baldan P.Padoan T. + - LECTURE NOTES IN COMPUTER SCIENCE Foundations of Software Science and Computation Structures (FoSSaCS) 2021
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)
Model Checking a Logic for True Concurrency 2020 Baldan, PaoloPadoan, Tommaso ACM TRANSACTIONS ON COMPUTATIONAL LOGIC - -
Fixpoint games on continuous lattices 2019 Baldan, PaoloPadoan, Tommaso + PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES - -
Minimisation of event structures 2019 Baldan P. + - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS Leibniz International Proceedings in Informatics, LIPIcs
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory 2019 Baldan, Paolo + ACTA INFORMATICA - -
Automata for true concurrency properties 2018 Baldan, PaoloPadoan, Tommaso - LECTURE NOTES IN COMPUTER SCIENCE 21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018
Coalgebraic Behavioral Metrics 2018 Paolo Baldan + LOGICAL METHODS IN COMPUTER SCIENCE - -
Event structures for Petri nets with persistence 2018 Baldan, Paolo + LOGICAL METHODS IN COMPUTER SCIENCE - -