FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Dr. Thorsten Wißmann
List of publications:
BibTeX-Download
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Award(s)
(2)
Project Memberships
(1)
Publications
(24)
Categories
Toggle all
Honour Awards
Honour Awards
Academy memberships
Academy memberships
Scholarships/Grants
Scholarships/Grants
Other Awards
Other Awards
Award year
From
To
Filters (inactive)
2021: Promotionspreis (Dissertation Award)
Technische Fakultät der Friedrich-Alexander-Universität Erlangen-Nürnberg
Thorsten Wißmann
2019: Best Theory Paper Award at FM 2019
3rd World Congress on Formal Methods, FM 2019
Hans-Peter Deifel, Stefan Milius, Lutz Schröder, …
