Publications

2014

• Energy-Utility QuantilesBaier, C., Daum, M., Dubslaff, C., Klein, J. & Klüppelholz, S., 2014, NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings. Badger, J. M. & Rozier, K. Y. (eds.). Springer, Cham, p. 285-299, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Engineering Gestures for Multimodal User InterfacesEchtler, F., Kammer, D., Vanacken, D., Hoste, L. & Signer, B., 2014, p. 297-298, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Entwicklung eines Gehirn-Phantoms zur Perfusions- und Brain Shift Simulation.Weidner, F., Hoffmann, N., Radev, Y., Hollmach, J., Schnabel, C., Kirsch, M., Schackert, G. & 3 others, 2014, 5. Dresdner Medizintechnik-Symposium.. Stuttgart, p. 111-113, 3 p., (Reports on Biomedical Engineering)Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• ESTER - Eye-Tracking Science Tool and Experiment RuntimeWojdziak, J., Kammer, D., Stahl, A. & Groh, R., 2014, HCI} International 2014 - Posters’ Extended Abstracts. p. 379-383, 5 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Experience Report: The Effectiveness of Paper Prototyping for Interactive VisualizationsBansemir, B., Hannß, F., Lochner, B., Wojdziak, J. & Groh, R., 2014, Design, User Experience, and Usability. Theories, Methods, and Tools for Designing the User Experience. p. 3-13, 11 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Exploring SimilarityKeck, M., Herrmann, M., Both, A., Henkens, D. & Groh, R., 2014, Human Interface and the Management of Information. Information and Knowledge in Applications and Services. Vol. 8522. p. 160-171, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• FastLane: Software Transactional Memory Optimized for Low Thread CountsWamhoff, J., Fetzer, C., Felber, P., Rivière, E. & Muller, G., 2014, p. 35-36, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Finding Volunteers' Engagement Profiles in Human Computation for Citizen Science ProjectsPonciano, L. & Brasileiro, F., 2014, In: Human Computation. 1, 2, p. 245-264Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Finite Lattices Do Not Make Reasoning in ALCOI HarderBorgwardt, S. & Peñaloza, R., 2014, Uncertainty Reasoning for the Semantic Web III. p. 122-141, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Flexibles Management einer dezentralen Automatisierungsverbundanlage als Beispiel für Industrie 4.0 - Aspekte der Systemmodellierung und dezentralen ArchitekturWeyrich, M., Göhner, P., Diedrich, C., Fay, A., Wollschlaeger, M., Kowalewski, S. & Vogel-Heuser, B., 2014Research output: Contribution to conferences > Paper
• FlexiWall: Exploring Layered Data with Elastic DisplaysMüller, M., Knöfel, A., Gründer, T., Franke, I. S. & Groh, R., 2014Research output: Contribution to conferences > Paper
• FlexiWall: Interaction in-between 2D and 3D InterfacesFranke, I. S., Müller, M., Gründer, T. & Groh, R., 2014Research output: Contribution to conferences > Paper
• Form Follows Function – Investigating Interactive Physical Objects in Virtual EnvironmentsMüller, M., Maurer, K. L., Knöfel, A., Franke, I. S. & Groh, R., 2014Research output: Contribution to conferences > Paper
• Fuzzy DLs over Finite Lattices with NominalsBorgwardt, S., 2014, Proceedings of the 27th International Workshop on Description Logics (DL'14). p. 58-70, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• GeneCloud: Secure Cloud Computing for Biomedical ResearchBeck, M., Joachim Haupt, V., Roy, J., Moennich, J., Jäkel, R., Schroeder, M. & Isik, Z., 2014, Trusted Cloud Computing. Krcmar, H., Reussner, R. & Rumpe, B. (eds.). Cham: Springer International Publishing, p. 3-14, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Get Inspired: A Visual Divide and Conquer Approach for Motive-based Search ScenariosBoth, A., Keck, M., Nguyen, V., Henkens, D., Kammer, D. & Groh, R., 2014Research output: Contribution to conferences > Paper
• Global Public Inclusive Infrastructure (GPII) – Personalisierte BenutzerschnittstellenZimmermann, G., Strobbe, C., Stiegler, A. & Loitsch, C., 2014, In: i-com. 13, 3, p. 29-35, 7 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Gödel Description Logics with General ModelsBorgwardt, S., Distel, F. & Peñaloza, R., 2014, Proceedings of the 27th International Workshop on Description Logics (DL'14). p. 391-403, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Gödel FL_0 with Greatest Fixed-Point SemanticsBorgwardt, S., Leyva Galano, J. A. & Peñaloza, R., 2014, Proceedings of the 27th International Workshop on Description Logics (DL’14). p. 71-82, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• HDEEM: High Definition Energy Efficiency MonitoringHackenberg, D., Ilsche, T., Schuchart, J., Schöne, R., Nagel, W. E., Simon, M. & Georgiou, Y., 2014, Proceedings of the 2nd International Workshop on Energy Efficient Supercomputing. p. 1-10, 10 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Holistic Performance Analysis for BDEC Systems– a Big Data Challenge?!Kluge, M., Knüpfer, A., Müller-Pfefferkorn, R. & Nagel, W., 2014Research output: Contribution to conferences > Paper
• How to Best Nest Regular Path QueriesBourhis, P., Krötzsch, M. & Rudolph, S., 2014, DL 2014: 27th International Workshop on Description Logics. Bienvenu, M., Ortiz, M., Rosati, R. & Simkus, M. (eds.).p. 404-415, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Improving Network Traffic Anomaly Detection for Cloud Computing ServicesOliveira, A. C., Spohn, M., Gomes, R., Quoc, D. L. & Duarte, B. J., 2014, p. 107 to 113Research output: Contribution to conferences > Paper
• Increasing the expressivity of humanoid robots with variable gestural expressionsViergutz, A., Flemisch, T. & Dachselt, R., 2014, HRI 2014 - Proceedings of the 2014 ACM/IEEE International Conference on Human-Robot Interaction. IEEE Computer Society, p. 314-315, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Informieren. Inspirieren. Ausprobieren: DURCH VOLKES HAND – EIN FREIES LAND: Die Ereignisse und Parolen der Friedlichen Revolution der Jahre 1989 und 1990 interaktiv erlebenFranke, I. S., 2014Research output: Contribution to conferences > Paper