| No. |
Title |
Author |
Year |
| 1 |
A Lattice-Theoretical View of Strategy Iteration |
Baldan, Paolo et al. |
2023 |
| 2 |
Front Matter, Table of Contents, Preface, Conference Organization |
Baldan, Paolo et al. |
2023 |
| 3 |
LIPIcs, Volume 270, CALCO 2023, Complete Volume |
Baldan, Paolo et al. |
2023 |
| 4 |
(Un)Decidability for History Preserving True Concurrent Logics |
Baldan, Paolo et al. |
2021 |
| 5 |
A Rice’s Theorem for Abstract Semantics |
Baldan, Paolo et al. |
2021 |
| 6 |
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations |
Baldan, Paolo et al. |
2020 |
| 7 |
Minimisation of Event Structures |
Baldan, Paolo et al. |
2019 |
| 8 |
Towards Trace Metrics via Functor Lifting |
Baldan, Paolo et al. |
2015 |
| 9 |
Behavioral Metrics via Functor Lifting |
Baldan, Paolo et al. |
2014 |
| 10 |
Summary 2: Graph Grammar Verification through Abstraction |
Baldan, Paolo et al. |
2005 |
