The Groupoidal Analogue $ widetilde{{ Theta}}$ to Joyal's Category Θ is a Test Category. - Dimitri Ara (Appl. Categorical Struct., 2012)

A Quillen Theorem B for strict ∞ -categories. - Dimitri Ara (J. Lond. Math. Soc., 2019)

Polygraphs: From Rewriting to Higher Categories. - Dimitri Ara; Albert Burroni; Yves Guiraud; Philippe Malbos; François Métayer; Samuel Mimram (CoRR, 2023)