| Word equations in synergy with regular constraints F Blahoudek, YF Chen, D Chocholatý, V Havlena, L Holík, O Lengál, J Síč International Symposium on Formal Methods, 403-423, 2023 | 13 | 2023 |
| DQBDD: an efficient BDD-based DQBF solver J Síč, J Strejček Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021 | 10 | 2021 |
| Fast matching of regular patterns with synchronizing counting L Holık, J Sıc, L Turonová, T Vojnar Foundations of Software Science and Computation Structures LNCS 13992, 392, 2023 | 8 | 2023 |
| Mata: A Fast and Simple Finite Automata Library D Chocholatý, T Fiedor, V Havlena, L Holík, M Hruška, O Lengál, J Síč International Conference on Tools and Algorithms for the Construction and …, 2024 | 7 | 2024 |
| Z3-Noodler: An Automata-based String Solver YF Chen, D Chocholatý, V Havlena, L Holík, O Lengál, J Síč International Conference on Tools and Algorithms for the Construction and …, 2024 | 7 | 2024 |
| Satisfiability of DQBF Using Binary Decision Diagrams J Síč Masaryk University, 2020 | 7 | 2020 |
| Solving string constraints with lengths by stabilization YF Chen, D Chocholatý, V Havlena, L Holík, O Lengál, J Síč Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 2112-2141, 2023 | 6 | 2023 |
| Reasoning about regular properties: A comparative study T Fiedor, L Holík, M Hruška, A Rogalewicz, J Síč, P Vargovčík International Conference on Automated Deduction, 286-306, 2023 | 6 | 2023 |
| Solving dependency quantified Boolean formulas using quantifier localization A Ge-Ernst, C Scholl, J Síč, R Wimmer Theoretical Computer Science 925, 1-24, 2022 | 6 | 2022 |
| Simulation algorithms for symbolic automata L Holík, O Lengál, J Síč, M Veanes, T Vojnar Automated Technology for Verification and Analysis: 16th International …, 2018 | 5 | 2018 |
| Mata, a Fast and Simple Finite Automata Library (Technical Report) D Chocholatý, T Fiedor, V Havlena, L Holík, M Hruška, O Lengál, J Síč arXiv e-prints, arXiv: 2310.10136, 2023 | 2 | 2023 |
| Fast matching of regular patterns with synchronizing counting (technical report) L Holík, J Síč, L Turoňová, T Vojnar arXiv preprint arXiv:2301.12851, 2023 | 2 | 2023 |
| Z3-Noodler: An Automata-based String Solver (Technical Report) YF Chen, D Chocholatý, V Havlena, L Holík, O Lengál, J Síč arXiv e-prints, arXiv: 2310.08327, 2023 | 1 | 2023 |
| Word equations in synergy with regular constraints (technical report) F Blahoudek, YF Chen, D Chocholatý, V Havlena, L Holík, O Lengál, J Síč arXiv preprint arXiv:2212.02317, 2022 | 1 | 2022 |
| Simulation algorithms for symbolic automata (Technical Report) L Holík, O Lengál, J Síč, M Veanes, T Vojnar arXiv preprint arXiv:1807.08487, 2018 | 1 | 2018 |
| Cooking String-Integer Conversions with Noodles V Havlena, L Holík, O Lengál, J Síč 27th International Conference on Theory and Applications of Satisfiability …, 2024 | | 2024 |
| Automata with Bounded Repetition in RE2 M Horký, J Síč, L Turoňová International Conference on Computer Aided Systems Theory, 232-239, 2022 | | 2022 |
| Simulation for Symbolic Automata J Síč Brno University of Technology, 2017 | | 2017 |
| Simulačný algoritmus pre symbolické automaty J Síč | | |
