Ing.

Pavol Vargovčík

Ph.D. student


ivargovcik@fit.vut.cz
A220 Office
158260/BUT personal ID

Publications

  • 2023

    FIEDOR Tomáš, HOLÍK Lukáš, HRUŠKA Martin, ROGALEWICZ Adam, SÍČ Juraj and VARGOVČÍK Pavol. Reasoning about Regular Properties: A Comparative Study. In: Automated Deduction - CADE 29. Cham: Springer Nature Switzerland AG, 2023, pp. 286-306. ISSN 0302-9743.
    Detail

  • 2021

    HOLÍK Lukáš and 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, pp. 243-264. ISBN 978-3-030-89051-3.
    Detail

  • 2019

    HOLÍK Lukáš and VARGOVČÍK Pavol. Verification of String Programs via Automata. In: PEFnet 2019 Extended Abstracts. Brno: Mendel University in Brno, 2019, pp. 155-156. ISBN 978-80-7509-692-0.
    Detail

Back to top