Tomás Fiedor

According to our database, Tomás Fiedor authored at least 8 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Mata: A Fast and Simple Finite Automata Library.

David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Mata, a Fast and Simple Finite Automata Library (Technical Report).

David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc

CoRR, 2023

Reasoning About Regular Properties: A Comparative Study.

Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Perun: Performance Version System.

Tomás Fiedor, Jirí Pavela, Adam Rogalewicz, Tomás Vojnar

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

Orchestrating Digital Twins for Distributed Manufacturing Execution Systems.

Tomás Fiedor, Martin Hruska, Ales Smrcka

Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

2019

Nested antichains for WS1S.

Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar

Acta Informatica, 2019

2018

From Shapes to Amortized Complexity.

Tomás Fiedor, Lukás Holík, Adam Rogalewicz, Moritz Sinn, Tomás Vojnar, Florian Zuleger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2017

Lazy Automata Techniques for WS1S.

Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017