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 |
Positive Data Languages |
Frank, Florian et al. |
2023 |

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

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

6 |
Syntactic Minimization Of Nondeterministic Finite Automata |
Myers, Robert S. R. et al. |
2021 |

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

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

9 |
Finite Behaviours and Finitary Corecursion |
Urbat, Henning |
2017 |

10 |
A Fibrational Approach to Automata Theory |
Chen, Liang-Ting et al. |
2015 |

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