Professor Dr. Thomas Wilke

Adresse Christian-Albrechts-Universität zu Kiel
Technische Fakultät
Institut für Informatik
24098 Kiel

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Minimierung von Automaten mit Anwendungen in der Verifikation nichtterminierender Systeme (Sachbeihilfen)
  - Eindeutige endliche Automaten auf unendlichen Wörtern (Sachbeihilfen)
Als Beteiligte Person
- abgeschlossene Projekte
  - Automatische Analyse kryptographischer Protokolle mit komplexen Nachrichtenformaten (Sachbeihilfen)