Tommaso Padoan

Available identifiers

zbMath Open padoan.tommasoMaRDI QIDQ1652978

List of research outcomes

Publication	Date of Publication	Type
Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms	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	2023-08-26	Paper
Un)Decidability for History Preserving True Concurrent Logics.	2023-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q5089290	2022-07-18	Paper
Characterising spectra of equivalences for event structures, logically	2022-06-08	Paper
Behavioural logics for configuration structures	2022-04-07	Paper
Model checking a logic for true concurrency	2022-02-24	Paper
Fixpoint theory -- upside down	2021-10-18	Paper
Automata for true concurrency properties	2018-07-17	Paper
Local model checking in a logic for true concurrency	2017-05-19	Paper

Research outcomes over time

This page was built for person: Tommaso Padoan