Toms Fiedor
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2015–2024
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | TACAS | Mata: A Fast and Simple Finite Automata Library. | David Chocholat, Toms Fiedor, Vojtech Havlena, Luks Holk, Martin Hruska, Ondrej Lengl, Juraj Sc |
| 2023 | CADE | Reasoning About Regular Properties: A Comparative Study. | Toms Fiedor, Luks Holk, Martin Hruska, Adam Rogalewicz, Juraj Sc, Pavol Vargovck |
| 2018 | VMCAI | From Shapes to Amortized Complexity. | Toms Fiedor, Luks Holk, Adam Rogalewicz, Moritz Sinn, Toms Vojnar, Florian Zuleger |
| 2017 | TACAS | Lazy Automata Techniques for WS1S. | Toms Fiedor, Luks Holk, Petr Janku, Ondrej Lengl, Toms Vojnar |
| 2015 | TACAS | Nested Antichains for WS1S. | Toms Fiedor, Luks Holk, Ondrej Lengl, Toms Vojnar |