1. M. Aouchiche, Comparison automatise d’invariants en théorie des graphes, Ph.D. Thesis, École Polytechnique de Montréal, February 2006.
2. Variable neighborhood search for extremal graphs, 14. The AutoGraphiX 2 System;Aouchiche,2006
3. Variable neighborhood search for extremal graphs. 21. Conjectures and results about the independence number;Aouchiche;Discrete Appl. Math.,2008
4. Automated results and conjectures on average distance in graphs;Aouchiche,2007
5. A survey of automated conjectures in spectral graph theory;Aouchiche;Linear Algebra Appl.,2010