- Register Automata with Permutations Mrudula Balachander Emmanuel Filiot Raffaella Gentilini Nikos Tzevelekos Sun 24 August 2025
- A Collapse of the Parity Index Hierarchy of Tree Automata, Based on Cantor-Bendixson Ranks Karoliina Lehtinen Nathan Lhote Sat 05 July 2025
- String Diagrammatic Trace Theory Matthew Earnshaw Paweł Sobociński Fri 18 April 2025
- Nonnegativity Problems for Matrix Semigroups Julian D'Costa Joël Ouaknine James Worrell Thu 06 February 2025
- Weighted Automata and Expressions over Pre-Rational Monoids Nicolas Baudru Louis-Marie Dando Nathan Lhote Benjamin Monmege Pierre-Alain Reynier Jean-Marc Talbot Tue 21 May 2024
- The Futures of Reactive Synthesis (Dagstuhl Seminar 23391) Nathanaël Fijalkow Bernd Finkbeiner Guillermo A. Pérez Elizabeth Polgreen Rémi Morvan Sat 30 March 2024
- Regular Transformations (Dagstuhl Seminar 23202) Rajeev Alur Mikołaj Bojańczyk Emmanuel Filiot Anca Muscholl Sarah Winter Thu 30 November 2023
- Inclusion Testing of Büchi Automata Based on Well-Quasiorders Kyveli Doveri Pierre Ganty Francesco Parolini Francesco Ranzato Fri 02 March 2012
- History-Deterministic Timed Automata Thomas A. Henzinger Karoliina Lehtinen Patrick Totzke Fri 02 March 2012
Library Size: 13G (9 entries),
Last Updated: Apr 05, 2026, 07:51:09,
Build Time: N/A
