Barbora Smahlkov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2022–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FOSSACS | Complementation of Emerson-Lei Automata. | Vojtech Havlena, Ondrej Lengl, Barbora Smahlkov |
| 2023 | TACAS | Modular Mix-and-Match Complementation of Bchi Automata. | Vojtech Havlena, Ondrej Lengl, Yong Li, Barbora Smahlkov, Andrea Turrini |
| 2022 | CAV | Complementing Bchi Automata with Ranker. | Vojtech Havlena, Ondrej Lengl, Barbora Smahlkov |
| 2022 | TACAS | Sky Is Not the Limit - Tighter Rank Bounds for Elevator Automata in Bchi Automata Complementation. | Vojtech Havlena, Ondrej Lengl, Barbora Smahlkov |