PADOAN, TOMMASO

PADOAN, TOMMASO  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 14 di 14 (tempo di esecuzione: 0.027 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 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
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)
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
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 - -
Fixpoint games on continuous lattices 2019 Baldan, PaoloPadoan, Tommaso + PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES - -
Fixpoint Theory Upside-Down 2023 Baldan, PPadoan, T + LOGICAL METHODS IN COMPUTER SCIENCE - -
Fixpoint theory – upside down 2021 Baldan P.Padoan T. + - LECTURE NOTES IN COMPUTER SCIENCE Foundations of Software Science and Computation Structures (FoSSaCS) 2021
Local model checking in a logic for true concurrency 2017 BALDAN, PAOLOPADOAN, TOMMASO LECTURE NOTES IN COMPUTER SCIENCE - FOSSACS 2017
Model Checking a Logic for True Concurrency 2020 Baldan, PaoloPadoan, Tommaso ACM TRANSACTIONS ON COMPUTATIONAL LOGIC - -
Relating some logics for true concurrency 2018 Padoan, Tommaso - - Proceedings of the 19th Italian Conference on Theoretical Computer Science
Tableaux, automata and games for true concurrency properties 2019 Padoan, Tommaso - - -