Publications de l'auteur Denis Bouhineau


Voir le profil PISTOU de l'auteur

La liste contient 43 élément(s)

(Les éditeurs apparaissent en italique)


Exporter la liste au format
Retrier la liste par :

International peer reviewed journal [ACL]
2009
1
Jana Trgalova, Denis Bouhineau, Jean-François Nicaud.
An Analysis of Interactive Learning Environments for Arithmetic and Algebra Through an Integrative Perspective.
International Journal of Computers for Mathematical Learning, 14 (3):299-331, 2009.
[ abstract ]
bibtex/ html
2008
2
Abdelhamid Chaachoua, Denis Bouhineau, Jean-François Nicaud.
Helping Teachers Generate Exercises with Random Coefficients.
International Journal of Continuing Engineering Education and Life-Long Learning, 18(5/6):520--533, jan 2008.
bibtex/ html
2005
3
Abdelhamid Chaachoua, Denis Bouhineau, Alain Bronner, Sophie Mezerette, Jean-François Nicaud.
Computer Assisted Assessment in Elementary Algebra.
Computer-Aided Assessment - Online, Nov:(11 pages), 2005. Note: reviewed article for online journal available : http://mathstore.ac.uk/articles/maths-caa-series/nov2005/.
Www-128x128 [ abstract ]
bibtex/ html
2004
4
Abdelhamid Chaachoua, Jean-François Nicaud, Denis Bouhineau.
Mixing Microworld and Cas Features in Building Computer Systems that Help Students Learn Algebra.
International Journal of Computers for Mathematical Learning, 9 (2):169-211, 2004.
[ abstract ]
bibtex/ html
2002
5
Denis Bouhineau, Jean-François Nicaud, X. Pavard, Emmanuel Sander.
A Microworld for Helping Students to Learn Algebra.
proceddings of ICTMT, 5, 2002.
bibtex/ html
2001
6
Denis Bouhineau, Jean-François Nicaud, X. Pavard, Emmanuel Sander.
Un micromonde pour aider les élèves à apprendre l'algèbre.
Sciences et techniques éducatives, 8(1-2):33--47, 2001.
bibtex/ html
1999
7
Denis Bouhineau, Laurent Trilling, Johanne Cohen.
An Application of CLP: Checking the Correctness of Theorems in Geometry.
Constraints, 4(4):383--405, 1999.
bibtex/ html
1996
8
Denis Bouhineau.
Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver.
LECTURE NOTES IN COMPUTER SCIENCE, :274--288, 1996.
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2008
9
Jean-François Nicaud, Denis Bouhineau.
Natural Editing of Algebraic Expressions.
169:1-15, jun 2008. Note: version longue d une communication à MathUI workshop, Linz, Austria, June 2007.
bibtex/ html
2007
10
Denis Bouhineau, Jean-François Nicaud, Christophe Viudez.
Adding new Representations of Mathematical Objects to Aplusix.
proceedings of the 8th International Conference on Technology in Mathematics Teaching. Hradec Kralove, Czech Republic, isbn 978-80-7041-285-5, :(5 pages), jul 2007.
bibtex/ html
11
Abdelhamid Chaachoua, Denis Bouhineau, C. Douine, Jean-François Nicaud.
Helping Teachers Generate Exercises with Random Coefficients.
proceedings of the 8th International Conference on Technology in Mathematics Teaching. Hradec Kralove, Czech Republic, isbn 978-80-7041-285-5, :(5 pages), jul 2007.
bibtex/ html
2006
12
Abdelhamid Chaachoua, Jean-François Nicaud, Denis Bouhineau, Jana Trgalova.
Developing Interactive Learning Environments that can be used by all the classes having access to computers. The case of Aplusix for algebra.
The Seventeenth ICMI Study: Technology Revisited, Hanoi, :1-11, 2006.
Www-128x128 [ abstract ]
bibtex/ html
2005
13
Abdelhamid Chaachoua, Jean-François Nicaud, Denis Bouhineau, Marilena Bittar.
Student's modelling with a lattice of conceptions in the domain of linear equations and inequations.
Proceedings of the Usage analysis workshop of the AI-ED conference AI-ED, :(8 pages), Amsterdam Pays-Bas, 2005.
Www-128x128 [ abstract ]
bibtex/ html
14
Abdelhamid Chaachoua, Denis Bouhineau, Jean-François Nicaud, Marilena Bittar, Alain Bronner.
Two Years Of Use Of The Aplusix System.
Proceeding of the 8th IFIP World Conference on Computer in Education. 8th IFIP World Conference on Computer in Education, :(8 pages), Cape Town Afrique du Sud, 2005.
Www-128x128 [ abstract ]
bibtex/ html
2004
15
Abdelhamid Chaachoua, Jean-François Nicaud, Alain Bronner, Denis Bouhineau.
APLUSIX, A learning environment for algebra, actual use and benefits.
Proceedings of ICME-10 ICME 10 : 10th International Congress on Mathematical Education, July 4-11, 2004, :8, Copenhagen Danemark, 2004.
Www-128x128 [ abstract ]
bibtex/ html
2003
16
Abdelhamid Chaachoua, Jean-François Nicaud, Denis Bouhineau, Henning Thomas, Alain Bronner.
A computer program for the learning of algebra: description and first experiment.
Proceedings of the PEG 2003 conference, St. Petersburg, Russia, June 2003 PEG 2003 Conference, :7, St. Petersburg Russie, 2003.
Www-128x128
bibtex/ html
17
Alain Bronner, Henning Thomas, Denis Bouhineau, Jean-François Nicaud.
Usages didactiques du logiciel Aplusix pour l'enseignement de l'algebre.
Reims France, 2003.
Www-128x128 [ abstract ]
bibtex/ html
18
Gilles Bisson, Alain Bronner, Mirta B. Gordon, Jean-François Nicaud, David Renaudie.
Pascal Marquet, Denis Bouhineau, Cyrille Desmoulins.
Analyse statistique de comportements d'élèves en algèbre.
Environnements Informatiques pour l'Apprentissage Humain 2003, :67-78, Strasbourg France, 2003.
Www-128x128 [ abstract ]
bibtex/ html
19
Faiçal Azouaou, Cyrille Desmoulins, Dominique Mille.
Pascal Marquet, Denis Bouhineau, Cyrille Desmoulins.
Formalismes pour une mémoire de formation à base d'annotations.
Environnements Informatiques pour l'Apprentissage Humain 2003, :43-54, Strasbourg France, 2003.
Www-128x128 [ abstract ]
bibtex/ html
20
Florence Michau, Stéphane Ploix.
Pascal Marquet, Denis Bouhineau, Cyrille Desmoulins.
Proposition de carte organisationnelle : décrire le rôle d'un environnement informatique au sein d'un dispositif pédagogique.
Environnements Informatiques pour l'Apprentissage Humain 2003, :331-342, Strasbourg France, 2003.
Www-128x128 [ abstract ]
bibtex/ html
2002
21
Jean-François Nicaud, Denis Bouhineau, Henning Thomas.
The Aplusix-Editor: A New Kind of Software for the Learning of Algebra.
Intelligent Tutoring Systems : 6th International Conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2-7, 2002. 6th International Conference on Intelligent Tutoring Systems, ITS 2002, :178-187, Lecture Notes in Computer Science, France, 2002.
Www-128x128 [ abstract ]
bibtex/ html
22
Denis Bouhineau, Henning Thomas, Jean-François Nicaud.
Doing mathematics with the APLUSIX-Editor.
2002.
bibtex/ html
2001
23
Denis Bouhineau, Jean-François Nicaud, X. Pavard.
Edix: A Software for Editing Algebraic Expressions..
Proceedings of ACTMT2001, the Sixth Asian Technology Conference in Mathematics. The University of Melbourne, dec 2001.
bibtex/ html
24
Jean-François Nicaud, Denis Bouhineau, J.M. G'elis.
Syntax and semantics in algebra.
Proceedings of the 12th ICMI Study Conference. The University of Melbourne, 2001.
bibtex/ html
2000
25
Denis Bouhineau.
Implantation de la couche algébrique à base de règles de réécriture dans le nouvel APLUSIX.
Journées apprentissage et calcul symbolique, Institut National de Recherche Pédagogique, isbn : 2-7342-0840-7, 2000.
bibtex/ html
26
Jean-François Nicaud, Denis Bouhineau.
Implementation of the algebraic layer of the new APLUSIX with rewriting rules.
Proceedings du worshop "Learning algebra with the computer" de ITS'2000 Université Québec, Montréal., 2000.
bibtex/ html
1999
27
Jean-François Nicaud, Denis Bouhineau, Christian Varlet, Anh Nguyen-Xuan.
S. Lajoie, Martial Vivet.
Towards a product for teaching formal algebra.
Proceedings of the International Conference on Artificial Intelligence and Education (AI-ED) nternational Conference on Artificial Intelligence and Education (AI-ED), Le Mans, juillet 1999, :207-214, Le Mans France, 1999.
Www-128x128 [ abstract ]
bibtex/ html
1996
28
Denis Bouhineau, St'ephane Channac.
La programmation logique par contraintes pour l'aide à l'enseignant.
Third International Conference on Intelligent Tutoring Systems ITS'96, Montréal-Canada. LNCS 1086. Third International Conference on Intelligent Tutoring Systems ITS'96, :333-342, Montréal Canada, 1996.
Www-128x128 [ abstract ]
bibtex/ html
29
Denis Bouhineau, St'ephane Channac, Laurent Trilling.
Sphinx : un préceptoriel de géométrie produisant des contre-exemples..
Third International Conference on Intelligent Tutoring Systems ITS'96, Montréal-Canada., 1996.
bibtex/ html
1995
30
Denis Bouhineau.
Vers une approche déclarative pour les logiciels de dessins géométriques.
4e journée EIAO de l'ENS Cachan 4e journée EIAO de l'ENS Cachan, :55-66, Cachan France, 1995.
Www-128x128 [ abstract ]
bibtex/ html
31
Denis Bouhineau.
Verification of non-linear overconstraints in Euclidean geometry with linear programming.
proceedings of OverConstraints Systems, ISSN 0302-9743. Cassis 1995., 1995.
bibtex/ html
1993
32
R. Allen, Denis Bouhineau, Laurent Trilling.
Construction and manipulation of geometric figures.
fourth international workshop on Constraint and Logic Programming, WCLP'93, Marseille, mar 1993.
bibtex/ html
Scientific books and chapter [OS]
2006
33
Denis Bouhineau, Jean-François Nicaud.
Monique Grandbastien, Jean-Marc Labat.
Environnements Informatiques et Apprentissage Humain.
Collection IC2, Chapitre 15 : APLUSIX, un EIAH de l'algèbre, :333-350, Hermès-Lavoisier, 2006. Note: Grandbastien , Monique and Labat , Jean-Marc (Eds).
Exec-wine-128x128
bibtex/ html
National peer reviewed journal [ACLN]
2007
34
Abdelhamid Chaachoua, Marie-Caroline Croset, Denis Bouhineau, Marilena Bittar, Jean-François Nicaud.
Description et exploitations des traces du logiciel d algèbre Aplusix.
Revue des Sciences et Technologies de l'Information et de la Communication pour l'Education et la Formation (STICEF), Vol 14:26 pages, 2007.
Www-128x128
bibtex/ html
National peer-reviewed conference proceedings [ACTN]
2011
35
Denis Bouhineau.
Ajax pour EIAH ? Choix technologique pour un EIAH de l’algorithmique : EDBA.
Conférence Environnements Informatiques pour l'Apprentissage Humain, EIAH 2011, Mons, Belgique, may 2011. Note: isbn : 978 2 87325 061 4.
Pdf-128x128
bibtex/ html
36
Denis Bouhineau, François Puitg.
Évaluations de solutions d’exercices d’algorithmique, « à la main » versus « automatiques par jeux d’essai ».
Conférence Environnements Informatiques pour l'Apprentissage Humain, EIAH 2011, Mons, Belgique, may 2011. Note: isbn : 978 2 87325 061 4.
bibtex/ html
2009
37
Denis Bouhineau, Jana Trgalova, Jean-François Nicaud.
Analyse d'EIAH en arithmétique et en algèbre.
Actes de la conférence EIAH 2009, :(4 pages), 2009.
bibtex/ html
2007
38
Abdelhamid Chaachoua, Denis Bouhineau, Christophe Viudez, Jean-François Nicaud.
Introduction de nouvelles représentations dans le micromonde Aplusix Représentations sous forme mixte Naturelle & Arbre et sous forme graphique d expressions algébriques.
Actes de la conférence EIAH2007, Environnements Informatiques pour l'apprentissage humain, Lausanne, 27-29 juin 2007 EIAH2007, Environnements Informatiques pour l'apprentissage humain, :12 pages, Lausanne Suisse, 2007.
Www-128x128
bibtex/ html
2005
39
Abdelhamid Chaachoua, Denis Bouhineau, Alain Bronner, Jean-François Nicaud.
Informaticiens et didacticiens peuvent-ils travailler ensemble ? Une étape du développement de l'EIAH APLUSIX : la mise en place de patrons d'exercices et d'une carte de tests..
122:1-15, 2005. Note: Version longue (15 pages) d'une communication (6 pages) acceptée aux journées {EIAH}'2005.
Www-128x128 [ abstract ]
bibtex/ html
2003
40
Abdelhamid Chaachoua, Denis Bouhineau, Alain Bronner, Henning Thomas.
Pascal Marquet, Denis Bouhineau, Cyrille Desmoulins.
Analyse didactique de protocoles obtenus dans un EIAH en algèbre.
Actes de la conférence EIAH 2003, Strasbourg, 15-17 avril Environnements Informatiques pour l'Apprentissage Humain, 15, 16 et 17 avril 2003, :79-90, Strasbourg France, 2003.
Www-128x128 [ abstract ]
bibtex/ html
Doctoral Dissertations and Habilitations Theses [TH]
1997
41
Denis Bouhineau.
Construction automatique de figures géometriques et programmation logique avec contraintes.
PhD Thesis, Université Joseph-Fourier - Grenoble I, 1997.
Www-128x128
bibtex/ html
Scientific popularization [OV]
2011
42
J P Archambault, E Baccelli, S Boldo, Denis Bouhineau, P Cégielski, T Clausen, Gilles Dowek, I Guessarian, S Lopès, Laurent Mounier, B Nguyen, Franck Quessette, Anne Rasse, B Rozoy, C Timsit, T. Viéville, Jean-Marc Vincent.
Une introduction à la science informatique: Pour les enseignants de la discipline informatique au lycée.
CNDP-CRDP Eds, 2011.
Www-128x128
bibtex/ html
Other Publications [AP]
2009
43
Abdelhamid Chaachoua, Christophe Viudez, Denis Bouhineau, Jean-François Nicaud.
Graphical representations associated with algebraic tasks in Aplusix.
2009.
bibtex/ html