Webseite Johann Schuster
Dipl.-Math. Johann Schuster
PhD student Universität der Bundeswehr München
at the Institut für Technische Informatik.
Contact:
Tel +49 89 6004 3099
Fax +49 89 6004 2268
Email johann.schuster(insertathere)unibw.de
Adress Universität der Bundeswehr München
Institut für Technische Informatik
Fakultät für Informatik
Werner-Heisenberg-Weg 39
D-85577 Neubiberg, Germany
Room 41/500 1509
Research interests:
multilevel solutions of Markov Chains stored by MTBDD data structures
path-based analysis of Markov Chains stored by MTBDD data structures
MTBDD-based elimination of immediate transitions in ESLTS stored by MTBDD data structures
