Aktuelle Veranstaltungen

• SoSe 2026

  • Modellierung nebenläufiger Systeme
  • Automaten und Formale Sprachen
  • Übung zu "Modellierung nebenläufiger Systeme"
  • Seminar "Theoretische Informatik"
  • Fakultät für Informatik
  • E3 - Inf - Automaten und formale Sprachen - Cr. 6-6

Vergangene Veranstaltungen (max. 10)

• WiSe 2025

  • Berechenbarkeit und Komplexität
  • Übung zu "Berechenbarkeit und Komplexität"
  • Logik
  • Übung zu "Logik"
  • Seminar "Spiele in der Informatik" (Lehrstuhl "Theoretische Informatik")
  • Übung zu "Modellierung, Analyse, Verifikation"
  • E3 - Inf - Logik - Cr. 6-6
  • Modellierung, Analyse, Verifikation

• SoSe 2025

  • Automaten und Formale Sprachen
  • E3 - Inf - Automaten und formale Sprachen - Cr. 6-6

Die folgenden Publikationen sind in der Online-Universitätsbibliographie der Universität Duisburg-Essen verzeichnet. Weitere Informationen finden Sie gegebenenfalls auch auf den persönlichen Webseiten der Person.