Reordering derivatives of trace closures of regular languages H Maarand, T Uustalu 30th International Conference on Concurrency Theory (CONCUR 2019), 2019 | 4 | 2019 |
Certified normalization of generalized traces H Maarand, T Uustalu Innovations in Systems and Software Engineering 15 (3), 253-265, 2019 | 2 | 2019 |
Generating representative executions H Maarand, T Uustalu arXiv preprint arXiv:1704.03098, 2017 | 2 | 2017 |
Operational Semantics of Weak Sequential Composition H Maarand PhD thesis, Tallinn University of Technology, 2020 | 1 | 2020 |
Certified Foata normalization for generalized traces H Maarand, T Uustalu NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018 | 1 | 2018 |
Yet another canonical nondeterministic automaton H Maarand, H Tamm Theoretical Computer Science, 114581, 2024 | | 2024 |
Operational semantics with semicommutations H Maarand, T Uustalu Journal of Logical and Algebraic Methods in Programming 121, 100677, 2021 | | 2021 |
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) H Maarand, T Uustalu arXiv preprint arXiv:1908.03551, 2019 | | 2019 |