• Acyclicity conditions on pasting diagramsHadzihasanovic, Amar; Kessler, DianaApplied Categorical Structures2024 / art. 31 https://doi.org/10.1007/s10485-024-09784-x https://www.scopus.com/sourceid/28049 https://www.scopus.com/record/display.uri?eid=2-s2.0-85206565383&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2Fs10485-024-09784-x%29&sessionSearchId=e1befdb1cf15a568da5cda41fe0f6fd4&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=APPL%20CATEGOR%20STRUCT&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001333606900001
• Data structures for topologically sound higher-dimensional diagram rewritingHadzihasanovic, Amar; Kessler, Diana5th International Conference on Applied Category Theory, ACT 2022, Hybrid, Glasgow, 18-22 July 20222023 / p. 111-127 : ill https://doi.org/10.4204/EPTCS.380.7 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169429815&origin=inward&txGid=64272195c9477aa9215f82f729a2f73b https://www.webofscience.com/wos/woscc/full-record/WOS:001048400000007
• Higher-dimensional subdiagram matchingHadzihasanovic, Amar; Kessler, Diana2023 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