Word Equations in Synergy with Regular Constraints (Technical Report). - Frantisek Blahoudek; Yu-Fang Chen 001; David Chocholatý; Vojtech Havlena; Lukás Holík; Ondrej Lengál; Juraj Síc (CoRR, 2022)

Word Equations in Synergy with Regular Constraints. - Frantisek Blahoudek; Yu-Fang Chen 001; David Chocholatý; Vojtech Havlena; Lukás Holík; Ondrej Lengál; Juraj Síc (FM, 2023)

Z3-Noodler: An Automata-based String Solver (Technical Report). - Yu-Fang Chen 001; David Chocholatý; Vojtech Havlena; Lukás Holík; Ondrej Lengál; Juraj Síc (CoRR, 2023)

Mata, a Fast and Simple Finite Automata Library (Technical Report). - David Chocholatý; Tomás Fiedor; Vojtech Havlena; Lukás Holík; Martin Hruska; Ondrej Lengál; Juraj Síc (CoRR, 2023)

Solving String Constraints with Lengths by Stabilization. - Yu-Fang Chen 001; David Chocholatý; Vojtech Havlena; Lukás Holík; Ondrej Lengál; Juraj Síc (Proc. ACM Program. Lang., 2023)

Z3-Noodler: An Automata-based String Solver. - Yu-Fang Chen 001; David Chocholatý; Vojtech Havlena; Lukás Holík; Ondrej Lengál; Juraj Síc (TACAS (1), 2024)

Mata: A Fast and Simple Finite Automata Library. - David Chocholatý; Tomás Fiedor; Vojtech Havlena; Lukás Holík; Martin Hruska; Ondrej Lengál; Juraj Síc (TACAS (2), 2024)

Z3-Noodler 1.3: Shepherding Decision Procedures for Strings with Model Generation. - David Chocholatý; Vojtech Havlena; Lukás Holík; Jan Hranicka; Ondrej Lengál; Juraj Síc (TACAS (2), 2025)