Sommersemester 2008
Wintersemester 2007/2008
Sommersemester 2007
Wintersemester 2006/2007
Sommersemester 2006
Wintersemester 2005/2006
Sommersemester 2005
Wintersemester 2004/2005
Sommersemester 2004
Wintersemester 2003/2004
- Diskrete Strukturen und Logik (Universität Trier)
- Komplexitätstheorie (Universität Trier / Teleteaching)
- Internet Security I - Internet Technology (Universität Trier, Teleteaching, Beijing University of Technology)
Sommersemester 2003 (Forschungsfreisemester)
- Informationssicherheit im Internet (Universität Trier / Teleteaching)
Wintersemester 2002/2003
Sommersemester 2002
- Automatentheorie und Formale Sprachen (Universität Trier)
- Informationssicherheit im Internet (Universität Trier / Teleteaching)
Wintersemester 2001/2002
- Diskrete Strukturen und Logik (Universität Trier)
- Technische Grundlagen des elektronischen Publizierens im WWW (Universität Trier / Teleteaching)
Sommersemester 2001
Wintersemester 2000/2001
- Diskrete Strukturen und Logik (Universität Trier)
- CAD-Logiksynthese- und optimierung (Universität Trier)
Sommersemester 2000
- Automatentheorie und formale Sprachen (Universität Trier)
- Komplexitätstheorie (Universität Trier)
Wintersemester 1999/2000
- Diskrete Strukturen und Logik (Universität Trier)
- Binäre Entscheidungsgraphen (OBDDs) (Universität Trier)
Sommersemester 1999
- Diskrete Strukturen und Logik (2) (Universität Trier)
- Technische Grundlagen des elektronischen Publizierens (Universität Trier)
Wintersemester 1998/99
- Diskrete Strukturen und Logik (1) (Universität Trier)
- CAD-Logiksynthese- und optimierung (Universität Trier)
Sommersemester 1998 (Forschungsfreisemester)
Wintersemester 1997/98
- Diskrete Strukturen und Logik (1) (Universität Trier)
- Komplexitätstheorie (Universität Trier)
Sommersemester 1997
Wintersemester 1996/97
- Diskrete Strukturen und Logik (1) (Universität Trier)
- CAD-Logiksynthese und Optimierung (Universität Trier)
Sommersemester 1996
- Diskrete Strukturen und Logik (2) (Universität Trier)
- Datenstrukturen und effiziente Algorithmen (Informatik II) (Universität Trier)
Wintersemester 1995/96
- Diskrete Strukturen und Logik (1) (Universität Trier)
- Binäre Entscheidungsgraphen (Universität Trier)
Sommersemester 1995
- Berechenbarkeitstheorie / Komplexitätstheorie (Universität Trier)
- Schaltkreiskomplexität (Universität Trier)
Wintersemester 1994/95
Sommersemester 1994
- Berechenbarkeitstheorie / Komplexitätstheorie (Universität Trier)
- Algorithmen und Datenstrukturen (Universität Trier)
Wintersemester 1993/94
- Berechenbarkeitstheorie / Komplexitätstheorie (Universität Trier)
- Algebra und Algebraische Berechnungen (Universität Trier)
Sommersemester 1993 (Forschungsfreisemester)
- Berechnungstheorie (II) (Humboldt-Universität zu Berlin)
Wintersemester 1992/93
- Schaltkreiskomplexitätstheorie (Universität Trier)
- Automatentheorie / Formale Sprachen (Universität Trier)
Sommersemester 1992
- Algebra und algebraische Berechnung (Universität Trier)
- Logik für Informatiker (Universität Trier)
Wintersemester 1991/92
- CAD-Logiksynthese und Optimierung (Universität Trier)
Sommersemester 1991
- CAD-Logiksynthese und Optimierung (Universität-Gesamthochschule Paderborn)
Wintersemester 1990/91
- Computerorientierte Matheamtik (I) (Technische Universität Berlin)
- Algebra (Humboldt-Universität zu Berlin)
- VLSI-Komplexiotätstheorie(Humboldt-Universität zu Berlin)
Sommersemester 1990
- Lineare Algebra (II) (Humboldt-Universität zu Berlin)
Wintersemester 1989/90
- Lineare Algebra (I) (Humboldt-Universität zu Berlin)
Sommersemester 1989
- VLSI-Komplexitätstheorie (Humboldt-Universität zu Berlin)
Sommersemester 1988
- Schaltkreiskomplexitätstheorie (Humboldt-Universität zu Berlin)
Wintersemester 1987/88
- Fortgeschrittene Komplexitätstheorie (Humboldt-Universität zu Berlin)
Sommersemester 1987
- Effiziente Algorithmen (II) (Humboldt-Universität zu Berlin)
Sommersemester 1986/87
- Effiziente Algorithmen (I) (Humboldt-Universität zu Berlin)
Sommersemester 1982
- Umweltern und Automaten in Umwelten (Humboldt-Universität zu Berlin)