Analysis of power system dynamics Kyesswa, M. 2016. Doktorandenworkshop der Initiative EnergieSystem 2050, Friedrichsdorf, 7.-8. Dezember 2016
A generic driving strategy for urban environments Hubmann, C.; Aeberhard, M.; Stiller, C. 2016. IEEE 19th International Conference on Intelligent Transportation Systems (ITSC), Rio de Janeiro, Brazil, 1–4 November 2016, 1010–1016, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ITSC.2016.7795679
Modular specification and verification Grahl, D.; Bubel, R.; Mostowski, W.; Schmitt, P. H.; Ulbrich, M.; Weiß, B. 2016. Deductive Software Verification – The KeY Book. From Theory to Practice. Ed. : W. Ahrendt, 289–351, Springer International Publishing. doi:10.1007/978-3-319-49812-6_9
Theories Schmitt, P. H.; Bubel, R. 2016. Deductive Software Verification – The KeY Book. From Theory to Practice. Ed. : W. Ahrendt, 149–166, Springer International Publishing. doi:10.1007/978-3-319-49812-6_5
Using the KeY prover Ahrendt, W.; Grebing, S. 2016. Deductive Software Verification – The KeY Book. From Theory to Practice. Ed. : W. Ahrendt, 495–539, Springer International Publishing. doi:10.1007/978-3-319-49812-6_15
First-order logic Schmitt, P. H. 2016. Deductive Software Verification – The KeY Book. From Theory to Practice. Ed. : W. Ahrendt, 23–47, Springer International Publishing. doi:10.1007/978-3-319-49812-6_2
Dynamic logic for Java Beckert, B.; Klebanov, V.; Weiß, B. 2016. Deductive Software Verification – The KeY Book. From Theory to Practice. Ed. : W. Ahrendt, 49–106, Springer International Publishing. doi:10.1007/978-3-319-49812-6_3
VTA und die Körpersprache der Bäume Mattheck, C.; Bethge, K. 2016. Frühjahrstagung der Beratungskräfte Obst- und Gartenbau, Grünplanung und Landespflege, Öhringen, 2016
EUSO-TA fluorescence detector JEM-EUSO Collaboration; Bisconti, F. 2016. XXV European Cosmic Ray Symposium (ECRS), Turin, Italy, September 4-9, 2016, eConf C16-09-04.3, 1–4
Impact of Lattice QCD on CKM Phenomenology Blanke, M. 2016. 34th annual International Symposium on Lattice Field Theory, Southampton, UK, 24th - 30th July 2016, 1–17, Scuola Internazionale Superiore di Studi Avanzati (SISSA)
Part-based grasp planning for familiar objects Vahrenkamp, N.; Westkamp, L.; Yamanobe, N.; Asfour, T.; Aksoy, E. E. 2016. IEEE-RAS 16th International Conference on Humanoid Robots (Humanoids), Cancun, Mexico, 15-17 Nov. 2016, 919–925, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/HUMANOIDS.2016.7803382
Towards the categorization of changes at stuttgart airport Boldt, M.; Falge, R.; Thiele, A.; Schulz, K.; Hinz, S. 2016. EUSAR 2016 : 11th European Conference on Synthetic Aperture Radar, 06 - 09 June, 2016, Hamburg, Germany, 7559372, VDE Verlag
Architectural-space exploration of approximate multipliers Rehman, S.; El-Harouni, W.; Shafique, M.; Kumar, A.; Henkel, J. 2016. 35th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2016; Doubletree HotelAustin; United States; 7 November 2016 through 10 November 2016, Art. Nr.: 2967005, Association for Computing Machinery (ACM). doi:10.1145/2966986.2967005