Tommaso Padoan

According to our database, Tommaso Padoan authored at least 12 papers between 2017 and 2023.

Collaborative distances:

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

2023

Fixpoint Theory - Upside Down.

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

Log. Methods Comput. Sci., 2023

A Monoidal View on Fixpoint Checks.

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

Proceedings of the Graph Transformation - 16th International Conference, 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