Educational Technology Lab

Seite 1 von 1.

1. Martin Homik

   Assembly Tool

   Deliverable, Vol. D37, 6/2006.

2. Erica Melis; Giorgi Goguadze; Martin Homik; Paul Libbrecht; Carsten Ullrich; Stefan Winterstein

   Semantic-Aware Components and Services of ActiveMath

   In: British Journal of Educational Technology, Vol. 37, No. 3, Pages 405-423, Wiley Blackwell, 5/2006.

3. Martin Homik; Erica Melis

   Interactive Concept Mapping

   Deliverable, Vol. D28, 12/2005.

4. Martin Homik; Erica Melis

   ePortfolios in ActiveMath

   In: Proceedings of ePortfolio2005. International ePortfolio Conference (ePortfolio), Cambridge, Pages 213-222, EIfEL, 10/2005.

5. Erica Melis; Philipp Kärger; Martin Homik

   Interactive Concept Mapping in ActiveMath (iCMap)

   In: Jörg M. Haake; Ulrich Lucke; Djamshid Tavangarian (Hrsg.). Delfi 2005: 3. Deutsche eLearning Fachtagung Informatik. e-Learning Conference of the …

6. Martin Homik; Andreas Meier

   Designing a Proof GUI for Non-Experts -- Evaluation of an Experiment

   In: Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP2005). Workshop on User Interfaces for Theorem Provers …

7. Martin Homik; Andreas Meier

   Designing a Proof GUI for Non-Experts -- Evaluation of an Experiment

   Seki Report, Vol. SR-01-05, 2005.

• 1