Michael Luttenberger
Author
Alternate names M. Luttenberger, Michael Luttenberger
Institution Technical University of Munich
Past institutions Technical University of Munich, Institut Für Angewandte Kulturforschung, University of Stuttgart
H-index: 15
I10-index: 20
Works count: 63
Citations count: 674
Strix: Explicit Reactive Synthesis Strikes Back!
2018 · Philipp J. Meyer, Salomon Sickert, et al. · Lecture notes in computer science
Newtonian program analysis
2010 · Javier Esparza, Stefan Kiefer, et al. · Journal of the ACM
Parikhʼs theorem: A simple and direct automaton construction
2011 · Javier Esparza, Pierre Ganty, et al. · Information Processing Letters