PADOAN, TOMMASO

PADOAN, TOMMASO  

Dipartimento di Matematica, Informatica e Geoscienze  

Settore INF/01 - Informatica  

Ricercatori a tempo determinato  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.013 secondi).
Titolo Data di pubblicazione Autori File
(Un)Decidability for History Preserving True Concurrent Logics 1-gen-2021 Tommaso Padoan +
A Lattice-Theoretical View of Strategy Iteration 1-gen-2023 Tommaso Padoan +
A Monoidal View on Fixpoint Checks 1-gen-2023 Padoan T. +
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations 1-gen-2020 Tommaso Padoan +
Automata for true concurrency properties 1-gen-2018 Padoan, Tommaso +
Behavioural logics for configuration structures 1-gen-2022 Tommaso Padoan +
Characterising Spectra of Equivalences for Event Structures, Logically 1-gen-2022 Tommaso Padoan +
Fixpoint games on continuous lattices 1-gen-2019 Padoan, Tommaso +
FIXPOINT THEORY -- UPSIDE DOWN 1-gen-2023 Padoan, T +
Fixpoint theory – upside down 1-gen-2021 Padoan T. +
Local model checking in a logic for true concurrency 1-gen-2017 PADOAN, TOMMASO +
Model Checking a Logic for True Concurrency 1-gen-2020 Padoan, Tommaso +
Relating some logics for true concurrency 1-gen-2018 Padoan, Tommaso