Solving String Constraints with Approximate Parikh Image

von Janku, Petr
Veröffentlicht in EUROCAST (17. : 2019 : Las Palmas de Gran Canaria) Computer aided systems theory - EUROCAST 2019 ; Part 1 (2020)

Fast Matching of Regular Patterns with Synchronizing Counting

von Holik, Lukáš
Veröffentlicht in FOSSACS (26. : 2023 : Paris) Foundations of software science and computation structures (2023)