• Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektidKessler, Diana-Maria2025 https://www.ester.ee/record=b5753859*est https://digikogu.taltech.ee/et/Item/792ff142-321f-470c-b840-76489d4f9270 https://doi.org/10.23658/taltech.47/2025
• Constructive final semantics of finite bagsJoram, Philipp; Veltri, Niccolò14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 20232023 / art. 20, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.20 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85168772131&origin=inward&txGid=5c7420f11f6482da438fddb2618e6928
• Cyclic duality for slice and orbit 2-categoriesBoiquayea, John; Joram, Philipp; Krähmer, UlrichHigher Structures2024 / p. 136-162 : ill https://doi.org/10.21136/hs.2024.09
• Higher-dimensional subdiagram matchingHadzihasanovic, Amar; Kessler, Diana-Maria2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 20232023 / 13 p https://doi.org/10.1109/LICS56636.2023.10175726 https://www.scopus.com/sourceid/25562 https://www.scopus.com/record/display.uri?eid=2-s2.0-85162173175&origin=resultslist&sort=plf-f&src=s&sid=ec75abd3251d7087b754becbe52cb944&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Higher-Dimensional+Subdiagram+Matching%22%29&sl=104&sessionSearchId=ec75abd3251d7087b754becbe52cb944&relpos=0 https://www.webofscience.com/wos/woscc/full-record/WOS:001036707700023