8
Publications
223
Citations
8
H-Index
2006
Active since
Sebastian Bauer is an author at Ludwig-Maximilians-Universität München specializing in engineering, formal methods, and computer science.
Top concepts
EngineeringHealthFormal MethodsComputer ScienceSystems EngineeringDesignLanguageSemanticsErgonomicsKinematics
Publications per year
2006–2016
8
8
Ergonomic Assessment for DHM Simulations Facilitated by Sensor Data
Dan Gläser, Lars Fritzsche, Sebastian Bauer et al. · Procedia CIRP · 2016 · 23 citations · Full text
Weighted modal transition systems
Sebastian Bauer, Uli Fahrenberg, Line Juhl et al. · Formal Methods in System Design · 2012 · 20 citations
Weighted Automaton, Discrete Dynamical System, Modal Transition Systems +1
Rows per page
1–5 of 8