Publikationen

2017

• Extending a compiler backend for complete memory error detectionRink, N. A. & Castrillon, J., 2017, Automotive - Safety and Security 2017: Sicherheit und Zuverlassigkeit fur Automobile Informationstechnik. Plodereder, E., Dencker, P., Klenk, H. & Keller, H. B. (Hrsg.). Gesellschaft fur Informatik (GI), S. 61-74, 14 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Extending the Description Logic ALC with More Expressive Cardinality Constraints on ConceptsBaader, F. & Ecke, A., 2017, Proceedings of GCAI 2017. 3rd Global Conference on Artificial Intelligence. S. 6-19, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Extending the Functionality of Score-P Through Plugins: Interfaces and Use CasesSchöne, R., Tschüter, R., Ilsche, T., Schuchart, J., Hackenberg, D. & Nagel, W. E., 2017, Tools for High Performance Computing 2016: Proceedings of the 10th International Workshop on Parallel Tools for High Performance Computing. Neuerscheinung Aufl., Stuttgart, Cham, S. 59-82, 24 S., (Tools for High Performance Computing 2016 - Proceedings of the 10th International Workshop on Parallel Computing)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Extending Two-Variable Logic on TreesBednarczyk, B., Charatonik, W. & Kieronski, E., 2017, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Goranko, V. & Dam, M. (Hrsg.). Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Band 82. S. 11:1-11:20, (Leibniz International Proceedings in Informatics (LIPIcs))Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Externalizing cognitive maps via map reconstruction and verbal descriptionMiao, M., Zeng, L. & Weber, G., 2017, in: Universal Access in the Information Society. 16, S. 667–680, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Factorizing the factorization - a spectral-element solver for elliptic equations with linear operation countHuismann, I., Stiller, J. & Fröhlich, J., 2017, in: Journal of Computational Physics. S. 437-448, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Fadenzug im Joghurt: Methoden zur QuantifizierungSurber, G., Mende, S., Jaros, D. & Rohm, H., 2017, in: dmw - Die Milchwirtschaft . 8, S. 114-116Publikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Failure mode based design and dimensioning method for metal-composite-structuresSpitzer, S., Langkamp, A., Kuhtz, M. & Gude, M., 2017, SAMPE Europe Conference & Exhibition 2017 Stuttgart. Band 1. S. 458-467, 10 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Faserverbunde für die Ultraschallreinigung des Wurzelkanals? DFG-Projekt von Zahnärzten und IngenieurenWeber, M., Hannig, C. & Dannemann, M., 2017Publikation: Beitrag zu Konferenzen > Paper
• Faserverbundwerkstoffe zur Schwingungsdämpfung bei Hubmasten von RegalbediengerätenZhakov, A., Filippatos, A., Dannemann, M., Wohlfahrt, D., Modler, N. & Schmidt, T., 2017, in: Hebezeuge, Fördermittel : technische LogistikPublikation: Beitrag in Fachzeitschrift > Forschungsartikel