Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Babiak, Tomás
add a person with the name Babiak, Tomás
 

Other publications of authors with the same name

The Hanoi Omega-Automata Format., , , , , , , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 479-486. Springer, (2015)LTL to Büchi Automata Translation: Fast and More Deterministic., , , and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 95-109. Springer, (2012)Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment., , , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 24-39. Springer, (2013)Almost Linear Büchi Automata, , and . EXPRESS, volume 8 of EPTCS, page 16-25. (2009)Compositional Approach to Suspension and Other Improvements to LTL Translation., , , , and . SPIN, volume 7976 of Lecture Notes in Computer Science, page 81-98. Springer, (2013)A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness, , , and . CoRR, (2010)Almost linear Büchi automata., , and . Mathematical Structures in Computer Science, 22 (2): 203-235 (2012)