Tommaso Padoan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2017–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Approximating Fixpoints of Approximated Functions. | Paolo Baldan, Sebastian Gurke, Barbara Knig, Tommaso Padoan, Florian Wittbold |
| 2023 | CSL | A Lattice-Theoretical View of Strategy Iteration. | Paolo Baldan, Richard Eggert, Barbara Knig, Tommaso Padoan |
| 2021 | FOSSACS | Fixpoint Theory - Upside Down. | Paolo Baldan, Richard Eggert, Barbara Knig, Tommaso Padoan |
| 2021 | MFCS | (Un)Decidability for History Preserving True Concurrent Logics. | Paolo Baldan, Alberto Carraro, Tommaso Padoan |
| 2020 | CONCUR | Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations. | Paolo Baldan, Barbara Knig, Tommaso Padoan |
| 2018 | FOSSACS | Automata for True Concurrency Properties. | Paolo Baldan, Tommaso Padoan |
| 2017 | FOSSACS | Local Model Checking in a Logic for True Concurrency. | Paolo Baldan, Tommaso Padoan |