Local Model Checking in a Logic for True Concurrency. - Paolo Baldan; Tommaso Padoan (FoSSaCS, 2017)

Automata for True Concurrency Properties. - Paolo Baldan; Tommaso Padoan (FoSSaCS, 2018)

Relating some Logics for True Concurrency. - Tommaso Padoan (ICTCS, 2018)

Fixpoint games on continuous lattices. - Paolo Baldan; Barbara König 001; Christina Mika-Michalski; Tommaso Padoan (Proc. ACM Program. Lang., 2019)

Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations. - Paolo Baldan; Barbara König 001; Tommaso Padoan (CONCUR, 2020)

Model Checking a Logic for True Concurrency. - Paolo Baldan; Tommaso Padoan (ACM Trans. Comput. Log., 2020)

(Un)Decidability for History Preserving True Concurrent Logics. - Paolo Baldan; Alberto Carraro; Tommaso Padoan (MFCS, 2021)

Characterising spectra of equivalences for event structures, logically. - Paolo Baldan; Daniele Gorla; Tommaso Padoan; Ivano Salvo (Inf. Comput., 2022)

Behavioural logics for configuration structures. - Paolo Baldan; Daniele Gorla; Tommaso Padoan; Ivano Salvo (Theor. Comput. Sci., 2022)

A Lattice-Theoretical View of Strategy Iteration. - Paolo Baldan; Richard Eggert; Barbara König 001; Tommaso Padoan (CSL, 2023)

Fixpoint Theory - Upside Down. - Paolo Baldan; Richard Eggert; Barbara König 001; Tommaso Padoan (Log. Methods Comput. Sci., 2023)

Simulating the Economic Impact of Rationality through Reinforcement Learning and Agent-Based Modelling. - Simone Brusatin; Tommaso Padoan; Andrea Coletta; Domenico Delli Gatti; Aldo Glielmo (ICAIF, 2024)

Systems of fixpoint equations: Abstraction, games, up-to techniques and local algorithms. - Paolo Baldan; Barbara König 001; Tommaso Padoan (Inf. Comput., 2024)

Approximating Fixpoints of Approximated Functions. - Paolo Baldan; Sebastian Gurke; Barbara König 001; Tommaso Padoan; Florian Wittbold (CAV (2), 2025)

A Monoidal View on Fixpoint Checks. - Paolo Baldan; Richard Eggert; Barbara König 001; Timo Matt; Tommaso Padoan (Log. Methods Comput. Sci., 2025)

Computing Approximated Fixpoints via Dampened Mann Iteration. - Paolo Baldan; Sebastian Gurke; Barbara König 001; Tommaso Padoan; Florian Wittbold (CoRR, 2025)