Planification de trajectoires pour l'optimisation du trafic aérien. (Trajectory planning for air traffic optimization). - Cyril Allignol (2011)

Constraint programming for air traffic management: a survey - In memory of Pascal Brisset. - Cyril Allignol; Nicolas Barnier; Pierre Flener; Justin Pearson (Knowl. Eng. Rev., 2012)

Trajectory deconfliction with constraint programming. - Nicolas Barnier; Cyril Allignol (Knowl. Eng. Rev., 2012)

Measuring the interactions between air traffic control and flow management using a simulation-based framework. - Thibault Lehouillier; François Soumis; Jérémy Omer; Cyril Allignol (Comput. Ind. Eng., 2016)

Towards a User Interface Description Language Based on Bigraphs. - Nicolas Nalpon; Cyril Allignol; Célia Picard (ICTAC, 2022)

BiCoq : Bigraphs Formalisation with Coq. - Cécile Marcon; Cyril Allignol; Célia Picard; Blair Archibald; Michele Sevegnani; Xavier Thirioux (SAC, 2025)