Coordinating Operational Security in evolving distributed IT-Infrastructures Brillault, V.; Cornwall, L.; Dias, N.; Dussa, T.; Ferry, S.; Gabriel, S.; Groep, D.; Kelsey, D.; Kouril, D.; Krasovec, B.; Neilson, I.; Yarochkin, F. 2017. Global Challenges - From Open Data to Open Science : Proceedings of the International Symposium on Grids & Clouds 2017, ISGC 2017, Taipei, Taiwan, 5th - 10th March 2017
Proving JDK’s Dual Pivot Quicksort Correct Beckert, B.; Schiffl, J.; Schmitt, P. H.; Ulbrich, M. 2017. Verified Software : Theories, Tools, and Experiments, Proceedings of the 9th International Conference, VSTTE 2017, Revised Selected Papers, Heidelberg, Germany, 22nd - 23th July 2017. Ed.: A. Paskevich, 35–48, Springer. doi:10.1007/978-3-319-72308-2_3
SMJoin : A Multi-way Join Operator for SPARQL Queries Galkin, M.; Endris, K. M.; Acosta, M.; Collarana, D.; Vidal, M.-E.; Auer, S. 2017. Proceedings of the 13th International Conference on Semantic Systems, Semantics 2017, Amsterdam, Netherlands, 11th - 14th September 2017, 104–111, Association for Computing Machinery (ACM). doi:10.1145/3132218.3132220
Opening remarks Becker, J. 2017. 2017 30th IEEE International System-on-Chip Conference (SOCC), Munich, Germany, 5–8 September 2017, 1 S., Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SOCC.2017.8225988
A new Geant4 modeling solution based on CAD geometries Qiu, Y.; Lu, L.; Fischer, U. 2017. 2016 IEEE Nuclear Science Symposium, Medical Imaging Conference and Room-Temperature Semiconductor Detector Workshop (NSS/MIC/RTSD), Strasbourg, France, 29 October–6 November 2016, 1–5, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/NSSMIC.2016.8069638
A New Test Rig for the Investigation of Film Cooling on Rough Surfaces Glasenapp, T.; Fraas, M.; Schulz, A.; Bauer, H.-J. 2017. Proceedings of the 17th International Symposium on Transport Phenomena and Dynamics of Rotating Machinery, ISROMAC 2017, Maui, Hawaii, 16th - 21st December 2017
Forschungsarbeiten zum Rückbau von kerntechnischen Anlagen Gentes, S. 2017. Zwischen Forschung, Rückbau und Entsorgung - aktuelle Aufgaben in der Kerntechnik, Tagung für die junge Generation in der Kerntechnik, Karlsruhe, 8.-10.November 2017
Agent-based model for distributed optimization of microgrids operation Appino, R. R.; Listmann, K. D.; Chicco, G. 2017. ISGT Europe 2017 - Enabling the Transition to a More Electric World : IEEE International Conference on Innovative Smart Grid Technologies, Torino, I, September 26-29, 2017, Institute of Electrical and Electronics Engineers (IEEE)
NMPC with economic objectives on target manifolds Duijkeren, N. van; Faulwasser, T.; Pipeleers, G. 2017. 2017 IEEE 56th Annual Conference on Decision and Control (CDC), Melbourne, Australia, 12–15 December 2017, 2519–2524, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CDC.2017.8264023