M. Homik, and A. Meier. Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP2005), page 160--178. Edinburgh, Scotland, (2005)
E. Melis, P. Kärger, and M. Homik. Delfi 2005: 3. Deutsche eLearning Fachtagung Informatik, volume 66 of LNI, page 247--258. Gesellschaft für Informatik e.V. (GI), (2005)
M. Homik, and E. Melis. Proceedings of ePortfolio2006, page --. Oxford, UK, EIfEL, (October 2006)Find the slides at http://www.eife-l.org/news/ep2006/programme.