Publications

2018

• Emerging reconfigurable nanotechnologies: can they support future electronics?Rai, S., Srinivasa, S. R., Cadareanu, P., Yin, X., Hu, X. S., Gaillardon, P., Narayanan, V. & 1 others, 2018, ICCAD. p. 13, 1 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Energy-Utility Analysis of Probabilistic Systems with Exogenous CoordinationBaier, C., Chrszon, P., Dubslaff, C., Klein, J. & Klüppelholz, S., 2018, It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. de Boer, F., Bonsangue, M. & Rutten, J. (eds.). Springer, Berlin [u. a.], p. 38–56Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Erfolgsfaktoren beim Einsatz von Audience Response Systemen in der universitären Lehre: Erfahrungen aus dem ARS-Projekt "Auditorium Mobile Classroom Service".Braun, I., Kapp, F., Hara, T. & Kubica, T., 2018, p. 65-67Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Evaluation of Learning Informatics in Primary EducationMagenheim, J., Müller, K., Schulte, C., Bergner, N., Haselmeier, K., Humbert, L., Müller, D. & 1 others, 2018, Informatics in Schools. Fundamentals of Computer Science and Software Engineering. Pozdniakov, S. N. & Dagien, V. (eds.). Cham: Springer International Publishing, p. 339-353, 15 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Evaluation of Users ‘Effort in a Human-computer Cooperation based Indoor Mobile Location SystemZeng, L., Noeres, T. & Weber, G., 2018, p. 195-204, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Exploring Big Data Landscapes with a Glyph-based Zoomable User InterfaceKammer, D., Keck, M. & Gründer, T., 2018Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Exploring Visualization Challenges for Interactive Recommender SystemsKeck, M. & Kammer, D., 2018Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Extending the cutting stock problem for consolidating services with stochastic workloadsHähnel, M., Martinovic, J., Scheithauer, G., Fischer, A., Schill, A. & Dargie, W., 2018, In: IEEE Transactions on Parallel and Distributed Systems. 29(11), p. 2478-2488, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Faceted Answer-Set NavigationAlrabbaa, C., Rudolph, S. & Schweizer, L., 2018, Rules and Reasoning: Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings. p. 211-225, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Facilitating Exploration on Exhibitions with Augmented RealityHube, N., Müller, M. & Groh, R., 2018Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Fast interpolation and fourier transform in high-dimensional spacesHecht, M. & Sbalzarini, I. F., 2018, Intelligent Computing: Proceedings of the 2018 Computing Conference. Kapoor, S., Bhatia, R. & Arai, K. (eds.). Springer Verlag, p. 53-75, 23 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Fast mapping of the eloquent cortex by learning L2 penaltiesHoffmann, N., Petersohn, U., Schackert, G., Koch, E., Gumhold, S. & Kirsch, M., 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 - 21st International Conference, 2018, Proceedings. Frangi, A. F., Davatzikos, C., Fichtinger, G., Alberola-López, C. & Schnabel, J. A. (eds.). Springer, Berlin [u. a.], p. 341-348, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Formal Parameter Synthesis for Energy-Utility-Optimal Fault ToleranceHerrmann, L., Baier, C., Fetzer, C., Klüppelholz, S. & Napierkowski, M., 2018, Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. Bakhshi, R., Ballarini, P., Barbot, B., Castel-Taleb, H. & Remke, A. (eds.). Springer, Berlin [u. a.], p. 78-93, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, ProceedingsBaier, C. & Caires, L., 2018, Springer, Berlin [u. a.], 197 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. ProceedingsBaier, C. & Dal Lago, U., 2018, Springer, ChamElectronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• FPGA vs. SIMD: Comparison for Main Memory-Based Fast Column Scan.Lisa, N. J., Ungethüm, A., Habich, D., Lehner, W., Nguyen, T. D. A. & Kumar, A., 2018, DATA (Revised Selected Papers). p. 116-140, 25 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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