Tommaso Padoan

According to our database, Tommaso Padoan authored at least 16 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Computing Approximated Fixpoints via Dampened Mann Iteration.

Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold

CoRR, January, 2025

A Monoidal View on Fixpoint Checks.

Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan

Log. Methods Comput. Sci., 2025

Approximating Fixpoints of Approximated Functions.

Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Systems of fixpoint equations: Abstraction, games, up-to techniques and local algorithms.

Paolo Baldan, Barbara König, Tommaso Padoan

Inf. Comput., 2024

Simulating the Economic Impact of Rationality through Reinforcement Learning and Agent-Based Modelling.

Simone Brusatin, Tommaso Padoan, Andrea Coletta, Domenico Delli Gatti, Aldo Glielmo

Proceedings of the 5th ACM International Conference on AI in Finance, 2024

2023

Fixpoint Theory - Upside Down.

Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan

Log. Methods Comput. Sci., 2023

A Lattice-Theoretical View of Strategy Iteration.

Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

Behavioural logics for configuration structures.

Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo

Theor. Comput. Sci., 2022

Characterising spectra of equivalences for event structures, logically.

Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo

Inf. Comput., 2022

2021

(Un)Decidability for History Preserving True Concurrent Logics.

Paolo Baldan, Alberto Carraro, Tommaso Padoan

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

Model Checking a Logic for True Concurrency.

Paolo Baldan, Tommaso Padoan

ACM Trans. Comput. Log., 2020

Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations.

Paolo Baldan, Barbara König, Tommaso Padoan

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Fixpoint games on continuous lattices.

Paolo Baldan, Barbara König, Christina Mika-Michalski, Tommaso Padoan

Proc. ACM Program. Lang., 2019

2018

Relating some Logics for True Concurrency.

Tommaso Padoan

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

Automata for True Concurrency Properties.

Paolo Baldan, Tommaso Padoan

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

Local Model Checking in a Logic for True Concurrency.

Paolo Baldan, Tommaso Padoan

Proceedings of the Foundations of Software Science and Computation Structures, 2017