Simulation Algorithms for Symbolic Automata. - Lukás Holík; Ondrej Lengál; Juraj Síc; Margus Veanes; Tomás Vojnar (ATVA, 2018)

Simulation Algorithms for Symbolic Automata (Technical Report). - Lukás Holík; Ondrej Lengál; Juraj Síc; Margus Veanes; Tomás Vojnar (CoRR, 2018)

DQBDD: An Efficient BDD-Based DQBF Solver. - Juraj Síc; Jan Strejcek (SAT, 2021)

Automata with Bounded Repetition in RE2. - Michal Horký; Juraj Síc; Lenka Turonová (EUROCAST, 2022)

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)

Solving dependency quantified Boolean formulas using quantifier localization. - Aile Ge-Ernst; Christoph Scholl 001; Juraj Síc; Ralf Wimmer 001 (Theor. Comput. Sci., 2022)

Reasoning About Regular Properties: A Comparative Study. - Tomás Fiedor; Lukás Holík; Martin Hruska; Adam Rogalewicz; Juraj Síc; Pavol Vargovcík (CADE, 2023)

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)

Fast Matching of Regular Patterns with Synchronizing Counting. - Lukás Holík; Juraj Síc; Lenka Turonová; Tomás Vojnar (FoSSaCS, 2023)

Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). - Lukás Holík; Juraj Síc; Lenka Turonová; Tomás Vojnar (CoRR, 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)

Cooking String-Integer Conversions with Noodles. - Vojtech Havlena; Lukás Holík; Ondrej Lengál; Juraj Síc (SAT, 2024)

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)