Publications

Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, George Russell, Semantic Interrelation of Documents via an Ontology. Submitted to DeLFI 2004 conference. [PDF]

Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, George Russell, Semantic Interrelation of Documents via an Ontology. Draft MMiSS internal report. [PDF]

Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Mehlis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing: MultiMedia Instruction in Safe and Secure Systems. In "Recent Trends in Algebraic Development Techniques", pp. 82--117, Springer Verlag, LNCS, vol. 2755, 2003. [PDF]

Serge Autexier, Dieter Hutter, Till Mossakowski and Axel Schairer: The Development Graph Manager MAYA. In Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002, Springer-Verlag, LNCS, 2002. [PS.GZ]

Serge Autexier and Dieter Hutter: Maintenance of Formal Software Developments by Stratified Verification. In Proceedings 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Springer-Verlag, LNAI, 2002.

Jelitto, Marc: Digitale Medien in der Hochschullehre: Gender Mainstreaming & Evaluation. Forschungsbericht des Fachbereichs Elektrotechnik. FernUniversität in Hagen, Online-Publikation. ISSN 0945-0130 1/2003 [PDF]

Jelitto, Marc: Implementierung von Gender Mainstreaming in die Evaluation. In Schwill, Andreas [Hrsg.]: Grundfragen multimedialer Lehre : Tagungsband des 1. Workshops GML2003. Lehrstuhl für Didaktik in der Informatik, Potsdam. pp. 191-196. 2003. [PDF]

Erica Melis and Erik Andres: About the Global Suggestion Mechanisms in ActiveMath. ITS-02 Workshop on Creating Diagnostic Assessments, 2002.

Erica Melis: Knowledge Representation for Web-Based User-Adaptive Education Systems. BMBF-workshop: Standardisierung im eLearning, 2002.

Erica Melis, George Goguadse, Paul Libbrecht and Carsten Ullrich: Wissensmodellierung und -nutzung in ActiveMath. In KI, vol. 1, pp.12-18, 2003. [PDF]

Erica Melis and Carsten Ullrich: How to prove it - Polya-Inspired Scenarios in ActiveMath. In AI in Education, AIED-2003, IOS Press, (accepted), 2003. [PDF]

Carsten Ullrich and Erica Melis: The Poor Man's Eyetracker in ActiveMath. In Proceedings of the World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (eLearn-2002), Vol. 4, pp. 2313-2316, ISBN 1-880094-46-0, 2002. [PDF]

George Goguadse, Erica Melis, Carsten Ullrich and Paul Cairns: Problems and Solutions for Markup for Mathematical Examples and Exercises. In Proceedings of the Second International Conference on Mathematical Knowledge Management, MKM03, Andrea Asperti (ed.), pp. 80--93, Springer Verlag, LNCS, 2003. [PDF]

The ActiveMath-Group: ActiveMath: A Generic and Adaptive Web-Based Learning Environment. In Artifical Intelligence in Education, vol. 12, no. 4, winter 2001. [PDF]

	Last updated: $Date: 2004/07/13 12:20:54 $