Codensity Games for Bisimilarity. - Yuichi Komorida; Shin-ya Katsumata; Nick Hu; Bartek Klin; Ichiro Hasuo (LICS, 2019)

Traced Monoidal Categories as Algebraic Structures in Prof. - Nick Hu; Jamie Vicary (MFPS, 2021)

Codensity Games for Bisimilarity. - Yuichi Komorida; Shin-ya Katsumata; Nick Hu; Bartek Klin; Samuel Humeau 002; Clovis Eberhart; Ichiro Hasuo (New Gener. Comput., 2022)

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)

E-Graphs With Bindings. - Aleksei Tiurin; Dan R. Ghica; Nick Hu (CoRR, 2025)