Publications

2014

• Runtime Verification Using the Temporal Description Logic ALC-LTL RevisitedBaader, F. & Lippmann, M., 2014, In: Journal of Applied Logic. 12, 4, p. 584-613, 30 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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. p. 317-322, 6 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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, p. 189-203, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Scalable and Elastic Realtime Click Stream Analysis Using StreamMine3G (Industry Article)Martin, A., Brito, A. & Fetzer, C., 2014, p. 198-205, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > 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. (eds.). Springer, Cham, p. 584-600, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (ed.). Wiley-IEEE Press, p. 295-302, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). CEUR-WS.org, p. 101-113, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Situativ - Innovativ - VisuativFranke, I. S., 2014Research output: Contribution to conferences > 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, p. 129-138, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Sloth: SDN-enabled Activity-based Virtual Machine Deployment (Poster)Knauth, T., Kiruvale, P., Hiltunen, M. & Fetzer, C., 2014, p. 205-206, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Studienvorbereitung per Mausklick: Ein Erfahrungsbericht aus SachsenRiebeck, S., Stark, A. & Oertel, D., 2014, p. 229-240, 12 p.Research output: Contribution to conferences > Paper
• Summary of the 9th Workshop on Models@run.timeGötz, S., Bencomo, N. & France, R., 2014Research output: Contribution to conferences > Paper
• Synthesis of Reo Connectors for Strategies and ControllersBaier, C., Klein, J. & Klüppelholz, S., 2014, In: Fundamenta Informaticae. 130, 1, p. 1-20, 20 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• 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, p. 81–88Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. p. 491-493Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• TagStar: A Glyph-based Interface for Indexing and Visual Analysisde Almeida Madeira Clemente, M., Keck, M. & Groh, R., 2014, p. 357-358, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > 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. (eds.). Cham: Springer International Publishing, p. 246-257, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Technische Visualistik - Beiträge zur Überwindung der Desktop-MetapherGroh, R., 2014, InformatikSpektrum. Vol. 37 Issue 5. p. 454-458, 5 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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). p. 21-32, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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. p. 645-705, 61 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The energy benefit of level-crossing sampling including the actuator's energy consumptionHensel, B. & Kabitzsch, K., 2014, Proceedings -Design, Automation and Test in Europe, DATEElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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). p. 62-76, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Generic Device on ARM based hardware - An analysis on cycle time limitsMätzler, S., Dennert, A. & Wollschlaeger, M., 2014Research output: Contribution to conferences > 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, p. 75-86Electronic (full-text) versionResearch output: Contribution to conferences > Paper