Publications

2018

• 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
• Modulo Counting on Words and TreesBednarczyk, B. & Charatonik, W., 2018, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017). Lokam, S. & Ramanujam, R. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 93. p. 12:1-12:16, (Leibniz International Proceedings in Informatics (LIPIcs))Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Möglichkeiten digital gestützter, hochschulübergreifender Kooperation in der Lehre. Fallbeispiele aus der sächsischen Hochschulbildung.Köhler, T., Schulz, S., Zimmermann, T., Schade, C., Sonntag, R., Halgasch, J., Adler, T. & 7 others, 2018, Communities in New Media: : Research on Knowledge Communities in Science, Business, Education and Public Administration - Proceedings of 21th Conference GeNeMe. TUDpress/Thelem UniversitätsverlagElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Multi-level De-anonymisation for Initially Anonymous Discussion Systems in a Self-regulated Learning Environment.Hara, T., Schumacher, A., Hara, K., Braun, I., Kapp, F. & Schill, A., 2018, p. 302-307Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Multimodale Unterstützungssysteme für Leistungssport im Taktilen InternetLapczyna, E., Engeln, L., Krzywinski, J. & Groh, R., 2018, Mensch und Computer 2018 - WorkshopbandResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Multiple Coordinated Views at Large Displays for Multiple Users: Empirical Findings on User Behavior, Movements, and DistancesLangner, R., Kister, U. & Dachselt, R., 2018, In: IEEE Transactions on Visualization and Computer Graphics. 25, 1, p. 608-618, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Multi-Touch Enhanced Visual Audio-MorphingEngeln, L., Kammer, D., Brandt, L. & Groh, R., 2018, Proceedings of the International Conference on New Interfaces for Musical Expression. Blacksburg, Virginia, USA, p. 152-155, 4 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• OLTPShare: The case for sharing in OLTP workloadsRehrmann, R., Binnig, C., Böhm, A., Kim, K., Lehner, W. & Rizk, A., 2018, In: Proceedings of the VLDB Endowment. 11, 12, p. 1769-1780, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• On the need for coordinated access control for vehicular visible light communicationMemedi, A., Sommer, C. & Dressler, F., 2018, 2018 14th Annual Conference on Wireless On-Demand Network Systems and Services, WONS 2018 - ProceedingsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the Ontological Modeling of TreesCarral, D., Hitzler, P., Lapp, H. & Rudolph, S., 2018, Workshop on Ontology Design and PatternsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• OpenLicht - A Self-learning Lighting System based on openHABBierzynski, K., Kalleder, F., Lutskov, P., Rohde, F., Rodríguez, D. M., Mena-Carrillo, J., Schöne, R. & 1 others, 2018Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• ParaDRo: A Parallel Deterministic Router Based on Spatial Partitioning and Scheduling.Hoo, C. H. & Kumar, A., 2018, FPGA. p. 67-76, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query AnsweringBaader, F., Borgwardt, S. & Forkel, W., 2018, Proceedings of the 1st International Workshop on Hybrid Question Answering with Structured and Unstructured Knowledge (HQA'18), Companion of the The Web Conference 2018. p. 1069-1074, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Paving the Way for Computer Science in German SchoolsSchroeder, U., Bergner, N. & Leonhardt, T., 2018, Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. Bayro-Corrochano, E. & Hancock, E. (eds.). Cham: Springer International Publishing AG, Vol. 8827. p. 590-609, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report