Author of the publication

Stamina: Stabilisation Monoids in Automata Theory.

, , , and . CIAA, volume 10329 of Lecture Notes in Computer Science, page 101-112. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Deciding the weak definability of Büchi definable tree languages., , , and . CSL, volume 23 of LIPIcs, page 215-230. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Bouncing threads for infinitary and circular proofs., , , and . CoRR, (2020)Coinductive Algorithms for Büchi Automata., , and . Fundam. Informaticae, 180 (4): 351-373 (2021)ACME: Automata with Counters, Monoids and Equivalence., and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 163-167. Springer, (2014)Kleene Algebra with Hypotheses., , , and . FoSSaCS, volume 11425 of Lecture Notes in Computer Science, page 207-223. Springer, (2019)Computing the Width of Non-deterministic Automata., and . CoRR, (2018)Sensing as a Complexity Measure., , and . DCFS, volume 10316 of Lecture Notes in Computer Science, page 3-15. Springer, (2017)Computing the Width of Non-deterministic Automata., and . Log. Methods Comput. Sci., (2019)Positive First-order Logic on Words and Graphs.. CoRR, (2022)Varieties of Cost Functions., , and . STACS, volume 47 of LIPIcs, page 30:1-30:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)