Publications

2017

• Encoding monotonic multiset preferences using CI-netsDiller, M. & Hunter, A., 2017, Proceedings of the 1rst Workshop on Präferenzen und Personalisierung in der InformatikResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Energy elasticity on heterogeneous hardware using adaptive resource reconfigurationUngethüm, A., Kissinger, T., Mentzel, W. W., Mier, E., Habich, D. & Lehner, W., 2017, Datenbanksysteme fur Business, Technologie und Web, BTW 2017 - 17. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme", DBIS 2017, Proceedings. Mitschang, B., Nicklas, D., Leymann, F., Schoning, H., Herschel, M., Teubner, J. & Harder, T. (eds.). Gesellschaft fur Informatik (GI), p. 615, 1 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision ProcessesBaier, C., Klein, J., Leuschner, L., Parker, D. & Wunderlich, S., 2017, Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Majumdar, R. & Kunčak, V. (eds.). Springer, Berlin [u. a.], p. 160-180, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Exploiting transistor-level reconfiguration to optimize combinational circuitsRaitza, M., Kumar, A., Völp, M., Walter, D., Trommer, J., Mikolajick, T. & Weber, W., 2017, Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Exploration of OpenCL for FPGAs using SDAccel and comparison to GPUs and multicore CPUsKalms, L. & Göhringer, D., 2017, 2017 27th International Conference on Field Programmable Logic and Applications (FPL). IEEE Xplore, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Exploring Big Data Landscapes with Elastic DisplaysKammer, D., Keck, M., Müller, M., Gründer, T. & Groh, R., 2017Research output: Contribution to conferences > Paper
• 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. (eds.). Gesellschaft fur Informatik (GI), p. 61-74, 14 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. p. 6-19, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 ed., Stuttgart, Cham, p. 59-82, 24 p., (Tools for High Performance Computing 2016 - Proceedings of the 10th International Workshop on Parallel Computing)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 82. p. 11:1-11:20, (Leibniz International Proceedings in Informatics (LIPIcs))Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Externalizing cognitive maps via map reconstruction and verbal descriptionMiao, M., Zeng, L. & Weber, G., 2017, In: Universal Access in the Information Society. 16, p. 667–680, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Feature-driven time series generationKegel, L., Hahmann, M. & Lehner, W., 2017, Proceedings of the 29th GI-Workshop Grundlagen von Datenbanken: Blankenburg/Harz, Germany, May 30 - June 02, 2017. Schneider , K. & Specht, G. (eds.).p. 54-59, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Framework for 2D-3D image fusion of infrared thermography with preoperative MRIHoffmann, N., Weidner, F., Urban, P., Meyer, T., Schnabel, C., Radev, Y., Schackert, G. & 5 others, 2017, In:  Biomedical engineering : joint journal of the German Society for Biomedical Engineering in VDE and the Austrian and Swiss Societies for Biomedical Engineering. 62, 6, p. 599-607, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Fünf Argumente für einen grafischen Programmiereinstieg - eine Studie über vier JahrgangsstufenBergner, N., Leonhardt, T. & Schroeder, U., 2017, INFOS 2017 - 17. GI-Fachtagung Informatik und Schule - Informatische Bildung zum Verstehen und Gestalten der digitalen WeltElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Fuzzing and verifying RAT refutations with deletion informationForkel, W., Rebola-Pardo, A., Werner, E. & Philipp, T., 2017, FLAIRS 2017 - Proceedings of the 30th International Florida Artificial Intelligence Research Society Conference. AAAI Press, p. 190-193, 4 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Fuzzy Description Logics – A SurveyBorgwardt, S. & Peñaloza, R., 2017, Proceedings of the 11th International Conference on Scalable Uncertainty Management (SUM'17). p. 31-45, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Generic Architectures for Individual Self-aware Computing SystemsVogel, T., Diaconescu, A., Götz, S. & Bellmann, K., 2017, Self-Aware Computing Systems. Kounev, S., Kephart, J. O., Milenkoski, A. & Zhu, X. (eds.).p. 149-189, 41 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• GeoCoach: A cross-device hypermedia system to assist visually impaired people to gain environmental accessibilityZeng, L. & Weber, G., 2017, In: Informatik-Spektrum. 40, 6, p. 527–539, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• GIAnT: Visualizing Group Interaction at Large Wall Displaysvon Zadow, U. & Dachselt, R., 2017, p. 2639-2647, 9 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• GraSp: Combining Spatially-aware Mobile Devices and a Display Wall for Graph Visualization and Interaction.Kister, U., Klamka, K., Tominksi, C. & Dachselt, R., 2017, In: Computer Graphics Forum. 36, 3, p. 503-514, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Hand Contact Shape Recognition for Posture-Based Tabletop Widgets and InteractionMatulic, F., Vogel, D. & Dachselt, R., 2017, p. 3-11, 9 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• „Hello Barbie“– Hacker-Spielzeuge in einer Welt von vernetzten GerätenLackorzynski, T. & Köpsell, S., 2017, Breitbandversorgung in Deutschland - 11. ITG-Fachkonferenz. VDE Verlag, Berlin [u. a.], p. 41-47, 7 p., © 2017 VDE VERLAG GMBH ∙ Berlin ∙ OffenbachResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• HW/SW Co-design of an IEEE 802.11a/G Receiver on Xilinx Zynq SoC Using High-Level SynthesisNouri, S., Rettkowski, J., Göhringer, D. & Nurmi, J., 2017, Proceedings of the 8th International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, HEART 2017. 6 p., 15Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Hybrid grammars for parsing of discontinuous phrase structures and non-projective dependency structuresGebhardt, K., Nederhof, M. & Vogler, H., 2017, In: Computational Linguistics. 43, 3, p. 465-520, 56 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Illuminated Interactive Paper with Multiple Input Modalities for Form Filling ApplicationsKlamka, K., Büschel, W. & Dachselt, R., 2017, ISS '17: Proceedings of the 2017 ACM International Conference on Interactive Surfaces and Spaces. New York, NY, USA: Association for Computing Machinery (ACM), New York, p. 434–437Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution