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)

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)

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)

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)