Follow
Juraj Síč
Juraj Síč
Brno University of Technology
Verified email at fit.vut.cz
Title
Cited by
Cited by
Year
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
92023
DQBDD: an efficient BDD-based DQBF solver
J Síč, J Strejček
Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021
82021
Satisfiability of DQBF Using Binary Decision Diagrams
J Síč
Masaryk University, 2020
62020
Solving dependency quantified Boolean formulas using quantifier localization
A Ge-Ernst, C Scholl, J Síč, R Wimmer
Theoretical Computer Science 925, 1-24, 2022
52022
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
52018
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
42023
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
42023
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
32023
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
22024
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
22024
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
22023
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
12023
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
12022
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
12018
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
2023
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íč
The system can't perform the operation now. Try again later.
Articles 1–18