PADOAN, TOMMASO
PADOAN, TOMMASO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
(Un)Decidability for History Preserving True Concurrent Logics
2021 Baldan, Paolo; Carraro, Alberto; Padoan, Tommaso
A Lattice-Theoretical View of Strategy Iteration
2023 Baldan, P.; Eggert, R.; Konig, B.; Padoan, T.
A Monoidal View on Fixpoint Checks
2023 Baldan, Paolo; Eggert, Richard; König, Barbara; Matt, Timo; Padoan, Tommaso
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations
2020 Baldan, Paolo; König, Barbara; Padoan, Tommaso
Automata for true concurrency properties
2018 Baldan, Paolo; Padoan, Tommaso
Behavioural logics for configuration structures
2022 Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
Characterising Spectra of Equivalences for Event Structures, Logically
2022 Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
Fixpoint games on continuous lattices
2019 Baldan, Paolo; König, Barbara; Mika-Michalski, Christina; Padoan, Tommaso
Fixpoint Theory Upside-Down
2023 Baldan, P; Eggert, R; König, B; Padoan, T
Fixpoint theory – upside down
2021 Baldan, P.; Eggert, R.; Konig, B.; Padoan, T.
Local model checking in a logic for true concurrency
2017 Baldan, Paolo; Padoan, Tommaso
Model Checking a Logic for True Concurrency
2020 Baldan, Paolo; Padoan, Tommaso
Relating some logics for true concurrency
2018 Padoan, Tommaso
Tableaux, automata and games for true concurrency properties
2019 Padoan, Tommaso