| 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 International Conference on Descriptional Complexity of Formal Systems, 184-196, 2022 | | 2022 |
| 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 |
