Tomás Fiedor

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 11

Top Topics

Finite Automata

Multiply Sectioned Bayesian Networks

Technical Report

Top Venues

Acta Informatica

Publications

David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc
Mata: A Fast and Simple Finite Automata Library. TACAS (2) (2024)
Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík
Reasoning about Regular Properties: A Comparative Study. CoRR (2023)
David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc
Mata, a Fast and Simple Finite Automata Library (Technical Report). CoRR (2023)
Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík
Reasoning About Regular Properties: A Comparative Study. CADE (2023)
Tomás Fiedor, Jirí Pavela, Adam Rogalewicz, Tomás Vojnar
Perun: Performance Version System. ICSME (2022)
Tomás Fiedor, Jirí Pavela, Adam Rogalewicz, Tomás Vojnar
Perun: Performance Version System. CoRR (2022)
Tomás Fiedor, Martin Hruska, Ales Smrcka
Orchestrating Digital Twins for Distributed Manufacturing Execution Systems. EUROCAST (2022)
Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Nested antichains for WS1S. Acta Informatica 56 (3) (2019)
Tomás Fiedor, Lukás Holík, Adam Rogalewicz, Moritz Sinn, Tomás Vojnar, Florian Zuleger
From Shapes to Amortized Complexity. VMCAI (2018)
Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar
Lazy Automata Techniques for WS1S. CoRR (2017)
Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar
Lazy Automata Techniques for WS1S. TACAS (1) (2017)
Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Nested Antichains for WS1S. TACAS (2015)
Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Nested Antichains for WS1S. CoRR (2015)