Vorträge

• "Kommunikationsprotokolle"
  September 1998, Sommerakademie La Villa '98,
  Studienstiftung des deutschen Volkes
  
  
• "Das Softwaresystem Jazz"
  15. Februar 2000, Softwarepraktikum WS 1999/2000,
  Universität Ulm
  
  
• "Einführung in die mathematische Logik"
  13. Juli 2000, Proseminar "maschinelles Beweisen" SS 2000,
  Universität Ulm
  
  
• "Kawa, das Java-basierte Scheme-System - Eine Einführung"
  25. Januar 2001, Automated Reasoning Environment - ProverBox,
  Universität Ulm
  
  
• "Modellüberprüfung mit CTL"
  15. Februar 2002, Hauptseminar "Modellüberprüfung" WS 2001/2002,
  Universität Ulm

Aufsätze / Papers

• "Biometric Authentication - Technology and Evaluation"
  März 2003, in Zusammenarbeit mit Dina Sanchez,
  Übersichtsarbeit CS574, San Diego State University
  
  
• "Multibiometric Authentication - An Overview of Recent Developments"
  Mai 2003, Aufsatz CS574,
  San Diego State University

- in deutscher Sprache   - available in english language