apl. Prof. Dr. Stefan Milius

Personal Website:

http://www.stefan-milius.eu

Orcid ID:

0000-0002-2021-1644

List of publications:

BibTeX-Download


Lehrstuhl für Informatik 8 (Theoretische Informatik) Technische Fakultät
close-button

Categories

Honour Awards
Academy memberships
Scholarships/Grants
Other Awards

Award year

From
To
2019: Best Theory Paper Award at FM 2019 3rd World Congress on Formal Methods, FM 2019 Hans-Peter Deifel, Stefan Milius, Lutz Schröder, … 2017: EATCS Best Paper Award at MFCS 2017 42nd International Symposium on Mathematical Foundations of Computer Science Stefan Milius, Henning Urbat, Jiří Adámek, Liang-… 2015: Best Paper Award at CALCO 2015 6th Conference on Algebra and Coalgebra in Computer Science Stefan Milius, Henning Urbat, Jiří Adámek 2006: Ackermann Award European Association for Computer Science Logic (EACSL) Stefan Milius