On the Flora of Asynchronous Locally Non-monotonic Boolean Automata Networks. - Aurore Alcolei; Kévin Perrot; Sylvain Sené (SASB, 2015)

The True Concurrency of Herbrand's Theorem. - Aurore Alcolei; Pierre Clairambault; Martin Hyland; Glynn Winskel (CSL, 2018)

Resource-Tracking Concurrent Games. - Aurore Alcolei; Pierre Clairambault; Olivier Laurent 001 (FoSSaCS, 2019)

Enriched concurrent games : witnesses for proofs and resource analysis. (Jeux concurrents enrichis : témoins pour les preuves et les ressources). - Aurore Alcolei (2019)

The exponential logic of sequentialization. - Aurore Alcolei; Luc Pellissier; Alexis Saurin (MFPS, 2023)