| No. |
Title |
Author |
Year |
| 1 |
Quantitative Hennessy-Milner Theorems via Notions of Density |
Forster, Jonas et al. |
2023 |
| 2 |
Stateful Structural Operational Semantics |
Goncharov, Sergey et al. |
2022 |
| 3 |
A Linear-Time Nominal μ-Calculus with Name Allocation |
Hausmann, Daniel et al. |
2021 |
| 4 |
Explaining Behavioural Inequivalence Generically in Quasilinear Time |
Wißmann, Thorsten et al. |
2021 |
| 5 |
Monads on Categories of Relational Structures |
Ford, Chase et al. |
2021 |
| 6 |
Nominal Büchi Automata with Name Allocation |
Urbat, Henning et al. |
2021 |
| 7 |
The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies |
Göttlinger, Merlin et al. |
2021 |
| 8 |
Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions |
Wild, Paul et al. |
2020 |
| 9 |
Game-Based Local Model Checking for the Coalgebraic mu-Calculus |
Hausmann, Daniel et al. |
2019 |
| 10 |
Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum |
Dorsch, Ulrich et al. |
2019 |
| 11 |
Efficient Coalgebraic Partition Refinement |
Dorsch, Ulrich et al. |
2017 |
| 12 |
Uniform Interpolation in Coalgebraic Modal Logic |
Seifan, Fatemeh et al. |
2017 |
| 13 |
Global Caching for the Alternation-free µ-Calculus |
Hausmann, Daniel et al. |
2016 |
| 14 |
Generic Trace Semantics and Graded Monads |
Milius, Stefan et al. |
2015 |
| 15 |
Named Models in Coalgebraic Hybrid Logic |
Schröder, Lutz et al. |
2010 |
| 16 |
Strong Completeness of Coalgebraic Modal Logics |
Schröder, Lutz et al. |
2009 |
| 17 |
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables |
Wölfl, Stefan et al. |
2007 |
