Lazy automata techniques for WS1S T Fiedor, L Holík, P Janků, O Lengál, T Vojnar Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 18 | 2017 |
Nested antichains for WS1S T Fiedor, L Holík, O Lengál, T Vojnar Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 15 | 2015 |
Nested antichains for WS1S T Fiedor, L Holík, O Lengál, T Vojnar Acta Informatica 56 (3), 205-228, 2019 | 12 | 2019 |
From shapes to amortized complexity T Fiedor, L Holík, A Rogalewicz, M Sinn, T Vojnar, F Zuleger Verification, Model Checking, and Abstract Interpretation: 19th …, 2018 | 11 | 2018 |
Reasoning about regular properties: A comparative study T Fiedor, L Holík, M Hruška, A Rogalewicz, J Síč, P Vargovčík International Conference on Automated Deduction, 286-306, 2023 | 5 | 2023 |
Mata: A Fast and Simple Finite Automata Library D Chocholatý, T Fiedor, V Havlena, L Holík, M Hruška, O Lengál, J Síč International Conference on Tools and Algorithms for the Construction and …, 2024 | 4 | 2024 |
Mata, a Fast and Simple Finite Automata Library (Technical Report) D Chocholatý, T Fiedor, V Havlena, L Holík, M Hruška, O Lengál, J Síč arXiv e-prints, arXiv: 2310.10136, 2023 | 2 | 2023 |
Orchestrating Digital Twins for Distributed Manufacturing Execution Systems T Fiedor, M Hruška, A Smrčka International Conference on Computer Aided Systems Theory, 223-231, 2022 | 2 | 2022 |
Perun: Performance Version System T Fiedor, J Pavela, A Rogalewicz, T Vojnar 2022 IEEE International Conference on Software Maintenance and Evolution …, 2022 | 1 | 2022 |
Software pro měření a vyhodnocení výkonnostních parametrů P Čeleda, A Tomči, D Iľkovič, M Madzia, J Ziková, A Smrčka, T Fiedor, ... | | 2021 |
Automata in Decision Procedures and Performance Analysis T Fiedor | | 2019 |
A Decision Procedure For The WSkS Logic T Fiedor Vysoké učení technické v Brně. Fakulta informačních technologií, 2019 | | 2019 |
Deciding WS1S Using an Automata-based Approach T Fiedor, L Holık, O Lengál, T á š Vojnar | | |