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