- Dimension drop in residual chains, with Sam Fisher, 2024 arXiv
- Order Σ-invariants, Novikov homology and nilpotent groups, 2024, Doctoral Thesis
- Sigma invariants for partial orders on nilpotent groups, 2023, arXiv
- Ore localisation: A formalisation in Lean, with Jakob von Raumer, 2022, mathlib
Kevin Klinge
Mathematician