Publications

2018

• From Display to Labelled Proofs for Tense LogicsCiabattoni, A., Lyon, T. & Ramanayake, R., 2018, Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (eds.). Cham: Springer International Publishing AG, p. 120-139, 20 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Full-HD Accelerated and Embedded Feature Detection Video System with 63fps using ORB for FREAKKalms, L., Ibrahim, H. & Göhringer, D., 2018, p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Gender influences on school students' mental models of computer science: a quantitative rich picture analysis with sixth gradersBrauner, P., Ziefle, M., Schroeder, U., Leonhardt, T., Bergner, N. & Ziegler, B., 2018, Proceedings of the 4th Conference on Gender IT - GenderIT '18. Heilbronn, Germany: ACM Press, p. 113-122, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Generic refinement of expressive grammar formalisms with an application to discontinuous constituent parsingGebhardt, K., 2018, Proceedings of the 27th International Conference on Computational Linguistics. Santa Fe, New Mexico, USA: The Association for Computational Linguistics, p. 3049-3063, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Getting the Most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge GraphMalyshev, S., Krötzsch, M., González, L., Gonsior, J. & Bielefeldt, A., 2018, The Semantic Web – ISWC 2018: 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part II. Vrandečić, D., Bontcheva, K., Suárez-Figueroa, M. C., Presutti, V., Celino, I., Sabou, M., Kaffee, L. & Simperl, E. (eds.). Springer, Cham, p. 376–394Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Graphicuss - Temporal Visualisation of Canvas Creation Processes.Hara, T., Iljassova, A., Braun, I. & Kapp, F., 2018, p. 199-204Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Guest Editorial: Introduction to the Special Issue on Advances in Smart and Green Transportation for Smart CitiesDjahel, S., Sommer, C. & Marconi, A., 2018, In: IEEE Transactions on Intelligent Transportation SystemsElectronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
• HANDle: A Novel Tangible Device for Hand Therapy Exergames.Klamka, K., Mitschick, A. & Dachselt, R., 2018, p. 303-307, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Happy Ever After: Temporally Attributed Description LogicsOzaki, A., Krötzsch, M. & Rudolph, S., 2018, Proceedings of the 31st International Workshop on Description Logics. Ortiz, M. & Schneider, T. (eds.).13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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