| No. |
Title |
Author |
Year |
| 1 |
Stateful Structural Operational Semantics |
Goncharov, Sergey et al. |
2022 |
| 2 |
A Linear-Time Nominal μ-Calculus with Name Allocation |
Hausmann, Daniel et al. |
2021 |
| 3 |
Coalgebra Encoding for Efficient Minimization |
Deifel, Hans-Peter et al. |
2021 |
| 4 |
Explaining Behavioural Inequivalence Generically in Quasilinear Time |
Wißmann, Thorsten et al. |
2021 |
| 5 |
Initial Algebras Without Iteration ((Co)algebraic pearls) |
Adámek, Jiří et al. |
2021 |
| 6 |
Monads on Categories of Relational Structures |
Ford, Chase et al. |
2021 |
| 7 |
Nominal Büchi Automata with Name Allocation |
Urbat, Henning et al. |
2021 |
| 8 |
From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper) |
Milius, Stefan |
2019 |
| 9 |
Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum |
Dorsch, Ulrich et al. |
2019 |
| 10 |
Varieties of Data Languages |
Urbat, Henning et al. |
2019 |
| 11 |
Efficient Coalgebraic Partition Refinement |
Dorsch, Ulrich et al. |
2017 |
| 12 |
Eilenberg Theorems for Free |
Urbat, Henning et al. |
2017 |
| 13 |
On Corecursive Algebras for Functors Preserving Coproducts |
Adámek, Jiri et al. |
2017 |
| 14 |
Proper Functors and their Rational Fixed Point |
Milius, Stefan |
2017 |
| 15 |
Finitary Corecursion for the Infinitary Lambda Calculus |
Milius, Stefan et al. |
2015 |
| 16 |
Generic Trace Semantics and Graded Monads |
Milius, Stefan et al. |
2015 |
| 17 |
Syntactic Monoids in a Category |
Adamek, Jiri et al. |
2015 |
| 18 |
Power-Set Functors and Saturated Trees |
Adamek, Jiri et al. |
2011 |
