Výpis publikací

BABIAK, Tomáš; František BLAHOUDEK; Alexandre DURET-LUTZ; Joachim KLEIN; Jan KŘETÍNSKÝ; David MÜLLER; David PARKER a Jan STREJČEK. The Hanoi Omega-Automata Format. In Daniel Kroening, Corina Pasareanu. Computer Aided Verification: 27th International Conference, CAV 2015. Cham: Springer, 2015, s. 479-486. ISBN 978-3-319-21689-8. Dostupné z: https://doi.org/10.1007/978-3-319-21690-4_31.

BABIAK, Tomáš; Thomas BADIE; Alexandre DURET-LUTZ; Mojmír KŘETÍNSKÝ a Jan STREJČEK. Compositional Approach to Suspension and Other Improvements to LTL Translation. In Ezio Bartocci, C. R. Ramakrishnan. Model Checking Software - 20th International Symposium, SPIN 2013. LNCS 7976. Berlin Heidelberg: Springer, 2013, s. 81-98. ISBN 978-3-642-39175-0. Dostupné z: https://doi.org/10.1007/978-3-642-39176-7_6.

BLAHOUDEK, František; Tomáš BABIAK; Mojmír KŘETÍNSKÝ a Jan STREJČEK. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment. In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Berlin Heidelberg: Springer, 2013, s. 24-38. ISBN 978-3-319-02443-1. Dostupné z: https://doi.org/10.1007/978-3-319-02444-8_4.

BABIAK, Tomáš; Jan STREJČEK a Vojtěch ŘEHÁK. Almost linear Büchi automata. Mathematical Structures in Computer Science. Cambridge: Cambridge University Press, 2012, roč. 22, č. 2, s. 203-235. ISSN 0960-1295. Dostupné z: https://doi.org/10.1017/S0960129511000399.

BABIAK, Tomáš; Mojmír KŘETÍNSKÝ; Vojtěch ŘEHÁK a Jan STREJČEK. LTL to Büchi Automata Translation: Fast and More Deterministic. In Cormac Flanagan, Barbara König. TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Berlin, Heidelberg: Springer-Verlag, 2012, s. 95-109. ISBN 978-3-642-28755-8. Dostupné z: https://doi.org/10.1007/978-3-642-28756-5_8.

BABIAK, Tomáš; Jan STREJČEK a Vojtěch ŘEHÁK. Almost Linear Büchi Automata. In MEMICS 2010. 2010. ISBN 978-80-87342-10-7.

BABIAK, Tomáš. LTL to Büchi Automata: Improved Once Again. In Young Researchers Forum, YRF@MFCSL 2010. 2010. ISBN 978-80-87342-09-1.

BABIAK, Tomáš. Translation of LTL to Büchi Automata: Improved Once Again. In Proceedings of 9th International Summer School on Modelling and Verifying Parallel Processes 2010 (MOVEP 2010). Aachen, Germany, 2010, s. 41-46.

BABIAK, Tomáš; Vojtěch ŘEHÁK a Jan STREJČEK. Almost Linear Büchi Automata. In Proceedings 16th International Workshop on Expressiveness in Concurrency 2009 (EXPRESS'09). 1st ed. internet: EPTCS, 2009, s. 16-25. ISSN 2075-2180.