Zigzag normalisation for associative n-categories. - Lukas Heidemann; David Reutter; Jamie Vicary (LICS, 2022)

Tierkreis: A Dataflow Framework for Hybrid Quantum-Classical Computing. - Seyon Sivarajah; Lukas Heidemann; Alan Lawrence; Ross Duncan (CoRR, 2022)

Framed Combinatorial Topology with Labels in ∞-Categories. - Lukas Heidemann (CoRR, 2023)

homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories. - Nathan Corbyn; Lukas Heidemann; Nick Hu; Chiara Sarti; Calin Tataru; Jamie Vicary (FSCD, 2024)

Manifold Diagrams for Higher Categories. - Lukas Heidemann (CoRR, 2024)