Author of the publication

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

Towards more efficient methods for solving regular-expression heavy string constraints., , , , , , and . Theor. Comput. Sci., (2023)Equations enforcing repetitions under permutations., , , and . Discret. Appl. Math., (2020)On restricting the ambiguity in morphic images of words.. Loughborough University, UK, (2016)British Library, EThOS.Subsequences with Gap Constraints: Complexity Bounds for Matching and Analysis Problems., , , and . ISAAC, volume 248 of LIPIcs, page 64:1-64:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Graph and String Parameters: Connections Between Pathwidth, Cutwidth and the Locality Number., , , , , and . ICALP, volume 132 of LIPIcs, page 109:1-109:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)The Edit Distance to k-Subsequence Universality., , , , , and . STACS, volume 187 of LIPIcs, page 25:1-25:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)The Hardness of Solving Simple Word Equations., , and . MFCS, volume 83 of LIPIcs, page 18:1-18:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)On the Expressive Power of String Constraints., , , and . Proc. ACM Program. Lang., 7 (POPL): 278-308 (January 2023)Equations Enforcing Repetitions Under Permutations., , , and . WORDS, volume 10432 of Lecture Notes in Computer Science, page 72-84. Springer, (2017)An SMT Solver for Regular Expressions and Linear Arithmetic over String Length., , , , , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 289-312. Springer, (2021)