Author of the publication

On the Parallel Complexity of Bisimulation on Finite Systems.

, , and . CSL, volume 62 of LIPIcs, page 12:1-12:17. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)

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)Tree compression using string grammars., , , and . CoRR, (2015)Circuits and Expressions over Finite Semirings., , , and . TOCT, 10 (4): 15:1-15:30 (2018)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)