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

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

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

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

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

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

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

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

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

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

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