Author of the publication

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)

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

Solving 3CNF-SAT and HPP in Linear Time Using WWW., , and . MCU, volume 3354 of Lecture Notes in Computer Science, page 269-280. Springer, (2004)On Matching Generalised Repetitive Patterns., , , , and . DLT, volume 11088 of Lecture Notes in Computer Science, page 269-281. Springer, (2018)Unary Patterns with Permutations., , and . DLT, volume 9168 of Lecture Notes in Computer Science, page 191-202. Springer, (2015)Prefix-Suffix Square Completion., and . WORDS, volume 9304 of Lecture Notes in Computer Science, page 147-159. Springer, (2015)Deciding According to the Shortest Computations.. CiE, volume 6735 of Lecture Notes in Computer Science, page 191-200. Springer, (2011)Matching Patterns with Variables., and . WORDS, volume 11682 of Lecture Notes in Computer Science, page 1-27. Springer, (2019)Hairpin Lengthening and Shortening of Regular Languages., , and . Languages Alive, volume 7300 of Lecture Notes in Computer Science, page 145-159. Springer, (2012)Hard Counting Problems for Partial Words., and . LATA, volume 6031 of Lecture Notes in Computer Science, page 426-438. Springer, (2010)Reconstructing Words from Right-Bounded-Block Words., , , , and . DLT, volume 12086 of Lecture Notes in Computer Science, page 96-109. Springer, (2020)On small, reduced, and fast universal accepting networks of splicing processors., , and . Theor. Comput. Sci., 410 (4-5): 406-416 (2009)