• Certified normalization of generalized tracesMaarand, Hendrik; Uustalu, TarmoInnovations in Systems and Software Engineering2019 / p. 253–265 https://doi.org/10.1007/s11334-019-00347-1 https://www.scopus.com/sourceid/300147006 https://www.scopus.com/record/display.uri?eid=2-s2.0-85067808291&origin=inward&txGid=d669738c0007c9065fbd329ad93c7251 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INNOV%20SYST%20SOFTW%20ENG&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000482389700006
• Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, TarmoJournal of logical and algebraic methods in programming2021 / art. 100677, 27 p https://doi.org/10.1016/j.jlamp.2021.100677 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85104417236&origin=inward&txGid=06cb22366fc447c4b2b53c7efef0f855 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000653017200003
• Reordering derivatives of trace closures of regular languages [Online resource]Maarand, Hendrik; Uustalu, Tarmo30th International Conference on Concurrency Theory : (CONCUR 2019)2019 / art. 40 ; 40:1–40:16 https://doi.org/10.4230/LIPIcs.CONCUR.2019.40 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85071609227&origin=inward&txGid=744304a9fedf8eba5714cdb0ce382fe3
• String diagrammatic trace theoryEarnshaw, Matthew David; Sobocinski, Pawel Maria48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)2023 / art. 43, 43 p. : ill https://doi.org/10.4230/LIPIcs.MFCS.2023.43 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85171429494&origin=inward&txGid=f16fcfa7168c0f6d85c6e275ece30436