Publications

2016

• Greener Bits: Formal Analysis of Demand ResponseBaier, C., Klüppelholz, S., de Meer, H., Niedermeier, F. & Wunderlich, S., 2016, Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Artho, C., Legay, A. & Peled, D. (eds.). Springer, Berlin [u. a.], p. 323–339Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Guest Editorial - Special Issue on Multi-radio, Multi-technology, Multi-system Vehicular CommunicationsCampolo, C., Cheng, L., Sommer, C. & (Michael) Tsai, H., 2016, In: Computer communications : the international journal for the computer and telecommunications industryElectronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
• Guidelines for the use and interpretation of assays for monitoring autophagy (3rd edition)0000-0003-1065-1870, Klionsky, D. J., Abdelmohsen, K., Abe, A., Abedin, M. J., Abeliovich, H., Arozena, A. A. & 44 others, 2016, In: Autophagy. 12, 1, p. 1-222, 222 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• HAFT: Hardware-assisted Fault ToleranceKuvaiskii, D., Faqeh, R., Bhatotia, P., Felber, P. & Fetzer, C., 2016, Proceedings of the Eleventh European Conference on Computer Systems (Eurosys 2016). ACM PressElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• IEEE 802.11p unicast considered harmfulKlingler, F., Dressler, F. & Sommer, C., 2016, 7th IEEE Vehicular Networking Conference (VNC 2015)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Ikonografie der InteraktionGroh, R., 2016, Neuerscheinung ed., Dresden, 259 p.Research output: Book/Report/Anthology > Monograph
• Improvement in environmental accessibility via volunteered geographic information: a case studyZeng, L., Kühn, R. & Weber, G., 2016, In: Universal Access in the Information SocietyElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Improving 3D Visualizations: Exploring Spatial Interaction with Mobile DevicesBüschel, W., Reipschläger, P. & Dachselt, R., 2016, ISS '16 Companion: Proceedings of the 2016 ACM Companion on Interactive Surfaces and Spaces. New York, NY, USA: Association for Computing Machinery (ACM), New York, p. 63–69Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Incremental Runtime-generation of Optimisation Problems using RAG-controlled RewritingSchöne, R., Götz, S., Assmann, U. & Bürger, C., 2016Research output: Contribution to conferences > Paper
• Influence of a Suggestive Placebo Intervention on Psychobiological Responses to Social Stress: A Randomized Controlled TrialZimmermann-Viehoff, F., Steckhan, N., Meissner, K., Deter, H. & Kirschbaum, C., 2016, In:  Journal of evidence-based integrative medicine. 21, 1, p. 3-9, 7 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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