Publications

2018

• Hapticrein: Design and development of an interactive haptic rein for a guidance robotZeng, L., Einert, B., Pitkin, A. & Weber, G., 2018Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Hardware-accelerated embedded SAR processor for realtime FMCW radar applicationsWagner, J., Barowski, J., Kalb, T., Rolfes, I. & Göhringer, D., 2018, p. 263-266, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Here and Now: Reality-Based Information RetrievalBüschel, W., Mitschick, A. & Dachselt, R., 2018, Proceedings of the 2018 Conference on Human Information Interaction & Retrieval. New York, NY, USA: Association for Computing Machinery (ACM), New York, p. 171–180Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Hierarchical Graphs on Mobile Devices: A Lane-based ApproachHorak, T. & Dachselt, R., 2018, 7 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• High-Level Synthesis of Software-Defined MPSoCsRettkowski, J. & Göhringer, D., 2018, Applied Reconfigurable Computing. Architectures, Tools, and Applications: 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings. Springer, Berlin [u. a.], p. 407-419, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• How Computational Models Enable Mechanistic Insights into Virus InfectionSbalzarini, I. F. & Greber, U. F., 2018, Influenza Virus: Methods in Molecular Biology. Yamauchi, Y. (ed.). Humana Press, p. 609-631, 23 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Immersive VisualAudioDesign: Spectral Editing in VREngeln, L., Hube, N. & Groh, R., 2018, Audio Mostly 2018: Sound in Immersion and Emotion (AM’18)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Interacting Decision-making Agents and their Impacts on Assurances: Towards a Taxonomy and ChallengesBencomo, N., Lewis, P. & Götz, S., 2018Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Interaction for Immersive AnalyticsBüschel, W., Chen, J., Dachselt, R., Drucker, S., Dwyer, T., Görg, C., Isenberg, T. & 3 others, 2018, Immersive Analytics. Marriott, K., Schreiber, F., Dwyer, T., Klein, K., Riche, N. H., Itoh, T., Stuerzlinger, W. & Thomas, B. H. (eds.). Cham: Springer International Publishing AG, p. 95-138, 44 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Intermediate Results Materialization Selection and Format for Data-Intensive FlowsMunir, R. F., Nadal, S., Romero, O., Abelló, A., Jovanovic, P., Thiele, M. & Lehner, W., 2018, In: Fundamenta Informaticae. 163, 2, p. 111-138, 28 p., 2Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Investigating Subclasses of Abstract Dialectical FrameworksDiller, M., Zafarghandi, A. K., Linsbichler, T. & Woltran, S., 2018, Proceedings of 7th International Conference on Computational Models of Argument. Modgil, S., Budzynska, K. & Lawrence, J. (eds.).p. 61-72Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Issues of culture in designing for accessibilityPetrie, H., Weber, G., Jadhav, C. & Darzentas, J., 2018Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Justifications for Description Logic Knowledge Bases Under the Fixed-Domain SemanticsRudolph, S., Schweizer, L. & Tirtarasa, S., 2018, p. 185-200, 16 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, ProceedingsTrollmann, F. & Turhan, A., 2018, SpringerElectronic (full-text) versionResearch output: Book/Report/Anthology > Anthology
• Kollaborative Multiuser-Serious-Games für elektronische Schulbücher Lernspiele in der Informatik.Leonhardt, T., Ehlenz, M., Bergner, N. & Schroeder, U., 2018, Das elektronische Schulbuch 2017. Fachdidaktische Anforderungen und Ideen treffen auf Lösungsvorschläge der Informatik.. Schuhen, M., Froitzheim, M. & Schuhen, K. (eds.). Berlin: Lit Verlag, p. 145-156, 12 p., (Didaktik. 18)Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Kopf in den Daten, Daten in der Hand – Exploration räumlicher Glyphen- Visualisierungen mittels HMD und ManipulatorGroh, R., 2018Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Lernst du noch oder spielst du schon? Zum Einsatz von GameDesign-Elementen in der Hochschullehre.Fischer, H., Heinz, M., Leyh, C., Ott, M., Döring, S., Schade, C., Löser, A. & 3 others, 2018, In: CEUR Workshop Proceedings. 2092Research output: Contribution to journal > Conference article
• LibSEAL: Revealing Service Integrity Violations Using Trusted ExecutionAublin, P., Kelbert, F., O'Keeffe, D., Muthukumaran, D., Priebe, C., Lind, J., Krahn, R. & 3 others, 2018, p. 1-15, 1 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Lifetime-aware design methodology for dynamic partially reconfigurable systems.Sahoo, S. S., Nguyen, T. D. A., Veeravalli, B. & Kumar, A., 2018, ASP-DAC. p. 393-398, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Low Power Image Processing Applications on FPGAs Using Dynamic Voltage Scaling and Partial ReconfigurationPodlubne, A., Haase, J., Kalms, L., Akgün, G., Ali, M., Khan, H. U. H., Kamal, A. & 1 others, 2018, p. 64-69, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Matching in the Description Logic FL_0 with respect to General TBoxesBaader, F., Fernández Gil, O. & Marantidis, P., 2018, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. EasyChair, Vol. 57. p. 76-94, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mirroring Sankey Diagrams for Visual Comparison Tasks - Proceedings of the 13th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and ApplicationsKeck, M., Kammer, D., Vosough, Z. & Groh, R., 2018, p. 349-355, 7 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Model Checking Probabilistic SystemsBaier, C., de Alfaro, L., Forejt, V. & Kwiatkowska, M., 2018, Handbook of Model Checking. Clarke, E. M., Henzinger, T. A., Veith, H. & Bloem, R. (eds.). Springer, Cham, p. 963-999, 37 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Modeling Customers and Products with Word Embeddings from Receipt Data.Woltmann, L., Thiele, M. & Lehner, W., 2018, IDEAS. p. 246-252, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Modelltransformation von MO²GO zu B2MML zur Teilautomatisierung von Geschäfts- und FertigungsprozessenSchweizer, H., Wollschlaeger, M. & Gering, P., 2018Research output: Contribution to conferences > Paper