Fitting Aggregation Operators. - Vojtech Havlena; Dana Hlinená (MEMICS, 2015)

A Note on One Less Known Class of Generated Residual Implications. - Vojtech Havlena; Dana Hlinená (MEMICS, 2016)

Simulations in Rank-Based Büchi Automata Complementation. - Yu-Fang Chen 001; Vojtech Havlena; Ondrej Lengál (APLAS, 2019)

Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. - Milan Ceska 002; Vojtech Havlena; Lukás Holík; Jan Korenek; Ondrej Lengál; Denis Matousek; Jirí Matousek 002; Jakub Semric; Tomás Vojnar (FCCM, 2019)

Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. - Milan Ceska 001; Vojtech Havlena; Lukás Holík; Jan Korenek; Ondrej Lengál; Denis Matousek; Jirí Matousek 002; Jakub Semric; Tomás Vojnar (CoRR, 2019)

Automata Terms in a Lazy WSkS Decision Procedure (Technical Report). - Vojtech Havlena; Lukás Holík; Ondrej Lengál; Tomás Vojnar (CoRR, 2019)

A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. - Yu-Fang Chen 001; Vojtech Havlena; Ondrej Lengál; Andrea Turrini (APLAS, 2020)

Antiprenexing for WSkS: A Little Goes a Long Way. - Vojtech Havlena; Lukás Holík; Ondrej Lengál; Ondrej Vales; Tomás Vojnar (LPAR, 2020)

Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report). - Vojtech Havlena; Ondrej Lengál (CoRR, 2020)

Flow based monitoring of ICS communication in the smart grid. - Petr Matousek; Ondrej Rysavý; Matej Grégr; Vojtech Havlena (J. Inf. Secur. Appl., 2020)

Approximate reduction of finite automata for high-speed network intrusion detection. - Milan Ceska 002; Vojtech Havlena; Lukás Holík; Ondrej Lengál; Tomás Vojnar (Int. J. Softw. Tools Technol. Transf., 2020)

Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation. - Vojtech Havlena; Ondrej Lengál (CONCUR, 2021)

Efficient Modelling of ICS Communication For Anomaly Detection Using Probabilistic Automata. - Petr Matousek; Vojtech Havlena; Lukás Holík (IM, 2021)

Deciding S1S: Down the Rabbit Hole and Through the Looking Glass. - Vojtech Havlena; Ondrej Lengál; Barbora Smahlíková (NETYS, 2021)

Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation (Technical Report). - Vojtech Havlena; Ondrej Lengál; Barbora Smahlíková (CoRR, 2021)

Automata Terms in a Lazy WSkS Decision Procedure. - Vojtech Havlena; Lukás Holík; Ondrej Lengál; Tomás Vojnar (J. Autom. Reason., 2021)

Complementing Büchi Automata with Ranker. - Vojtech Havlena; Ondrej Lengál; Barbora Smahlíková (CAV (2), 2022)

Sky Is Not the Limit - Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation. - Vojtech Havlena; Ondrej Lengál; Barbora Smahlíková (TACAS (2), 2022)

Complementing Büchi Automata with Ranker (Technical Report). - Vojtech Havlena; Ondrej Lengál; Barbora Smahlíková (CoRR, 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)

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)

Modular Mix-and-Match Complementation of Büchi Automata. - Vojtech Havlena; Ondrej Lengál; Yong Li 031; Barbora Smahlíková; Andrea Turrini (TACAS (1), 2023)

Modular Mix-and-Match Complementation of Büchi Automata (Technical Report). - Vojtech Havlena; Ondrej Lengál; Yong Li 031; Barbora Smahlíková; Andrea Turrini (CoRR, 2023)

A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions (Technical Report). - Yu-Fang Chen 001; Vojtech Havlena; Ondrej Lengál; Andrea Turrini (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)

Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. - Vojtech Havlena; Petr Matousek; Ondrej Rysavý; Lukás Holík (IEEE Trans. Smart Grid, 2023)

A symbolic algorithm for the case-split rule in solving word constraints with extensions. - Yu-Fang Chen 001; Vojtech Havlena; Ondrej Lengál; Andrea Turrini (J. Syst. Softw., 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)

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. - Peter Habermehl; Vojtech Havlena; Michal Hecko; Lukás Holík; Ondrej Lengál (CAV (1), 2024)

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)

Complementation of Emerson-Lei Automata (Technical Report). - Vojtech Havlena; Ondrej Lengál; Barbora Smahlíková (CoRR, 2024)

Complementation of Emerson-Lei Automata. - Vojtech Havlena; Ondrej Lengál; Barbora Smahlíková (FoSSaCS, 2025)

Negated String Containment Is Decidable. - Vojtech Havlena; Michal Hecko; Lukás Holík; Ondrej Lengál (MFCS, 2025)

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)

A Uniform Framework for Handling Position Constraints in String Solving. - Yu-Fang Chen 001; Vojtech Havlena; Michal Hecko; Lukás Holík; Ondrej Lengál (Proc. ACM Program. Lang., 2025)

A Uniform Framework for Handling Position Constraints in String Solving (Technical Report). - Yu-Fang Chen 001; Vojtech Havlena; Michal Hecko; Lukás Holík; Ondrej Lengál (CoRR, 2025)

Negated String Containment is Decidable (Technical Report). - Vojtech Havlena; Michal Hecko; Lukás Holík; Ondrej Lengál (CoRR, 2025)