Author of the publication

On the Expressive Power of String Constraints.

, , , and . Proc. ACM Program. Lang., 7 (POPL): 278-308 (January 2023)

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

Equations Enforcing Repetitions Under Permutations., , , and . WORDS, volume 10432 of Lecture Notes in Computer Science, page 72-84. Springer, (2017)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)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)String Theories Involving Regular Membership Predicates: From Practice to Theory and Back., , , , , , and . WORDS, volume 12847 of Lecture Notes in Computer Science, page 50-64. Springer, (2021)Equations enforcing repetitions under permutations., , , and . Discret. Appl. Math., (2020)Towards more efficient methods for solving regular-expression heavy string constraints., , , , , , and . Theor. Comput. Sci., (2023)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)On restricting the ambiguity in morphic images of words.. Loughborough University, UK, (2016)British Library, EThOS.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)