| 2008 |
|---|
| 10 | EE | Noboru Matsuda,
William W. Cohen,
Jonathan Sewall,
Gustavo Lacerda,
Kenneth R. Koedinger:
Why Tutored Problem Solving May be Better Than Example Study: Theoretical Implications from a Simulated-Student Study.
Intelligent Tutoring Systems 2008: 111-121 |
| 2007 |
|---|
| 9 | | Noboru Matsuda,
William W. Cohen,
Jonathan Sewall,
Gustavo Lacerda,
Kenneth R. Koedinger:
Predicting Students' Performance with SimStudent: Learning Cognitive Skills from Observation.
AIED 2007: 467-476 |
| 8 | EE | Noboru Matsuda,
William W. Cohen,
Jonathan Sewall,
Gustavo Lacerda,
Kenneth R. Koedinger:
Evaluating a Simulated Student Using Real Students Data for Training and Testing.
User Modeling 2007: 107-116 |
| 2005 |
|---|
| 7 | | Noboru Matsuda,
Kurt VanLehn:
Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction.
AIED 2005: 443-450 |
| 2004 |
|---|
| 6 | EE | Noboru Matsuda,
Kurt VanLehn:
GRAMY: A Geometry Theorem Prover Capable of Construction.
J. Autom. Reasoning 32(1): 3-33 (2004) |
| 2003 |
|---|
| 5 | EE | Noboru Matsuda,
Kurt VanLehn:
Modeling Hinting Strategies for Geometry Theorem Proving.
User Modeling 2003: 373-377 |
| 2000 |
|---|
| 4 | EE | Noboru Matsuda,
Kurt VanLehn:
A Reification of a Strategy for Geometry Theorem Proving.
Intelligent Tutoring Systems 2000: 660 |
| 1998 |
|---|
| 3 | EE | Noboru Matsuda,
Toshio Okamoto:
Diagrammatic Reasoning for Geometry ITS to Teach Auxiliary Line Construction Problems.
Intelligent Tutoring Systems 1998: 244-253 |
| 1996 |
|---|
| 2 | | Noboru Matsuda,
Toshio Okamoto:
Parallel Computing Model for Problem Solver Towards ITSs: Epistemological Articulation of Human Problem Solving.
Intelligent Tutoring Systems 1996: 234-242 |
| 1992 |
|---|
| 1 | | Noboru Matsuda,
Toshio Okamoto:
Student Model Diagnosis for Adaptive Instruction in ITS.
Intelligent Tutoring Systems 1992: 467-474 |
