Denis Bouhineau

According to our database, Denis Bouhineau authored at least 9 papers between 1996 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Human Scoring Versus Automatic Scoring of Computer Programs: Does Algo+ Score as well as Instructors? An Experimental Study.

Anis Bey, Denis Bouhineau, Ronan Champagnat

Proceedings of the 18th IEEE International Conference on Advanced Learning Technologies, 2018

2015

DOP8: merging both data and analysis operators life cycles for technology enhanced learning.

Nadine Mandran, Michael Ortega, Vanda Luengo, Denis Bouhineau

Proceedings of the Fifth International Conference on Learning Analytics And Knowledge, 2015

2009

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

2004

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

2002

The Aplusix-Editor: A New Kind of Software for the Learning of Algebra.

Jean-François Nicaud, Denis Bouhineau, Thomas Huguet

Proceedings of the Intelligent Tutoring Systems, 6th International Conference, 2002

1999

An Application of CLP: Checking the Correctness of Theorems in Geometry.

Denis Bouhineau, Laurent Trilling, Jacques Cohen

Constraints An Int. J., 1999

1997

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

Denis Bouhineau

PhD thesis, 1997

1996

La programmation loique par contraintes pour l'aide à l'enseignant.

Denis Bouhineau, Stéphane Channac

Proceedings of the Intelligent Tutoring Systems, Third International Conference, 1996

Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver.

Denis Bouhineau

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996