Publikace
-
2023
FIEDOR Tomáš, HOLÍK Lukáš, HRUŠKA Martin, ROGALEWICZ Adam, SÍČ Juraj a VARGOVČÍK Pavol. Reasoning about Regular Properties: A Comparative Study. In: Automated Deduction - CADE 29. Cham: Springer Nature Switzerland AG, 2023, s. 286-306. ISSN 0302-9743.
Detail -
2021
HOLÍK Lukáš a VARGOVČÍK Pavol. Simplifying Alternating Automata for Emptiness Testing. In: Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings. Cham: Springer International Publishing, 2021, s. 243-264. ISBN 978-3-030-89051-3.
Detail -
2019
HOLÍK Lukáš a VARGOVČÍK Pavol. Verification of String Programs via Automata. In: PEFnet 2019 Extended Abstracts. Brno: Mendelova univerzita v Brně, 2019, s. 155-156. ISBN 978-80-7509-692-0.
Detail