Publications

2016

• Informatik-Einstiege mittels Software, Hardware und auch unplugged : ein VergleichBergner, N., Leonhardt, T. & Schroeder, U., 2016, Informatik für Kinder. Thomas, M. & Weigend, M. (eds.). Norderstedt: Books on Demand, p. 35-44, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Interfacekonzepte für präsente AssistentenKnöfel, A., Müller, M., Groh, R. & Krzywinski, J., 2016Research output: Contribution to conferences > Paper
• Is Your Database System a Semantic Web Reasoner?Krötzsch, M. & Rudolph, S., 2016, In: KI - Künstliche Intelligenz. 30, p. 169–176Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Learning thermal process representations for intraoperative analysis of cortical perfusion during ischemic strokesHoffmann, N., Koch, E., Steiner, G., Petersohn, U. & Kirsch, M., 2016, Springer, ChamElectronic (full-text) versionResearch output: Book/Report/Anthology > Monograph
• Lessons Learned from Spatial and Temporal Correlation of Node Failures in High Performance ComputersGhiasvand, S., Ciorba, F. M., Tschüter, R. & Nagel, W. E., 2016, 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP). Wiley-IEEE Press, p. 377-381, 5 p., 7445361Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Locating widgets in different tactile information visualizationsPrescher, D. & Weber, G., 2016, p. 100-107, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Logging in Visualizations: Challenges of Interaction Techniques Beyond Mouse and KeyboardHorak, T., Kister, U., Klamka, K., Langner, R. & Dachselt, R., 2016, LIVVIL: Logging Interactive Visualizations and Visualizing Interaction Logs. Vuillemot, R., Boy, J., Tabard, A., Perin, C. & Fekete, J. (eds.).p. 9-11Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Low-Fidelity Prototyping for Collaborative User Interface SpecificationsWojdziak, J., Bansemir, B., Kirchner, B., Lochner, B. & Groh, R., 2016, HCI International 2016 - Posters' Extended Abstracts: 18th International Conference, HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part I. p. 167-172, 6 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous ManycoresAsmussen, N., Völp, M., Nöthen, B., Härtig, H. & Fettweis, G., 2016, Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems. p. 189-203Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Markov Chains and Unambiguous Büchi AutomataBaier, C., Kiefer, S., Klein, J., Klüppelholz, S., Müller, D. & Worrell, J., 2016, Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Chaudhuri, S. & Farzan, A. (eds.). Springer, Berlin [u. a.], p. 23-42, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Marrying safety with privacy: A holistic solution for location privacy in VANETsEckhoff, D. & Sommer, C., 2016, 8th IEEE Vehicular Networking Conference (VNC 2016)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Model-Driven Integration of Compression Algorithms in Column-Store Database SystemsHildebrandt, J., Habich, D. & Lehner, W., 2016, Proceedings of the Conference "Lernen, Wissen, Daten, Analysen": Potsdam, Germany, September 12-14, 2016. Krestel, R., Mottin, D. & Müller, E. (eds.).p. 30-41, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Modeling of Fully Printed Organic Field Fffect Transistors for Circuit Design and SimulationKaveh, O., Kheradmand-Boroujeni, B., Kasemann, D., Leo, K. & Ellinger, F., 2016, 2016 13th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Modeling OWL with Rules: The ROWL Protege PluginSarker, K., Carral, D., Krisnadhi, A. & Hitzler, P., 2016, ISWC 2016 Posters & Demonstrations TrackElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Modeling Role-Based Systems with Exogenous CoordinationChrszon, P., Dubslaff, C., Baier, C., Klein, J. & Klüppelholz, S., 2016, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Ábrahám, E., Bonsangue, M. & Johnsen, E. B. (eds.).p. 122-139, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Model Kit for Lightweight Data Compression AlgorithmsHildebrandt, J., Habich, D., Damme, P. & Lehner, W., 2016Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• On the Complexity of Universality for Partially Ordered NFAsKrötzsch, M., Masopust, T. & Thomazo, M., 2016, 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) . p. 61:1-61:14Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the impact of antenna patterns on VANET simulationEckhoff, D., Brummer, A. & Sommer, C., 2016, 8th IEEE Vehicular Networking Conference (VNC 2016)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the way towards Videocampus Sachsen - A feasibility study,Auf dem Weg zum Videocampus Sachsen – eine MachbarkeitsuntersuchungBergert, A., Schellbach, U. & Lehmann, A., 2016, Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Ontologies for Knowledge Graphs: Breaking the RulesKrötzsch, M. & Thost, V., 2016, The Semantic Web – ISWC 2016: 15th International Semantic Web Conference, Kobe, Japan, October 17–21, 2016, Proceedings, Part I. Groth, P., Simperl, E., Gray, A., Sabou, M., Krötzsch, M., Lecue, F., Flöck, F. & Gil, Y. (eds.). Springer, Cham, p. 376–392Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Open-World Probabilistic DatabasesCeylan, I. I., Darwiche, A. & Van den Broeck, G., 2016, Proceedings of 15. International Conference on Principles of Knowledge Representation and Reasoning (KR 2016). Baral, C., Delgrande, J. P. & Wolter, F. (eds.). AAAI Press, p. 339-348, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Penalized graph partitioning for static and dynamic load balancingKiefer, T., Habich, D. & Lehner, W., 2016, Euro-Par 2016: Parallel Processing. Dutot, P. & Trystram, D. (eds.). Springer, Berlin [u. a.], p. 146-158, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Performance comparison of IEEE 802.11p and ARIB STD-T109Heinovski, J., Klingler, F., Dressler, F. & Sommer, C., 2016, 8th IEEE Vehicular Networking Conference (VNC 2016)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Performance-Portable Many-Core Plasma Simulations: Porting PIConGPU to OpenPower and BeyondZenker, E., Widera, R., Huebl, A., Juckeland, G., Knuepfer, A., Nagel, W. E. & Bussmann, M., 2016, High Performance Computing. Taufer, M., Mohr, B. & Kunkel, J. (eds.). Springer, Berlin [u. a.], p. 293-301, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Pick the right guy: CQI-based LTE forwarder selection in VANETsTurcanu, I., Sommer, C., Baiocchi, A. & Dressler, F., 2016, 8th IEEE Vehicular Networking Conference (VNC 2016)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution