| 2025 | CPP | Intrinsically Correct Sorting in Cubical Agda. | Cass Alexandru, Vikraman Choudhury, Jurriaan Rot, Niels van der Weide |
| 2025 | CSL | Insights from Univalent Foundations: A Case Study Using Double Categories. | Nima Rasekh, Niels van der Weide, Benedikt Ahrens, Paige Randall North |
| 2025 | FSCD | Impredicative Encodings of Inductive and Coinductive Types. | Steven Bronsveld, Herman Geuvers, Niels van der Weide |
| 2025 | LICS | The internal languages of univalent categories. | Niels van der Weide |
| 2024 | CPP | Displayed Monoidal Categories for the Semantics of Linear Logic. | Benedikt Ahrens, Ralph Matthes, Niels van der Weide, Kobe Wullaert |
| 2024 | CPP | Univalent Double Categories. | Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North |
| 2024 | FSCD | Univalent Enriched Categories and the Enriched Rezk Completion. | Niels van der Weide |
| 2023 | FSCD | The Formal Theory of Monads, Univalently. | Niels van der Weide |
| 2023 | ITP | Certifying Higher-Order Polynomial Interpretations. | Niels van der Weide, Deivid Vale, Cynthia Kop |
| 2022 | LICS | Semantics for two-dimensional type theory. | Benedikt Ahrens, Paige Randall North, Niels van der Weide |
| 2020 | LICS | Constructing Higher Inductive Types as Groupoid Quotients. | Niels van der Weide |
| 2018 | CPP | Finite sets in homotopy type theory. | Dan Frumin, Herman Geuvers, Lon Gondelman, Niels van der Weide |