No. |
Title |
Author |
Year |
---|

1 |
Higher-Order Mathematical Operational Semantics (Early Ideas) |
Goncharov, Sergey et al. |
2023 |

2 |
Nominal Topology for Data Languages |
Birkmann, Fabian et al. |
2023 |

3 |
On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls) |
Adámek, Jiří et al. |
2023 |

4 |
Positive Data Languages |
Frank, Florian et al. |
2023 |

5 |
Stateful Structural Operational Semantics |
Goncharov, Sergey et al. |
2022 |

6 |
A Linear-Time Nominal μ-Calculus with Name Allocation |
Hausmann, Daniel et al. |
2021 |

7 |
Coalgebra Encoding for Efficient Minimization |
Deifel, Hans-Peter et al. |
2021 |

8 |
Explaining Behavioural Inequivalence Generically in Quasilinear Time |
Wißmann, Thorsten et al. |
2021 |

9 |
Initial Algebras Without Iteration ((Co)algebraic pearls) |
Adámek, Jiří et al. |
2021 |

10 |
Monads on Categories of Relational Structures |
Ford, Chase et al. |
2021 |

11 |
Nominal Büchi Automata with Name Allocation |
Urbat, Henning et al. |
2021 |

12 |
From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper) |
Milius, Stefan |
2019 |

13 |
Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum |
Dorsch, Ulrich et al. |
2019 |

14 |
Varieties of Data Languages |
Urbat, Henning et al. |
2019 |

15 |
Efficient Coalgebraic Partition Refinement |
Dorsch, Ulrich et al. |
2017 |

16 |
Eilenberg Theorems for Free |
Urbat, Henning et al. |
2017 |

17 |
On Corecursive Algebras for Functors Preserving Coproducts |
Adámek, Jiri et al. |
2017 |

18 |
Proper Functors and their Rational Fixed Point |
Milius, Stefan |
2017 |

19 |
Finitary Corecursion for the Infinitary Lambda Calculus |
Milius, Stefan et al. |
2015 |

20 |
Generic Trace Semantics and Graded Monads |
Milius, Stefan et al. |
2015 |

21 |
Syntactic Monoids in a Category |
Adamek, Jiri et al. |
2015 |

22 |
Power-Set Functors and Saturated Trees |
Adamek, Jiri et al. |
2011 |