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)

Fast Computation of Strong Control Dependencies. - Marek Chalupa; David Klaska; Jan Strejcek; Lukás Tomovic (CAV (2), 2021)