Publications

2014

• Rapid fault-space exploration by evolutionary pruningSchirmeier, H., Borchert, C. & Spinczyk, O., 2014, Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Proceedings. Springer-Verlag, p. 17-32, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean FormulasDiller, M., Wallner, J. P. & Woltran, S., 2014, Proceedings of the 5th International Conference on Computational Models of Argument. IOS Press, Amsterdam [u. a.], p. 241-252, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• (Re-) Evaluating User Interface Aspects in ERP Systems - An Empirical User StudyLambeck, C., Fohrholz, C., Leyh, C. & Müller, R., 2014, p. 396-405, 10 p.Research output: Contribution to conferences > Paper
• Report on the Aachen OCL MeetingBrucker, A. D., Chiorean, D., Clark, T., Demuth, B., Gogolla, M., Plotnikov, D., Rumpe, B. & 2 others, 2014, Proceedings of the MODELS 2013 OCL Workshop: co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013). p. 103-111, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Revisiting Graspable User InterfacesKeck, M., Lapczyna, E. & Groh, R., 2014, Design, User Experience, and Usability. Theories, Methods, and Tools for Designing the User Experience. Vol. 8517. p. 130-141, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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
• SVGPlott – Generating Adaptive and Accessible Audio-Tactile Function GraphsBornschein, J., Prescher, D. & Weber, G., 2014, Computers Helping People with Special Needs: 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part I. Miesenberger, K., Fels, D., Archambault, D., Peňáz, P. & Zagler, W. (eds.).p. 588-595, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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