Partitioning Permutations into Monotone Subsequences. - David Wärn (Electron. J. Comb., 2021)

Eilenberg-MacLane spaces and stabilisation in homotopy type theory. - David Wärn (CoRR, 2023)

Natural numbers from integers. - Christian Sattler; David Wärn (LICS, 2024)

The Steenrod squares via unordered joins. - Axel Ljungström; David Wärn (CoRR, 2025)