Further Lectures and Notes

• Diskrete Strukturen und Logik (Universität Trier)
  
• Internet Security - Weaknesses and Targets (Universität Trier / Teleteaching / Beijing University of Technology)

• Automatentheorie und Formale Sprachen
  
• Informationssicherheit im Internet

• Diskrete Strukturen und Logik
• TeleTeaching - Technische Grundlagen des elektronischen Publizierens im WWW

• Automatentheorie und formale Sprachen
• Sicherheit im Internet - Schwachstellen und Angriffspunkte
  

• Diskrete Strukturen und Logik
  
• CAD-Logiksynthese- und optimierung
  

• Automatentheorie und formale Sprachen
  
• Komplexitätstheorie
  

• Diskrete Strukturen und Logik
  
• Binäre Entscheidungsgraphen (OBDDs)
  

• Diskrete Strukturen und Logik (2)
  
• Technische Grundlagen des elektronischen Publizierens
  

• Diskrete Strukturen und Logik (1)
  
• CAD-Logiksynthese- und optimierung
  

• Forschungsfreisemester
  

• Diskrete Strukturen und Logik (1)
  
• Komplexitätstheorie
  

• Diskrete Strukturen und Logik (2)
• Binäre Entscheidungsdiagramme - OBDDs
  

• Diskrete Strukturen und Logik (1)
  
• CAD-Logiksynthese und Optimierung
  

• Diskrete Strukturen und Logik (2)
  
• Datenstrukturen und effiziente Algorithmen (Informatik II)
  

• Diskrete Strukturen und Logik (1)
  
• Binäre Entscheidungsgraphen
  

• Berechenbarkeitstheorie / Komplexitätstheorie
• Schaltkreiskomplexität

• CAD-Logikminimierung
• Binäre Entscheidungsgraphen - OBDDs
• Automatentheorie / Formale Sprachen

• Berechenbarkeitstheorie / Komplexitätstheorie
• Algorithmen und Datenstrukturen http://www.informatik.uni-trier.de/~meinel/

• Berechenbarkeitstheorie / Komplexitätstheorie
• Algebra und Algebraische Berechnungen

Humboldt-Universität zu Berlin

• Sommersemester 1993
  • Berechnungstheorie (II)
  
  

Universität Trier

• Wintersemester 1992/93
  • Schaltkreiskomplexitätstheorie
  • Automatentheorie / Formale Sprachen
  
  
• Sommersemester 1992
  • Algebra und algebraische Berechnung>
  • Logik für Informatiker
  
  
• Wintersemester 1991/92
  • CAD-Logiksynthese und Optimierung
  
  

Universität-Gesamthochschule Paderborn

• Sommersemester 1991
  • CAD-Logiksynthese und Optimierung
  
  

Technische Universität Berlin

• Wintersemester 1990/91
  • Computerorientierte Matheamtik (I)

Humboldt-Universität zu Berlin

• Wintersemester 1990/91
  • Algebra
  • VLSI-Komplexiotätstheorie
  
  
• Sommersemester 1990
  • Lineare Algebra (II)
  
  
• Wintersemester 1989/90
  • Lineare Algebra (I)
  
  
• Sommersemester 1989
  • VLSI-Komplexitätstheorie
  
  
• Sommersemester 1988
  • Schaltkreiskomplexitätstheorie
  
  
• Wintersemester 1987/88
  • Fortgeschrittene Komplexitätstheorie
  
  
• Sommersemester 1987
  • Effiziente Algorithmen (II)
  
  
• Sommersemester 1986/87
  • Effiziente Algorithmen (I)
  
  
• Sommersemester 1982
  • Umweltern und Automaten in Umwelten