Pavol Vargovck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2024
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAT | Antichain with SAT and Tries. | Luks Holk, Pavol Vargovck |
| 2023 | CADE | Reasoning About Regular Properties: A Comparative Study. | Toms Fiedor, Luks Holk, Martin Hruska, Adam Rogalewicz, Juraj Sc, Pavol Vargovck |
| 2021 | APLAS | Simplifying Alternating Automata for Emptiness Testing. | Pavol Vargovck, Luks Holk |