Professor Dr. Thomas Wilke

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

Projects

As Applicant
- Completed projects
  - State-space reduction of finite automata with applications in the verification of non-terminating systems (Research Grants)
  - Unambiguous Automata on Infinite Words (Research Grants)
As Participating Person
- Completed projects
  - Automatische Analyse kryptographischer Protokolle mit komplexen Nachrichtenformaten (Research Grants)