Tommaso Padoan

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 19

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Simone Brusatin, Tommaso Padoan, Andrea Coletta, Domenico Delli Gatti, Aldo Glielmo
Simulating the economic impact of rationality through reinforcement learning and agent-based modelling. CoRR (2024)
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
Fixpoint Theory - Upside Down. Log. Methods Comput. Sci. 19 (2) (2023)
Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan
A Monoidal View on Fixpoint Checks. CoRR (2023)
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
A Lattice-Theoretical View of Strategy Iteration. CSL (2023)
Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan
A Monoidal View on Fixpoint Checks. ICGT (2023)
Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo
Characterising spectra of equivalences for event structures, logically. Inf. Comput. 285 (Part) (2022)
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
A Lattice-Theoretical View of Strategy Iteration. CoRR (2022)
Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo
Behavioural logics for configuration structures. Theor. Comput. Sci. 913 (2022)
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
Fixpoint Theory - Upside Down. FoSSaCS (2021)
Paolo Baldan, Alberto Carraro, Tommaso Padoan
(Un)Decidability for History Preserving True Concurrent Logics. MFCS (2021)
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
Fixpoint Theory - Upside Down. CoRR (2021)
Paolo Baldan, Barbara König, Tommaso Padoan
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations. CONCUR (2020)
Paolo Baldan, Barbara König, Tommaso Padoan
Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations. CoRR (2020)
Paolo Baldan, Tommaso Padoan
Model Checking a Logic for True Concurrency. ACM Trans. Comput. Log. 21 (4) (2020)
Paolo Baldan, Barbara König, Christina Mika-Michalski, Tommaso Padoan
Fixpoint games on continuous lattices. Proc. ACM Program. Lang. 3 (POPL) (2019)
Paolo Baldan, Tommaso Padoan
Automata for True Concurrency Properties. FoSSaCS (2018)
Tommaso Padoan
Relating some Logics for True Concurrency. ICTCS (2018)
Paolo Baldan, Barbara König, Tommaso Padoan, Christina Mika-Michalski
Fixpoint Games on Continuous Lattices. CoRR (2018)
Paolo Baldan, Tommaso Padoan
Local Model Checking in a Logic for True Concurrency. FoSSaCS (2017)