PADOAN, TOMMASO

PADOAN, TOMMASO  

Dipartimento di Matematica, Informatica e Geoscienze  

Ricercatori a tempo determinato  

Mostra records
Risultati 1 - 15 di 15 (tempo di esecuzione: 0.033 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
Simulating the Economic Impact of Rationality through Reinforcement Learning and Agent-Based Modelling 1-gen-2024 Tommaso Padoan +
Systems of Fixpoint Equations: Abstraction, Games, Up-To Techniques and Local Algorithms 1-gen-2024 Padoan, Tommaso +