Tomás Babiak

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Topics

Deterministic Automata

Statistical Machine Translation

Finite State Automaton

Top Venues

Math. Struct. Comput. Sci.

Publications

Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek
The Hanoi Omega-Automata Format. CAV (1) (2015)
Tomás Babiak, Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment. ATVA (2013)
Tomás Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek
Compositional Approach to Suspension and Other Improvements to LTL Translation. SPIN (2013)
Tomás Babiak, Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment. CoRR (2013)
Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
LTL to Büchi Automata Translation: Fast and More Deterministic CoRR (2012)
Tomás Babiak, Vojtech Rehák, Jan Strejcek
Almost linear Büchi automata. Math. Struct. Comput. Sci. 22 (2) (2012)
Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
LTL to Büchi Automata Translation: Fast and More Deterministic. TACAS (2012)
Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness CoRR (2010)
Tomás Babiak, Vojtech Rehák, Jan Strejcek
Almost Linear Büchi Automata EXPRESS (2009)