Author of the publication

Efficient algorithms for morphisms over omega-regular languages

, and . 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015), 45, page 112-124. Wadern, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, (2015)
DOI: 10.4230/LIPIcs.FSTTCS.2015.112

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

Testing Simon's congruence., and . MFCS, volume 117 of LIPIcs, page 62:1-62:13. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)The Intersection Problem for Finite Semigroups.. DLT, volume 11088 of Lecture Notes in Computer Science, page 318-329. Springer, (2018)Green's Relations in Finite Transformation Semigroups., and . CSR, volume 10304 of Lecture Notes in Computer Science, page 112-125. Springer, (2017)The Complexity of Properties of Transformation Semigroups, and . International Journal Of Algebra And Computation, 30 (3): 585-606 (2020)Efficient algorithms for morphisms over omega-regular languages, and . 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015), 45, page 112-124. Wadern, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, (2015)Efficient Membership Testing for Pseudovarieties of Finite Semigroups.. CoRR, (2018)New Bounds on Antipowers in Binary Words., , and . CoRR, (2019)The Half-Levels of the FO2 Alternation Hierarchy, , and . Theory of computing systems, 61 (2): 352-370 (2017)The Intersection Problem for Finite Monoids., and . CoRR, (2017)The Intersection Problem for Finite Monoids., and . STACS, volume 96 of LIPIcs, page 30:1-30:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)