The Higher Weight Enumerators of the Doubly-Even, Self-Dual [48, 24, 12] Code. - Dieter Britz; Thomas Britz; Keisuke Shiromoto; Henrik Kragh Sørensen (IEEE Trans. Inf. Theory, 2007)

Maximal Partial Latin Cubes. - Thomas Britz; Nicholas J. Cavenagh; Henrik Kragh Sørensen (Electron. J. Comb., 2015)

Counting Mathematical Diagrams with Machine Learning. - Henrik Kragh Sørensen; Mikkel Willum Johansen (Diagrams, 2020)

Beyond Counting: Measuring Diagram Intensity in Mathematical Research Papers. - Henrik Kragh Sørensen (Diagrams, 2021)

Mathematicians writing for mathematicians. - Line Edslev Andersen; Mikkel Willum Johansen; Henrik Kragh Sørensen (Synth., 2021)

Epistemic Roles of Diagrams in Short Proofs. - Henrik Kragh Sørensen; Mikkel Willum Johansen (Diagrams, 2022)