Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver. - Denis Bouhineau (AISMC, 1996)

La programmation loique par contraintes pour l'aide à l'enseignant. - Denis Bouhineau; Stéphane Channac (Intelligent Tutoring Systems, 1996)

Construction automatique de figures géometriques et programmation logique avec contraintes. (Automated construction of geometric figures). - Denis Bouhineau (1997)

An Application of CLP: Checking the Correctness of Theorems in Geometry. - Denis Bouhineau; Laurent Trilling; Jacques Cohen (Constraints An Int. J., 1999)

The Aplusix-Editor: A New Kind of Software for the Learning of Algebra. - Jean-François Nicaud; Denis Bouhineau; Thomas Huguet (Intelligent Tutoring Systems, 2002)

Mixing Microworld and Cas Features in Building Computer Systems that Help Students Learn Algebra. - Jean-François Nicaud; Denis Bouhineau; Hamid Chaachoua (Int. J. Comput. Math. Learn., 2004)

An Analysis of Interactive Learning Environments for Arithmetic and Algebra Through an Integrative Perspective. - Jana Trgalová; Denis Bouhineau; Jean-François Nicaud (Int. J. Comput. Math. Learn., 2009)

DOP8: merging both data and analysis operators life cycles for technology enhanced learning. - Nadine Mandran; Michael Ortega; Vanda Luengo; Denis Bouhineau (LAK, 2015)

Human Scoring Versus Automatic Scoring of Computer Programs: Does Algo+ Score as well as Instructors? An Experimental Study. - Anis Bey; Denis Bouhineau; Ronan Champagnat (ICALT, 2018)