Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars. - Tomás Masopust; Alexander Meduna; Jirí Simácek (Acta Cybern., 2008)

Evolutionary Design of Reconfiguration Strategies to Reduce the Test Application Time. - Jirí Simácek; Lukás Sekanina; Lukás Starecek (ICES, 2010)

Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata. - Lukás Holík; Ondrej Lengál; Jirí Simácek; Tomás Vojnar (ATVA, 2011)

VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata. - Ondrej Lengál; Jirí Simácek; Tomás Vojnar (TACAS, 2012)

Forest automata for verification of heap manipulation. - Peter Habermehl; Lukás Holík; Adam Rogalewicz; Jirí Simácek; Tomás Vojnar (Formal Methods Syst. Des., 2012)

Harnessing Forest Automata for Verification of Heap Manipulating Programs. (Vérification de programmes avec structures de données complexes). - Jirí Simácek (2012)

The Tree Width of Separation Logic with Recursive Definitions. - Radu Iosif; Adam Rogalewicz; Jirí Simácek (CADE, 2013)

Fully Automated Shape Analysis Based on Forest Automata. - Lukás Holík; Ondrej Lengál; Adam Rogalewicz; Jirí Simácek; Tomás Vojnar (CAV, 2013)

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)

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

Optimizing an LTS-Simulation Algorithm (Technical Report). - Lukás Holík; Jirí Simácek (CoRR, 2023)