Tommaso Padoan

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms Information and Computation	2024-12-03	Paper
A lattice-theoretical view of strategy iteration	2024-09-25	Paper
A monoidal view on fixpoint checks	2024-01-12	Paper
Fixpoint Theory -- Upside Down Logical Methods in Computer Science	2023-08-26	Paper
Un)Decidability for History Preserving True Concurrent Logics.	2023-08-08	Paper
scientific article; zbMATH DE number 7559481 (Why is no real title available?) (available as arXiv preprint)	2022-07-18	Paper
Characterising spectra of equivalences for event structures, logically Information and Computation	2022-06-08	Paper
Behavioural logics for configuration structures Theoretical Computer Science	2022-04-07	Paper
Model checking a logic for true concurrency ACM Transactions on Computational Logic	2022-02-24	Paper
Fixpoint theory -- upside down (available as arXiv preprint)	2021-10-18	Paper
Automata for true concurrency properties	2018-07-17	Paper
Local model checking in a logic for true concurrency Lecture Notes in Computer Science	2017-05-19	Paper

Research outcomes over time

This page was built for person: Tommaso Padoan