Tommaso Padoan

24 papers B 7Journal 14Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Monoidal View on Fixpoint Checks.
Log. Methods Comput. Sci.
Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan
2025 — conf
Approximating Fixpoints of Approximated Functions.
CAV (2)
Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold
2025 J jnl
Computing Approximated Fixpoints via Dampened Mann Iteration.
CoRR
Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold
2024 — conf
Simulating the Economic Impact of Rationality through Reinforcement Learning and Agent-Based Modelling.
ICAIF
Simone Brusatin, Tommaso Padoan, Andrea Coletta, Domenico Delli Gatti, Aldo Glielmo
2024 J jnl
Simulating the economic impact of rationality through reinforcement learning and agent-based modelling.
CoRR
Simone Brusatin, Tommaso Padoan, Andrea Coletta, Domenico Delli Gatti, Aldo Glielmo
2024 J jnl
Systems of fixpoint equations: Abstraction, games, up-to techniques and local algorithms.
Inf. Comput.
Paolo Baldan, Barbara König, Tommaso Padoan
2023 B conf
A Lattice-Theoretical View of Strategy Iteration.
CSL
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
2023 B conf
A Monoidal View on Fixpoint Checks.
ICGT
Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan
2023 J jnl
A Monoidal View on Fixpoint Checks.
CoRR
Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan
2023 J jnl
Fixpoint Theory - Upside Down.
Log. Methods Comput. Sci.
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
2022 J jnl
A Lattice-Theoretical View of Strategy Iteration.
CoRR
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
2022 J jnl
Behavioural logics for configuration structures.
Theor. Comput. Sci.
Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo
2022 J jnl
Characterising spectra of equivalences for event structures, logically.
Inf. Comput.
Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo
2021 B conf
(Un)Decidability for History Preserving True Concurrent Logics.
MFCS
Paolo Baldan, Alberto Carraro, Tommaso Padoan
2021 B conf
Fixpoint Theory - Upside Down.
FoSSaCS
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
2021 J jnl
Fixpoint Theory - Upside Down.
CoRR
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
2020 B conf
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations.
CONCUR
Paolo Baldan, Barbara König, Tommaso Padoan
2020 J jnl
Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations.
CoRR
Paolo Baldan, Barbara König, Tommaso Padoan
2020 J jnl
Model Checking a Logic for True Concurrency.
ACM Trans. Comput. Log.
Paolo Baldan, Tommaso Padoan
2019 J jnl
Fixpoint games on continuous lattices.
Proc. ACM Program. Lang.
Paolo Baldan, Barbara König, Christina Mika-Michalski, Tommaso Padoan
2018 B conf
Automata for True Concurrency Properties.
FoSSaCS
Paolo Baldan, Tommaso Padoan
2018 J jnl
Fixpoint Games on Continuous Lattices.
CoRR
Paolo Baldan, Barbara König, Tommaso Padoan, Christina Mika-Michalski
2018 — conf
Relating some Logics for True Concurrency.
ICTCS
Tommaso Padoan
2017 B conf
Local Model Checking in a Logic for True Concurrency.
FoSSaCS
Paolo Baldan, Tommaso Padoan