Lukás Tomovic

According to our database, Lukás Tomovic authored at least 2 papers between 2020 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Fast Computation of Strong Control Dependencies.

Marek Chalupa, David Klaska, Jan Strejcek, Lukás Tomovic

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020