| 2017 | TACAS | Forester: From Heap Shapes to Automata Predicates - (Competition Contribution). | Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar |
| 2016 | TACAS | Run Forester, Run Backwards! - (Competition Contribution). | Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar |
| 2015 | TACAS | Forester: Shape Analysis Using Tree Automata - (Competition Contribution). | Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar |
| 2013 | CADE | The Tree Width of Separation Logic with Recursive Definitions. | Radu Iosif, Adam Rogalewicz, Jir Simcek |
| 2013 | CAV | Fully Automated Shape Analysis Based on Forest Automata. | Luks Holk, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar |
| 2012 | TACAS | VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata. | Ondrej Lengl, Jir Simcek, Toms Vojnar |
| 2011 | ATVA | Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata. | Luks Holk, Ondrej Lengl, Jir Simcek, Toms Vojnar |
| 2011 | CAV | Forest Automata for Verification of Heap Manipulation. | Peter Habermehl, Luks Holk, Adam Rogalewicz, Jir Simcek, Toms Vojnar |