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 |