1. The uniform homotopy category;Journal of Pure and Applied Algebra;2024-01
2. Genuine versus naïve symmetric monoidal $G$-categories;Documenta Mathematica;2023-11-14
3. Exponentials of non-singular simplicial sets;Homology, Homotopy and Applications;2022
4. Filter quotients and non-presentable (∞,1)-toposes;Journal of Pure and Applied Algebra;2021-12
5. CLASSIFYING SPACES AND THE LASCAR GROUP;The Journal of Symbolic Logic;2021-09-13