Author of the publication

The Complexity of Bisimulation and Simulation on Finite Systems.

, , and . Logical Methods in Computer Science, (2018)

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

Language recognition in the sliding window model.. University of Siegen, Germany, (2019)Universal Tree Source Coding Using Grammar-Based Compression., , , and . IEEE Trans. Information Theory, 65 (10): 6399-6413 (2019)Knapsack Problems for Wreath Products., , , and . CoRR, (2017)Parity Games of Bounded Tree- and Clique-Width.. FoSSaCS, volume 9034 of Lecture Notes in Computer Science, page 390-404. Springer, (2015)Derandomization for Sliding Window Algorithms with Strict Correctness., , and . CSR, volume 11532 of Lecture Notes in Computer Science, page 237-249. Springer, (2019)Automata Theory on Sliding Windows., , , , and . STACS, volume 96 of LIPIcs, page 31:1-31:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)Automatic Equivalence Structures of Polynomial Growth., and . CSL, volume 152 of LIPIcs, page 21:1-21:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Randomized Sliding Window Algorithms for Regular Languages., , and . ICALP, volume 107 of LIPIcs, page 127:1-127:13. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)Tree compression using string grammars., , , and . CoRR, (2015)Circuits and Expressions over Finite Semirings., , , and . TOCT, 10 (4): 15:1-15:30 (2018)