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)