1. Nerves of multiple categories;Al-Agl;Proc. Lond. Math. Soc. (3),1993
2. Sur les ∞-groupoïdes de Grothendieck et une variante ∞-catégorique;Ara,2010
3. On the homotopy theory of Grothendieck ∞-groupoids;Ara;J. Pure Appl. Algebra,2013
4. Sur les types d'homotopie modélisés par les ∞-groupoïdes stricts;Ara;Theory Appl. Categ.,2013
5. Higher quasi-categories vs higher Rezk spaces;Ara;J. K-Theory,2014