Publications

2014

• A Reference Architecture and Roadmap for Models@run.time SystemsAßmann, U., Götz, S., Jezequel, J., Morin, B. & Trapp, M., 2014, Models@run.time . Springer, Cham, p. 1-18, 18 p., (LNCS)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Are Good-for-Games Automata Good for Probabilistic Model Checking?Klein, J., Müller, D., Baier, C. & Klüppelholz, S., 2014, Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings. Dediu, A., Martín-Vide, C., Sierra-Rodríguez, J. & Truthe, B. (eds.). Springer, Cham, p. 453-465, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A rule-based ontological framework for the classification of moleculesMagka, D., Krötzsch, M. & Horrocks, I., 2014, In: Journal of Biomedical Semantics. 5, 12 p., 17Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Assistenzsysteme im industriellen Kontext – Interviews und Kontextanalyse.Knöfel, A., Stelzer, R., Groh, R. & Krzywinski, J., 2014Research output: Contribution to conferences > Paper
• A Survey on Interactive Lenses in VisualizationTominski, C., Gladisch, S., Kister, U., Dachselt, R. & Schumann, H., 2014, 16th Eurographics Conference on Visualization - State of the Art Reports, EuroVis-STAR 2014. Borgo, R., Maciejewski, R. & Viola, I. (eds.). The Eurographics Association, p. 43-62, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Auto-scaling Techniques for Elastic Data Stream ProcessingHeinze, T., Pappalardo, V., Jerzak, Z. & Fetzer, C., 2014, 9th International Workshop on Self-Managing Database Systems (SMDB 2014). IEEE Computational Intelligence Society (CIS), 7 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Auto-scaling Techniques for Elastic Data Stream Processing (Demo)Heinze, T., Pappalardo, V., Jerzak, Z. & Fetzer, C., 2014, p. 318-321, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Barrierefreiheit in der Mensch-Computer InteraktionWeber, G., 2014, In:  i-com : journal of interactive media. 13, 3, p. 1-2, 2 p., 3Electronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
• Beyond Perspective-A Model-Based Approach for Camera-Based 3D-Interface DesignWojdziak, J. & Groh, R., 2014, Design, User Experience, and Usability. User Experience Design for Diverse Interaction Platforms and Environments. p. 488-498, 11 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• cAR: Contact Augmented Reality with Transparent-Display Mobile DevicesHincapié-Ramos, J. D., Roscher, S., Büschel, W., Kister, U., Dachselt, R. & Irani, P., 2014, Proceedings of The International Symposium on Pervasive Displays. Boring, S., Quigley, A. & Gehring, S. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), New York, p. 80–85Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Cloud-based Data Stream Processing (Tutorial)Heinze, T., Aniello, L., Querzoni, L. & Jerzak, Z., 2014, p. 238-245, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Combining Error Detection and Transactional Memory for Energy-efficient Computing below Safe Operation MarginsYalcin, G., Cristal, A., Unsal, O., Sobe, A., Harmanci, D., Felber, P., Voronin, A. & 2 others, 2014, p. 248-255, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Commonalities and Contrasts: An Investigation of ERP Usability in a Comparative User StudyLambeck, C., Fohrholz, C., Leyh, C., Supulniece, I. & Müller, R., 2014Research output: Contribution to conferences > Paper
• COMPASS - Eine kollaborative Plattform zur Wissensgenerierung über Accessibility-Probleme und deren LösungenLoitsch, C., Rütz, P., Grunewald, P. & Weber, G., 2014, Online Communities: Technologies and Analyses for Networks in Industry, Research and Education: 17. Workshop GeNeMe ’14 Gemeinschaften in Neuen Medien, Dresden. Köhler, T. & Kahnwald, N. (eds.).p. 105-116, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Complexities of Nominal SchemasKrötzsch, M. & Rudolph, S., 2014, Informal Proceedings of the 27th International Workshop on Description Logics. Bienvenu, M. & Ortiz, M. (eds.).p. 270-273, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Computing Conditional Probabilities in Markovian Models EfficientlyBaier, C., Klein, J., Klüppelholz, S. & Märcker, S., 2014, Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Ábrahám, E. & Havelund, K. (eds.). Springer, Berlin [u. a.], p. 515-530, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Considering human aspects on strategies for designing and managing distributed human computationPonciano, L., Brasileiro, F., Andrade, N. & Sampaio, L., 2014, In: Journal of Internet Services and Applications. 5, 10Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Consistency Reasoning in Lattice-Based Fuzzy Description LogicsBorgwardt, S. & Peñaloza, R., 2014, In: International Journal of Approximate Reasoning. 9, p. 1917-1938, 22 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• ContextPoint: An Architecture for Extrinsic Meta-Adaptation in Intelligent EnvironmentsPiechnick, C., Richly, S., Kühn, T., Götz, S., Püschel, G. & Aßmann, U., 2014, p. 121-128, 8 p.Research output: Contribution to conferences > Paper
• Controlling Light Environments Using Segmented Light Sources and Mobile DevicesEschrich, B., Kammer, D., Kozak, K., Hesse, J. & Groh, R., 2014, Design, User Experience, and Usability. User Experience Design for Diverse Interaction Platforms and Environments. p. 533-540, 8 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• CubeQuery: Tangible Interface for Creating and Manipulating Database QueriesLangner, R., Augsburg, A. & Dachselt, R., 2014, p. 423-426, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Decidable Gödel description logics without the finitely-valued model propertyBorgwardt, S., Distel, F. & Peñaloza, R., 2014, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14). p. 228-237, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Decomposing Abstract Dialectical FrameworksGaggl, S. A. & Straß, H., 2014, Proceedings of the 5th International Conference on Computational Models of Argument (COMMA 2014). Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). IOS Press, Amsterdam [u. a.], Vol. 266. p. 281-292, 12 p., (Frontiers in Artificial Intelligence and Applications)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Description LogicsKrötzsch, M., Simančík, F. & Horrocks, I., 2014, In: IEEE intelligent systems / Institute of Electrical and Electronics Engineers ; IEEE Computer Society. 29, 1, p. 12-19Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Dienstbasierte Prüfung von CAEX-Exporten mit standardisierten BibliothekenTheurich, S., Wollschlaeger, M., Schüller, A. & Epple, U., 2014Research output: Contribution to conferences > Paper