| No. |
Title |
Author |
Year |
| 1 |
A Lattice-Theoretical View of Strategy Iteration |
Baldan, Paolo et al. |
2023 |
| 2 |
Hennessy-Milner Theorems via Galois Connections |
Beohar, Harsh et al. |
2023 |
| 3 |
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations |
Baldan, Paolo et al. |
2020 |
| 4 |
Conditional Bisimilarity for Reactive Systems |
Hülsbusch, Mathias et al. |
2020 |
| 5 |
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks |
Bernemann, Rebecca et al. |
2020 |
| 6 |
(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras |
König, Barbara et al. |
2018 |
| 7 |
Up-To Techniques for Behavioural Metrics via Fibrations |
Bonchi, Filippo et al. |
2018 |
| 8 |
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks |
Cabrera, Benjamin et al. |
2018 |
| 9 |
Front Matter, Table of Contents, Preface, List of Authors |
Bonchi, Filippo et al. |
2017 |
| 10 |
LIPIcs, Volume 72, CALCO'17, Complete Volume |
Bonchi, Filippo et al. |
2017 |
| 11 |
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451) |
Aziz Abdulla, Parosh et al. |
2016 |
| 12 |
Towards Trace Metrics via Functor Lifting |
Baldan, Paolo et al. |
2015 |
| 13 |
Behavioral Metrics via Functor Lifting |
Baldan, Paolo et al. |
2014 |
| 14 |
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems |
Bertrand, Nathalie et al. |
2012 |
| 15 |
Conditional Reactive Systems |
Bruggink, H. J. Sander et al. |
2011 |
| 16 |
04241 Abstracts Collection -- Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems |
König, Barbara et al. |
2005 |
| 17 |
Summary 2: Graph Grammar Verification through Abstraction |
Baldan, Paolo et al. |
2005 |
