Juraj Síc

According to our database, Juraj Síc authored at least 15 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Z3-Noodler: An Automata-based String Solver.

Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Solving String Constraints with Lengths by Stabilization.

Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc

Proc. ACM Program. Lang., October, 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

Z3-Noodler: An Automata-based String Solver (Technical Report).

Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc

CoRR, 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

Fast Matching of Regular Patterns with Synchronizing Counting.

Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar

Proceedings of the Foundations of Software Science and Computation Structures, 2023

Word Equations in Synergy with Regular Constraints.

Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc

Proceedings of the Formal Methods - 25th International Symposium, 2023

Reasoning About Regular Properties: A Comparative Study.

Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Solving dependency quantified Boolean formulas using quantifier localization.

Aile Ge-Ernst, Christoph Scholl, Juraj Síc, Ralf Wimmer

Theor. Comput. Sci., 2022

Word Equations in Synergy with Regular Constraints (Technical Report).

Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc

CoRR, 2022

Automata with Bounded Repetition in RE2.

Michal Horký, Juraj Síc, Lenka Turonová

Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

2021

DQBDD: An Efficient BDD-Based DQBF Solver.

Juraj Síc, Jan Strejcek

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

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

Simulation Algorithms for Symbolic Automata.

Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar

Proceedings of the Automated Technology for Verification and Analysis, 2018