Verifying the Steane code with Quantomatic. - Ross Duncan; Maxime Lucas (QPL, 2013)

Cubical categories for homotopy and rewriting. (Les catégories cubiques en homotopie et en réécriture). - Maxime Lucas (2017)

Abstract rewriting internalized. - Maxime Lucas (CoRR, 2020)

Strategies for linear rewriting systems: link with parallel rewriting and involutive divisions. - Cyrille Chenavier; Maxime Lucas (CoRR, 2020)

Networks beyond pairwise interactions: structure and dynamics. - Federico Battiston; Giulia Cencetti; Iacopo Iacopini; Vito Latora; Maxime Lucas; Alice Patania; Jean-Gabriel Young; Giovanni Petri (CoRR, 2020)

A cubical Squier's theorem. - Maxime Lucas (Math. Struct. Comput. Sci., 2020)

A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory. - Eric Finster; Samuel Mimram; Maxime Lucas; Thomas Seiller (MFPS, 2021)

Do higher-order interactions promote synchronization? - Yuanzhao Zhang; Maxime Lucas; Federico Battiston (CoRR, 2022)

Simplicially driven simple contagion. - Maxime Lucas; Iacopo Iacopini; Thomas Robiglio; Alain Barrat; Giovanni Petri (CoRR, 2022)

Social learning across symbolic cultural barriers in non-human cultures. - António Leitão; Maxime Lucas; Simone Poetto; Taylor A. Hersh; Shane Gero; David F. Gruber; Michael M. Bronstein; Giovanni Petri (CoRR, 2023)

XGI: A Python package for higher-order interaction networks. - Nicholas W. Landry; Maxime Lucas; Iacopo Iacopini; Giovanni Petri; Alice Schwarze; Alice Patania; Leo Torres 003 (J. Open Source Softw., 2023)

Phasik: a Python package to identify system states in partially temporal networks. - Maxime Lucas; Alex Townsend-Teague; Matteo Neri; Simone Poetto; Arthur Morris; Bianca Habermann; Laurent Tichit (J. Open Source Softw., 2023)