Educational Technology Lab

Page 28 of 30.

1. Dieter Hutter; Raul Monroy

   On the Automated Correction of Protocols with Improper Message Encoding

   In: Luca Vigano; Pierpaolo Degano (Hrsg.). Proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the …

2. Giorgi Goguadze

   Representation for Interactive Exercises

   In: Jacques Carette; Lucas Dixon; Claudio Sacerdoti Coen; Stephen M. Watt (Hrsg.). Proceedings of MKM 2009 - 8th International Conference on …

3. Erica Melis; Dieter Kriesell

   Effects of Erroneous Examples, Results of a Preliminary School Experiment

   In: B. du Boulay; A. Graesser; R. Mizoguchi; Vania Dimitrova (Hrsg.). Proceedings of the 14th International Conference on Artificial Intelligence in …

4. Dimitra Tsovaltzi; Erica Melis; Bruce McLaren; Michael Dietrich; Giorgi Goguadze; Ann-Kristin Thurner

   Erroneous Examples: A Preliminary Investigation into Learning Benefits

   In: Marcus Specht; Vania Dimitrova; Ulrike Cress (Hrsg.). Proceedings of the Fourth European Conference on Technology Enhanced Learning. European …

5. Giorgi Goguadze

   Semantic Evaluation Services for Web Based Exercises

   In: Marc Spaniol; Qing Li; Ralf Klamma; Rynson W. H. Lau (Hrsg.). Proceedings of 8th International Conference on Web Based Learning - ICWL 2009. …

6. James H. Davenport; Paul Libbrecht

   The Freedom to Extend OpenMath and its Utility

   In: Manfred Kerber (Hrsg.). Journal of Computer Science and Mathematics, Vol. 59, Pages 1-25, Birkhäuser, Basel, 12/2008.

7. Serge Autexier; Heiko Mantel; S. Merz; T. Nipkow

   Preface. Special Issue on Formal Modeling and Verification of Critical Systems

   In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Pages 191-192, Springer Netherlands, 11/2008.

8. Carsten Ullrich

   Pedagogically Founded Courseware Generation for Web-Based Learning -- An HTN-Planning-Based Approach Implemented in PAIGOS

   Lecture Notes in Artificial Intelligence (LNAI), Vol. 5260, ISBN 978-3-540-88213-8, Springer, 11/2008.

9. Paul Libbrecht

   A Model of Re-use of E-Learning Content

   In: Markus Specht; Pierre Dillenbourg (Hrsg.). Times of Convergence. Technologies Across Learning Contexts. 3rd European Conference on Technology …

10. Paul Libbrecht; Cyrille Desmoulins; Christian Mercat; Colette Laborde; Michael Dietrich; Maxim Hendriks

    Cross-Curriculum Search for Intergeo

    In: Serge Autexier; Masakazu Suzuki (Hrsg.). To Appear in Proceedings of MKM 2008. International Conference on Mathematical Knowledge Management …

• previous
• 1
• …
• 27
• 28
• 29
• 30
• next