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

Finding Pseudo-repetitions., , , , and . STACS, volume 20 of LIPIcs, page 257-268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)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)Hairpin Completion Versus Hairpin Reduction., and . CiE, volume 4497 of Lecture Notes in Computer Science, page 532-541. Springer, (2007)Accepting Networks of Splicing Processors with Filtered Connections., , , and . MCU, volume 4664 of Lecture Notes in Computer Science, page 218-229. Springer, (2007)Preface., , , and . Journal of Automata, Languages and Combinatorics, 22 (1-3): 3-4 (2017)On the Solvability Problem for Restricted Classes of Word Equations., , and . DLT, volume 9840 of Lecture Notes in Computer Science, page 306-318. Springer, (2016)Square-Density Increasing Mappings., and . WORDS, volume 9304 of Lecture Notes in Computer Science, page 160-169. Springer, (2015)Equations Enforcing Repetitions Under Permutations., , , and . WORDS, volume 10432 of Lecture Notes in Computer Science, page 72-84. Springer, (2017)On the recognition of context-free languages using accepting hybrid networks of evolutionary processors.. Int. J. Comput. Math., 84 (3): 273-285 (2007)Scattered Factor-Universality of Words., , , , and . DLT, volume 12086 of Lecture Notes in Computer Science, page 14-28. Springer, (2020)