| 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 | 15 | 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 | 14 | 2015 |
| 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 | 10 | 2018 |
| Nested antichains for WS1S T Fiedor, L Holík, O Lengál, T Vojnar Acta Informatica 56 (3), 205-228, 2019 | 9 | 2019 |
| Reasoning about Regular Properties: A Comparative Study T Fiedor, L Holík, M Hruška, A Rogalewicz, J Síč, P Vargovčík arXiv preprint arXiv:2304.05064, 2023 | 2 | 2023 |
| Perun: Performance Version System T Fiedor, J Pavela, A Rogalewicz, T Vojnar 2022 IEEE International Conference on Software Maintenance and Evolution …, 2022 | 1 | 2022 |
| 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íč arXiv preprint arXiv:2310.10136, 2023 | | 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 | | 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 LAP LAMBERT Academic Publishing, 2014 | | 2014 |
| Deciding WS1S Using an Automata-based Approach T Fiedor, L Holık, O Lengál, T á š Vojnar | | |
Lukas HolikBrno University of TehcnologyVerified email at fit.vutbr.cz
