Integrated Science through Computer-aided Experiments. - Stanislav Holec; Martin Hruska; Jana Raganová (Informatics Educ., 2004)

Forester: Shape Analysis Using Tree Automata - (Competition Contribution). - Lukás Holík; Martin Hruska; Ondrej Lengál; Adam Rogalewicz; Jirí Simácek; Tomás Vojnar (TACAS, 2015)

Run Forester, Run Backwards! - (Competition Contribution). - Lukás Holík; Martin Hruska; Ondrej Lengál; Adam Rogalewicz; Jirí Simácek; Tomás Vojnar (TACAS, 2016)

Forester: From Heap Shapes to Automata Predicates - (Competition Contribution). - Lukás Holík; Martin Hruska; Ondrej Lengál; Adam Rogalewicz; Jirí Simácek; Tomás Vojnar (TACAS (2), 2017)

Counterexample Validation and Interpolation-Based Refinement for Forest Automata. - Lukás Holík; Martin Hruska; Ondrej Lengál; Adam Rogalewicz; Tomás Vojnar (VMCAI, 2017)

Template-Based Verification of Heap-Manipulating Programs. - Viktor Malík; Martin Hruska; Peter Schrammel; Tomás Vojnar (FMCAD, 2018)

2LS: Heap Analysis and Memory Safety (Competition Contribution). - Viktor Malík; Martin Hruska; Peter Schrammel; Tomás Vojnar (CoRR, 2019)

Forester Virtual Machine. - Ondrej Lengál; Lukás Holík; Tomás Vojnar; Adam Rogalewicz; Jirí Simácek; Martin Hruska; Peter Habermehl (Zenodo, 2019)

Symbiotic 7: Integration of Predator and More - (Competition Contribution). - Marek Chalupa; Tomás Jasek; Lukás Tomovic; Martin Hruska; Veronika Soková; Paulína Ayaziová; Jan Strejcek; Tomás Vojnar (TACAS (2), 2020)

New Insights towards High-Temperature Ethanol-Sensing Mechanism of ZnO-Based Chemiresistors. - Lesia Piliai; David Tomecek; Martin Hruska; Ivan Khalakhan; Jaroslava Nováková; Premysl Fitl; Roman Yatskiv; Jan Grym; Mykhailo Vorokhta; Iva Matolínová; Martin Vrnata (Sensors, 2020)

Towards Efficient Shape Analysis with Tree Automata. - Martin Hruska; Lukás Holík (NETYS, 2021)

Orchestrating Digital Twins for Distributed Manufacturing Execution Systems. - Tomás Fiedor; Martin Hruska; Ales Smrcka (EUROCAST, 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)

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)

Automaty ve Verifikaci a Testování Software ; Automata in Software Verification and Testing. - Martin Hruska (2024)