Ing.

Pavol Vargovčík

Ph.D. student


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

Publications

  • 2024

    HOLÍK Lukáš and VARGOVČÍK Pavol. Antichain with SAT and Tries. In: 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024) . Leibniz International Proceedings in Informatics (LIPIcs), vol. 2024. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2024, pp. 1-15. ISBN 978-3-95977-334-8. ISSN 1868-8969.
    Detail

  • 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