Accéder directement au contenu
DB

Denis Bouhineau

62
Documents
Identifiants chercheurs
  • IdHAL denisb

Présentation

En attendant de faire mieux voir ici une page de présentation : <https://lig-membres.imag.fr/denisb>
En attendant de faire mieux voir ici une page de présentation : <https://lig-membres.imag.fr/denisb>

Publications

Image document

Accompagner l'enseignement de l'informatique avec Caseine

Astor Bizard , Denis Bouhineau , Nadia Brauner , Hadrien Cambazard , Nicolas Catusse
1024 : Bulletin de la Société Informatique de France, 2022, 20, pp.107 - 122. ⟨10.48556/sif.1024.20.107⟩
Article dans une revue hal-03996640v1
Image document

An Analysis of Interactive Learning Environments for Arithmetic and Algebra Through an Integrative Perspective

Jana Trgalova , Denis Bouhineau , Jean-François Nicaud
International Journal of Computers for Mathematical Learning, 2009, 14 (3), pp.299-331
Article dans une revue hal-00948743v1
Image document

Natural Editing of Algebraic Expressions

Jean-François Nicaud , Denis Bouhineau
Les Cahiers Leibniz, 2008, 169, 24 p
Article dans une revue hal-00591553v1
Image document

Helping Teachers Generate Exercises with Random Coefficients

Denis Bouhineau , Hamid Chaachoua , Jean-François Nicaud
International Journal of Continuing Engineering Education and Life-Long Learning, 2008, 18 (5/6), pp.520--533
Article dans une revue hal-00961967v1
Image document

Description et exploitations des traces du logiciel d'algèbre Aplusix

Hamid Chaachoua , Marie-Caroline Croset , Denis Bouhineau , Marilena Bittar , Jean-François Nicaud
STICEF (Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation), 2007, Vol 14, pp.26
Article dans une revue hal-00696386v1
Image document

Developing Interactive Learning Environments that can be used by all the classes having access to computers. The case of Aplusix for algebra

Jean-François Nicaud , Denis Bouhineau , Hamid Chaachoua , Jana Trgalova
Les Cahiers Leibniz, 2006, 148, pp.1-11
Article dans une revue hal-00190287v1
Image document

Informaticiens et didacticiens peuvent-ils travailler ensemble ?

Denis Bouhineau , Alain Bronner , Hamid Chaachoua , Jean-François Nicaud
Les Cahiers Leibniz, 2005, 122, pp.1-17
Article dans une revue hal-00190419v1
Image document

Computer Assisted Assessment in Elementary Algebra

Denis Bouhineau , Alain Bronner , Hamid Chaachoua , Sophie Mezerette , Jean-François Nicaud
Computer-Aided Assessment - Online, 2005, Nov, pp.11
Article dans une revue hal-00190400v1
Image document

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.

Denis Bouhineau , Alain Bronner , Hamid Chaachoua , Jean-Francois Nicaud
Les Cahiers Leibniz, 2005, 122, pp.1-15
Article dans une revue hal-00023381v1

Mixing Microworld and Cas Features in Building Computer Systems that Help Students Learn Algebra

Jean-François Nicaud , Denis Bouhineau , Hamid Chaachoua
International Journal of Computers for Mathematical Learning, 2004, 9 (2), pp.169-211. ⟨10.1023/B:IJCO.0000040890.20374.37⟩
Article dans une revue hal-00190741v1
Image document

A Microworld for Helping Students to Learn Algebra

Denis Bouhineau , Jean-François Nicaud , X. Pavard , Emmanuel Sander
proceddings of ICTMT, 2002, 5, 9 p
Article dans une revue hal-00961979v1
Image document

Un micromonde pour aider les élèves à apprendre l'algèbre

Denis Bouhineau , Jean-François Nicaud , X. Pavard , Emmanuel Sander
Sciences et Techniques Educatives, 2001, 8 (1-2), pp.33--47
Article dans une revue hal-00961980v1
Image document

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

Denis Bouhineau , Laurent Trilling , Jacques Cohen
Constraints, 1999, 4 (4), pp.383--405
Article dans une revue hal-00961981v1
Image document

Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver

Denis Bouhineau
Lecture Notes in Computer Science, 1996, pp.274--288
Article dans une revue hal-00961982v1

Human Scoring versus Automatic Scoring of Computer Programs: Does Algo+ score as well as instructors ? An Experimental Study

Anis Bey , Denis Bouhineau
18th IEEE International Conference on Advanced Learning Technologies, ICALT2018, Jul 2018, Mumbay, India
Communication dans un congrès hal-01843982v1

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

Anis Bey , Denis Bouhineau , Ronan Champagnat
2018 IEEE 18th International Conference on Advanced Learning Technologies (ICALT), Jul 2018, Mumbai, France. pp.355-357, ⟨10.1109/ICALT.2018.00089⟩
Communication dans un congrès hal-02363582v1

Concevoir, Produire, Décrire, Évaluer et Partager des Données, Opérateurs, Processus d’analyse et Résultats d’Études sur l’Apprentissage Humain avec Ordinateur

Denis Bouhineau , Vanda Luengo , Nadine Mandran
Environnements Informatiques pour l'Apprentissage Humain, Jun 2017, Strasbourg, France
Communication dans un congrès hal-01517124v1

DOP8_Cycle: Merging both data and analysis operators life cycles for Technology Enhanced Learning

Nadine Mandran , Michael Ortega , Vanda Luengo , Denis Bouhineau
Learning Analytics and Knowledge, Mar 2015, Poughkeepsie, United States
Communication dans un congrès hal-01167195v1
Image document

De la compréhension de programmes en génie logiciel à la reconnaissance d’algorithmes d’apprenants en EIAH

Ismaïl Bouacha , Denis Bouhineau , Tahar Bensebaa
7e conférence internationale francophone sur les Environnements Informatiques pour l'Apprentissage Humain, Jun 2015, Agadir, Maroc
Communication dans un congrès hal-01204966v1
Image document

De la compréhension des programmes dans le génie logiciel à la reconnaissance des algorithmes d'apprenants en EIAH

Ismail Bouacha , Denis Bouhineau , Tahar Bensebaa
7ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain (EIAH 2015), Jun 2015, Agadir, Maroc. pp.384-389
Communication dans un congrès hal-01405967v1
Image document

Conception et mise en place d'un entrepôt de traces et processus de traitement EIAH : UnderTracks

Denis Bouhineau , Vanda Luengo , Nadine Mandran , Michael Ortega , Claire Wajeman
EIAH 2013 - 6e Conférence sur les Environnements Informatiques pour l'Apprentissage Humain, May 2013, Toulouse, France. pp.41-42
Communication dans un congrès hal-00868943v1
Image document

Share data treatment and analysis processes inTechnology enhanced learning

Denis Bouhineau , Sébastien Lalle , Vanda Luengo , Nadine Mandran , Michael Ortega
Workshop Data Analysis and Interpretation for Learning Environments, 2013, Autrans, France
Communication dans un congrès hal-00948796v1
Image document

Open platform to model and capture experimental data in Technology enhanced learning systems

Denis Bouhineau , Vanda Luengo , Nadine Mandran , Michael Ortega , Claire Wajeman
Workshop Data Analysis and Interpretation for Learning Environments, 2013, Autrans, France
Communication dans un congrès hal-00948795v1
Image document

Utilisation de traits sémantiques pour une méthodologie de construction d'un système d'aide dans un EIAH de l'algorithmique

Denis Bouhineau
EIAH 2013 - 6e conférence sur les Environnements Informatiques pour l'Apprentissage Humain, May 2013, Toulouse, France. pp.141-152
Communication dans un congrès hal-00862437v1
Image document

AJAX pour EIAH ?

Denis Bouhineau
EIAH 2011 - Conférence Environnements Informatiques pour l'Apprentissage Humain, May 2011, Mons, Belgique. pp.27-39
Communication dans un congrès hal-00643317v1
Image document

Évaluations de solutions d'exercices d'algorithmique " à la main " versus " automatiques par jeux d'essai "

Denis Bouhineau , François Puitg
EIAH 2011 - Conférence Environnements Informatiques pour l'Apprentissage Humain, May 2011, Mons, Belgique. pp.273-285
Communication dans un congrès hal-00667472v1
Image document

GRAPHICAL REPRESENTATIONS ASSOCIATED WITH ALGEBRAIC TASKS IN APLUSIX

Hamid Chaachoua , Christophe Viudez , Denis Bouhineau , Jean-François Nicaud
The Ninth International Conference on Technology in Mathematics Teaching (ICTMT 9) , Jul 2009, Metz, France
Communication dans un congrès hal-01282453v1
Image document

Analyse d'EIAH en arithmétique et en algèbre : Conception, utilisation et exploitation d'un questionnaire d'analyse d'EIAH en mathématiques à la recherche d'une classification du domaine

Denis Bouhineau , Jana Trgalova , Jean-François Nicaud
Actes de la conférence EIAH 2009, 2009, Le Mans, France. 4 p
Communication dans un congrès hal-00948841v1
Image document

Introduction de nouvelles représentations dans le micromonde Aplusix Représentations sous forme mixte Naturelle & Arbre et sous forme graphique d'expressions algébriques

Denis Bouhineau , Hamid Chaachoua , Christophe Viudez , Jean-François Nicaud
EIAH2007, Environnements Informatiques pour l'apprentissage humain, 2007, Lausanne, Suisse. 12 p
Communication dans un congrès hal-00190030v1
Image document

Introduction de nouvelles représentations dans le micromonde Aplusix

Denis Bouhineau , Hamid Chaachoua , Jean-François Nicaud , Christophe Viudez
Jun 2007
Communication dans un congrès hal-00161603v1
Image document

Adding new Representations of Mathematical Objects to Aplusix

Denis Bouhineau , Hamid Chaachoua , Jean-François Nicaud , Christophe Viudez
8th International Conference on Technology in Mathematics Teaching, 2007, Czech Republic. 5 p
Communication dans un congrès hal-00591566v1
Image document

Helping Teachers Generate Exercises with Random Coefficients

Denis Bouhineau , Hamid Chaachoua , Camille Douine , Jean-François Nicaud
proceedings of the 8th International Conference on Technology in Mathematics Teaching. Hradec Kralove, Czech Republic, isbn 978-80-7041-285-5, 2007, Czech Republic. 5 p
Communication dans un congrès hal-00962002v1
Image document

Student's modelling with a lattice of conceptions in the domain of linear equations and inequations

Jean-François Nicaud , Denis Bouhineau , Hamid Chaachoua , Marilena Bittar
AI-ED, 2005, Amsterdam, Netherlands
Communication dans un congrès hal-00190223v1
Image document

Two Years Of Use Of The Aplusix System

Denis Bouhineau , Jean-François Nicaud , Hamid Chaachoua , Marilena Bittar , Alain Bronner
8th IFIP World Conference on Computer in Education, 2005, Cape Town, South Africa. pp.23
Communication dans un congrès hal-00190286v1
Image document

APLUSIX, A learning environment for algebra, actual use and benefits

Hamid Chaachoua , Jean-François Nicaud , Alain Bronner , Denis Bouhineau
ICME 10 : 10th International Congress on Mathematical Education, July 4-11, 2004, 2004, Copenhagen, Denmark. pp.8
Communication dans un congrès hal-00190393v1
Image document

Analyse didactique de protocoles obtenus dans un EIAH en algèbre

Denis Bouhineau , Alain Bronner , Hamid Chaachoua , Thomas Huguet
Environnements Informatiques pour l'Apprentissage Humain 2003, Apr 2003, Strasbourg, France. pp.79-90
Communication dans un congrès edutice-00000130v1
Image document

A computer program for the learning of algebra: description and first experiment

Jean-François Nicaud , Denis Bouhineau , Hamid Chaachoua , Thomas Huguet , Alain Bronner
PEG 2003 Conference, 2003, St. Petersburg, Russia. pp.7
Communication dans un congrès hal-00190396v1
Image document

Usages didactiques du logiciel Aplusix pour l'enseignement de l'algebre

Alain Bronner , Thomas Huguet , Denis Bouhineau , Jean-François Nicaud
Jun 2003, Reims, France
Communication dans un congrès edutice-00001319v1
Image document

Analyse didactique de protocoles obtenus dans un EIAH en algèbre

Denis Bouhineau , Alain Bronner , Hamid Chaachoua , Thomas Huguet
Environnements Informatiques pour l'Apprentissage Humain, 15, 16 et 17 avril 2003, 2003, Strasbourg, France. pp.79-90
Communication dans un congrès hal-00190083v1

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

Jean-François Nicaud , Denis Bouhineau , Thomas Huguet
6th International Conference on Intelligent Tutoring Systems, ITS 2002, 2002, France. pp.178-187
Communication dans un congrès hal-00190732v1
Image document

Doing mathematics with the APLUSIX-Editor

Denis Bouhineau , Thomas Huguet , Jean-François Nicaud
VisitMe2002, 2002, Unknown, Austria. 12 p
Communication dans un congrès hal-00962020v1
Image document

Edix: A Software for Editing Algebraic Expressions.

Denis Bouhineau , Jean-François Nicaud , X. Pavard
Proceedings of ACTMT2001, the Sixth Asian Technology Conference in Mathematics. The University of Melbourne, 2001, Australia. 3 p
Communication dans un congrès hal-00962022v1
Image document

Syntax and semantics in algebra

Jean-François Nicaud , Denis Bouhineau , Jean-Michel Gélis
Proceedings of the 12th ICMI Study Conference. The University of Melbourne, 2001, Australia. 12 p
Communication dans un congrès hal-00962023v1
Image document

Implantation de la couche algébrique à base de règles de réécriture dans le nouvel APLUSIX

Denis Bouhineau
Journées apprentissage et calcul symbolique, Institut National de Recherche Pédagogique, isbn : 2-7342-0840-7, 2000, France. 6 p
Communication dans un congrès hal-00962024v1
Image document

Implementation of the algebraic layer of the new APLUSIX with rewriting rules

Denis Bouhineau , Jean-François Nicaud
Proceedings du worshop "Learning algebra with the computer" de ITS'2000 Université Québec, Montréal., 2000, Canada. 11 p
Communication dans un congrès hal-00962025v1
Image document

Towards a product for teaching formal algebra

Jean-François Nicaud , Denis Bouhineau , Christian Varlet , Anh Nguyen-Xuan
nternational Conference on Artificial Intelligence and Education (AI-ED), Le Mans, juillet 1999, 1999, Le Mans, France. pp.207-214
Communication dans un congrès hal-00190302v1
Image document

Sphinx : un préceptoriel de géométrie produisant des contre-exemples.

Denis Bouhineau , Stéphane Channac , Laurent Trilling
Third International Conference on Intelligent Tutoring Systems ITS'96, Montréal-Canada., 1996, Canada. 3 p
Communication dans un congrès hal-00962026v1
Image document

La programmation logique par contraintes pour l'aide à l'enseignant

Denis Bouhineau , Stéphane Channac
Third International Conference on Intelligent Tutoring Systems ITS'96, 1996, Montréal, Canada. pp.333-342
Communication dans un congrès hal-00190301v1
Image document

Vers une approche déclarative pour les logiciels de dessins géométriques

Denis Bouhineau
4e journée EIAO de l'ENS Cachan, 1995, Cachan, France. pp.55-66
Communication dans un congrès hal-00190299v1
Image document

Verification of non-linear overconstraints in Euclidean geometry with linear programming

Denis Bouhineau
proceedings of OverConstraints Systems, ISSN 0302-9743. Cassis 1995., 1995, Cassis, France. 7 p
Communication dans un congrès hal-00962031v1
Image document

Construction and manipulation of geometric figures

R. Allen , Denis Bouhineau , Laurent Trilling
fourth international workshop on Constraint and Logic Programming, WCLP'93, Marseille, 1993, Marseille, France. 3 p
Communication dans un congrès hal-00962032v1

Une introduction à la science informatique pour les enseignants de la discipline en lycée

Gilles Dowek , Jean-Pierre Archambault , Emmanuel Baccelli , Sylvie Boldo , Denis Bouhineau
Gilles Dowek. CRDP Paris, pp.376, 2011, Repères pour agir (RPA disciplines & compétences), Christine Moulin, 978-2-86631-188-9
Ouvrages hal-00765226v1
Image document

APLUSIX, un EIAH de l'algèbre

Denis Bouhineau , Jean-François Nicaud
Grandbastien, Monique and Labat, Jean-Marc. Environnements Informatiques et Apprentissage Humain, Hermès-Lavoisier, pp.333-350, 2006, Collection IC2
Chapitre d'ouvrage hal-00962040v1
Image document

HUBBLE, UN OBSERVATOIRE DES ANALYSES DES TRACES

Vanda Luengo , Nathalie Guin , Denis Bouhineau , Philippe Daubias , Eric Bruillard
[Rapport de recherche] ANR (Agence Nationale de la Recherche - France). 2019
Rapport hal-02091392v1