Publikationen

2014

• Runtime Verification Using the Temporal Description Logic ALC-LTL RevisitedBaader, F. & Lippmann, M., 2014, in: Journal of Applied Logic. 12, 4, S. 584-613, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Saccade Detection and Processing for Enhancing 3D Visualizations in Real-TimeFranke, I. S., Günther, T. & Groh, R., 2014, HCI International 2014-Posters’ Extended Abstracts. S. 317-322, 6 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Salespoint: A Java framework for teaching object-oriented software developmentZschaler, S., Demuth, B. & Schmitz, L., 2014, in: Science of computer programming : methods of software design: techniques and applications. 79, S. 189-203, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Scalable and Elastic Realtime Click Stream Analysis Using StreamMine3G (Industry Article)Martin, A., Brito, A. & Fetzer, C., 2014, S. 198-205, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Schema-Agnostic Query Rewriting in SPARQL 1.1Bischof, S., Krötzsch, M., Polleres, A. & Rudolph, S., 2014, The Semantic Web – ISWC 2014: 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I. Mika, P., Tudorache, T., Bernstein, A., Welty, C., Knoblock, C., Vrandečić, D., Groth, P., Noy, N., Janowicz, K. & Goble, C. (Hrsg.). Springer, Cham, S. 584-600, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Selective Runtime Monitoring: Non-intrusive Elimination of High-frequency FunctionsWagner, M., Doleschal, J., Knuepfer, A. & Nagel, W. E., 2014, 2014 International Conference on High Performance Computing & Simulation (HPCS). Smari, W. (Hrsg.). Wiley-IEEE Press, S. 295-302, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Similarity-based Relaxed Instance Queries in EL⁺⁺Ecke, A., 2014, PRUV 2014 Logics for Reasoning about Preferences, Uncertainty, and Vagueness: Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness. Lukasiewicz, T., Peñaloza, R. & Turhan, A. (Hrsg.). CEUR-WS.org, S. 101-113, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Situativ - Innovativ - VisuativFranke, I. S., 2014Publikation: Beitrag zu Konferenzen > Paper
• SleeD: Using a Sleeve Display to Interact with Touch-Sensitive Display Wallsvon Zadow, U., Büschel, W., Langner, R. & Dachselt, R., 2014, Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces. New York, NY, USA: Association for Computing Machinery (ACM), New York, S. 129-138, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Sloth: SDN-enabled Activity-based Virtual Machine Deployment (Poster)Knauth, T., Kiruvale, P., Hiltunen, M. & Fetzer, C., 2014, S. 205-206, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Studienvorbereitung per Mausklick: Ein Erfahrungsbericht aus SachsenRiebeck, S., Stark, A. & Oertel, D., 2014, S. 229-240, 12 S.Publikation: Beitrag zu Konferenzen > Paper
• Summary of the 9th Workshop on Models@run.timeGötz, S., Bencomo, N. & France, R., 2014Publikation: Beitrag zu Konferenzen > Paper
• Synthesis of Reo Connectors for Strategies and ControllersBaier, C., Klein, J. & Klüppelholz, S., 2014, in: Fundamenta Informaticae. 130, 1, S. 1-20, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• T4 - Transparent and Translucent Tangibles on TabletopsBüschel, W., Kister, U., Frisch, M. & Dachselt, R., 2014, Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. New York, NY, USA: Association for Computing Machinery (ACM), New York, S. 81–88Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Tactile/haptic user interfaces for tabletops and tabletsZeng, L. & Weber, G., 2014, ITS 2014 - Proceedings of the 2014 ACM International Conference on Interactive Tabletops and Surfaces. S. 491-493Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• TagStar: A Glyph-based Interface for Indexing and Visual Analysisde Almeida Madeira Clemente, M., Keck, M. & Groh, R., 2014, S. 357-358, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Tailored versus Prioritized Configuration towards Accessibility -- A Study on Weighted PreferencesLoitsch, C., Chalkia, E., Bekiaris, E. & Weber, G., 2014, Universal Access in Human-Computer Interaction: Design and Development Methods for Universal Access : 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I. Stephanidis, C. & Antona, M. (Hrsg.). Cham: Springer International Publishing, S. 246-257, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Technische Visualistik - Beiträge zur Überwindung der Desktop-MetapherGroh, R., 2014, InformatikSpektrum. Band 37 Issue 5. S. 454-458, 5 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Temporal OBDA with LTL and DL-Lite.Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F. & Zakharyaschev, M., 2014, Proceedings of the 27th International Workshop on Description Logics (DL 2014). S. 21-32, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Testing Self-adaptive Software - Requirement Analysis and Solution Scheme - International Journal On Advances in SoftwarePüschel, G., Götz, S., Wilke, C., Piechnick, C. & Aßmann, U., 2014, in: International Journal On Advances in Software. 2014, volume 7, numbers 1 and 2, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge BasesStefanoni, G., Motik, B., Krötzsch, M. & Rudolph, S., 2014, in: Journal of Artificial Intelligence Research. S. 645-705, 61 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• The energy benefit of level-crossing sampling including the actuator's energy consumptionHensel, B. & Kabitzsch, K., 2014, Proceedings -Design, Automation and Test in Europe, DATEElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Fuzzy Description Logic G-FL0 with Greatest Fixed-Point SemanticsBorgwardt, S., Leyva Galano, J. A. & Peñaloza, R., 2014, Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14). S. 62-76, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Generic Device on ARM based hardware - An analysis on cycle time limitsMätzler, S., Dennert, A. & Wollschlaeger, M., 2014Publikation: Beitrag zu Konferenzen > Paper
• The MOOC Hype: Can We Ignore It? Reflections on the Current Use of Massive Open Online Courses in Software Modeling EducationStikkolorum, D. R., Demuth, B., Zaytsev, V., Boulanger, F. & Gray, J., 2014, S. 75-86Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper