Toms Babiak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2012–2015
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CAV | The Hanoi Omega-Automata Format. | Toms Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretnsk, David Mller, David Parker, Jan Strejcek |
| 2013 | ATVA | Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment. | Toms Babiak, Frantisek Blahoudek, Mojmr Kretnsk, Jan Strejcek |
| 2012 | TACAS | LTL to Bchi Automata Translation: Fast and More Deterministic. | Toms Babiak, Mojmr Kretnsk, Vojtech Rehk, Jan Strejcek |