FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Hans-Peter Deifel
Orcid ID:
0000-0002-9542-9664
List of publications:
BibTeX-Download
Graduiertenkolleg 2475 Cyberkriminalität und Forensische Informatik
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Technische Fakultät
Award(s)
(1)
Publications
(7)
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)
2019: Best Theory Paper Award at FM 2019
3rd World Congress on Formal Methods, FM 2019
Hans-Peter Deifel, Stefan Milius, Lutz Schröder, …