Adla Stepkov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2025–2026
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Re3ver: Reverse and Verify - (Competition Contribution). | Adla Stepkov, Martin Jons, Jan Strejcek |
| 2025 | FCT | On Complementation of Nondeterministic Finite Automata Without Full Determinization. | Luks Holk, Ondrej Lengl, Juraj Major, Adla Stepkov, Jan Strejcek |
| 2025 | ISSTA | Reversing Programs for Error Reachability Analysis. | Adla Stepkov |