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

1 |
The Strahler Number of a Parity Game |
Daviaud, Laure et al. |
2020 |

2 |
Alternating Weak Automata from Universal Trees |
Daviaud, Laure et al. |
2019 |

3 |
When is Containment Decidable for Probabilistic Automata? |
Daviaud, Laure et al. |
2018 |

4 |
Comparison of Max-Plus Automata and Joint Spectral Radius of Tropical Matrices |
Daviaud, Laure et al. |
2017 |

5 |
The Shortest Identities for Max-Plus Automata with Two States |
Daviaud, Laure et al. |
2017 |

6 |
Which Classes of Origin Graphs Are Generated by Transducers |
Bojanczyk, Mikolaj et al. |
2017 |

7 |
Varieties of Cost Functions |
Daviaud, Laure et al. |
2016 |

8 |
Approximate comparison of distance automata |
Colcombet, Thomas et al. |
2013 |