selected publications
-
chapter
- Integrating Learning Object Repositories Using a Mediator Architecture. Springer eBooks. 185-197. 2006
- Adaptive Access to a Proof Planner. Springer eBooks. 251-264. 2004
-
conference paper
- Querying Heterogeneous and Distributed Learning Object Repositories via Ontology-Based Mediation. . 2006
- Interactivity of Exercises in ActiveMath. International Conference on Computers in Education. 109-115. 2005