Sfoglia per Autore PADOAN, TOMMASO
Local model checking in a logic for true concurrency
2017-01-01 Baldan, Paolo; Padoan, Tommaso
Automata for true concurrency properties
2018-01-01 Baldan, Paolo; Padoan, Tommaso
Relating some logics for true concurrency
2018-01-01 Padoan, Tommaso
Fixpoint games on continuous lattices
2019-01-01 Baldan, Paolo; König, Barbara; Mika-Michalski, Christina; Padoan, Tommaso
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations
2020-01-01 Baldan, Paolo; König, Barbara; Padoan, Tommaso
Model Checking a Logic for True Concurrency
2020-01-01 Baldan, Paolo; Padoan, Tommaso
(Un)Decidability for History Preserving True Concurrent Logics
2021-01-01 Baldan, Paolo; Carraro, Alberto; Padoan, Tommaso
Fixpoint theory – upside down
2021-01-01 Baldan, P.; Eggert, R.; Konig, B.; Padoan, T.
Behavioural logics for configuration structures
2022-01-01 Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
Characterising Spectra of Equivalences for Event Structures, Logically
2022-01-01 Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
A Lattice-Theoretical View of Strategy Iteration
2023-01-01 Baldan, Paolo; Eggert, Richard; König, Barbara; Padoan, Tommaso
A Monoidal View on Fixpoint Checks
2023-01-01 Baldan, P.; Eggert, R.; Konig, B.; Matt, T.; Padoan, T.
FIXPOINT THEORY -- UPSIDE DOWN
2023-01-01 Baldan, P; Eggert, R; Konig, B; Padoan, T
Simulating the Economic Impact of Rationality through Reinforcement Learning and Agent-Based Modelling
2024-01-01 Brusatin, Simone; Padoan, Tommaso; Coletta, Andrea; Delli Gatti, Domenico; Glielmo, Aldo
Systems of Fixpoint Equations: Abstraction, Games, Up-To Techniques and Local Algorithms
2024-01-01 Baldan, Paolo; König, Barbara; Padoan, Tommaso
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile