Data structures for topologically sound higher-dimensional diagram rewriting. - Amar Hadzihasanovic; Diana Kessler (ACT, 2022)

Higher-Dimensional Subdiagram Matching. - Amar Hadzihasanovic; Diana Kessler (LICS, 2023)

Why quantum state verification cannot be both efficient and secure: a categorical approach. - Fabian Wiesner; Ziad Chaoui; Diana Kessler; Anna Pappa 002; Martti Karvonen (CoRR, 2024)

Acyclicity Conditions on Pasting Diagrams. - Amar Hadzihasanovic; Diana Kessler (Appl. Categorical Struct., 2024)