1. A Quillen theorem B for strict ∞- categories;Ara;J. Lond. Math. Soc.,2019
2. D. Ara, A. Burroni, Y. Guiraud, P. Malbos, F. Métayer, S. Mimram, Polygraphs: From Rewriting to Higher Categories, In preparation.
3. The folk model category structure on strict ω- categories is monoidal;Ara;Theory Appl. Categ.,2020
4. Vers une structure de catégorie de modèles à la Thomason sur la catégorie des n- catégories strictes;Ara;Adv. Math.,2014
5. Un théorème A de Quillen pour les ∞- catégories strictes, I: la preuve simpliciale;Ara;Adv. Math.,2018