Lazy Automata Techniques for WS1S. - Tomás Fiedor; Lukás Holík; Petr Janku; Ondrej Lengál; Tomás Vojnar (TACAS (1), 2017)

From Shapes to Amortized Complexity. - Tomás Fiedor; Lukás Holík; Adam Rogalewicz; Moritz Sinn; Tomás Vojnar; Florian Zuleger (VMCAI, 2018)

Nested antichains for WS1S. - Tomás Fiedor; Lukás Holík; Ondrej Lengál; Tomás Vojnar (Acta Informatica, 2019)

Automaty v rozhodovacích procedurách a výkonnostní analýze ; Automata in Decision Procedures and Performance Analysis. - Tomás Fiedor (2021)

Orchestrating Digital Twins for Distributed Manufacturing Execution Systems. - Tomás Fiedor; Martin Hruska; Ales Smrcka (EUROCAST, 2022)

Perun: Performance Version System. - Tomás Fiedor; Jirí Pavela; Adam Rogalewicz; Tomás Vojnar (ICSME, 2022)

Reasoning About Regular Properties: A Comparative Study. - Tomás Fiedor; Lukás Holík; Martin Hruska; Adam Rogalewicz; Juraj Síc; Pavol Vargovcík (CADE, 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)

Efficient Manipulation of Control Flow Models in Evolving Software. - Tomás Fiedor; Jirí Pavela; Adam Rogalewicz; Tomás Vojnar (EUROCAST (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)