Ulrich Kühne
Research
Teaching
Publications
Contact
Publications
January 30, 2017
Posted by
Ulrich
Check out my publications in the
dblp computer science bibliography
CV in a Nutshell
SEN Télécom ParisTech
LSV ENS de Cachan
Univ. of Passau
AGRA Univ. of Bremen
Research Topics
Security
Formal methods
Hardware verification
Hybrid automata
Embedded systems
