Connecting 3-manifold triangulations with monotonic sequences of bistellar flips. - Benjamin A. Burton; Alexander He 001 (CoRR, 2020)

On the hardness of finding normal surfaces. - Benjamin A. Burton; Alexander He 001 (J. Appl. Comput. Topol., 2021)

Finding Large Counterexamples by Selectively Exploring the Pachner Graph. - Benjamin A. Burton; Alexander He 001 (SoCG, 2023)

Arc Diagrams on 3-Manifold Spines. - Jack Brand; Benjamin A. Burton; Zsuzsanna Dancso; Alexander He 001; Adele Jackson; Joan Licata (Discret. Comput. Geom., 2024)

A Practical Algorithm for Knot Factorisation. - Alexander He 001; Eric Sedgwick; Jonathan Spreer (SoCG, 2025)

AlexHe98/idealedge. - Alexander He 001 (DROPS Artifacts, 2025)