Generating Representative Executions [Extended Abstract]. - Hendrik Maarand; Tarmo Uustalu (PLACES@ETAPS, 2017)

Certified Foata Normalization for Generalized Traces. - Hendrik Maarand; Tarmo Uustalu (NFM, 2018)

Reordering Derivatives of Trace Closures of Regular Languages. - Hendrik Maarand; Tarmo Uustalu (CONCUR, 2019)

Reordering Derivatives of Trace Closures of Regular Languages (Full Version). - Hendrik Maarand; Tarmo Uustalu (CoRR, 2019)

Certified normalization of generalized traces. - Hendrik Maarand; Tarmo Uustalu (Innov. Syst. Softw. Eng., 2019)

Operational semantics with semicommutations. - Hendrik Maarand; Tarmo Uustalu (J. Log. Algebraic Methods Program., 2021)

Yet another canonical nondeterministic automaton. - Hendrik Maarand; Hellis Tamm (Theor. Comput. Sci., 2024)