Publikationen

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, S. 1-18, 18 S., (LNCS)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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. (Hrsg.). Springer, Cham, S. 453-465, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A rule-based ontological framework for the classification of moleculesMagka, D., Krötzsch, M. & Horrocks, I., 2014, in: Journal of Biomedical Semantics. 5, 12 S., 17Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Assistenzsysteme im industriellen Kontext – Interviews und Kontextanalyse.Knöfel, A., Stelzer, R., Groh, R. & Krzywinski, J., 2014Publikation: Beitrag zu Konferenzen > 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. (Hrsg.). The Eurographics Association, S. 43-62, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Auto-scaling Techniques for Elastic Data Stream Processing (Demo)Heinze, T., Pappalardo, V., Jerzak, Z. & Fetzer, C., 2014, S. 318-321, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Barrierefreiheit in der Mensch-Computer InteraktionWeber, G., 2014, in:  i-com : journal of interactive media. 13, 3, S. 1-2, 2 S., 3Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Leitartikel (Editorial)
• 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. S. 488-498, 11 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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. (Hrsg.). New York, NY, USA: Association for Computing Machinery (ACM), New York, S. 80–85Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Cloud-based Data Stream Processing (Tutorial)Heinze, T., Aniello, L., Querzoni, L. & Jerzak, Z., 2014, S. 238-245, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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 weitere, 2014, S. 248-255, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Commonalities and Contrasts: An Investigation of ERP Usability in a Comparative User StudyLambeck, C., Fohrholz, C., Leyh, C., Supulniece, I. & Müller, R., 2014Publikation: Beitrag zu Konferenzen > 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. (Hrsg.).S. 105-116, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Complexities of Nominal SchemasKrötzsch, M. & Rudolph, S., 2014, Informal Proceedings of the 27th International Workshop on Description Logics. Bienvenu, M. & Ortiz, M. (Hrsg.).S. 270-273, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 515-530, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, 10Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Consistency Reasoning in Lattice-Based Fuzzy Description LogicsBorgwardt, S. & Peñaloza, R., 2014, in: International Journal of Approximate Reasoning. 9, S. 1917-1938, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, S. 121-128, 8 S.Publikation: Beitrag zu Konferenzen > 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. S. 533-540, 8 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• CubeQuery: Tangible Interface for Creating and Manipulating Database QueriesLangner, R., Augsburg, A. & Dachselt, R., 2014, S. 423-426, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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). S. 228-237, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). IOS Press, Amsterdam [u. a.], Band 266. S. 281-292, 12 S., (Frontiers in Artificial Intelligence and Applications)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 12-19Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Dienstbasierte Prüfung von CAEX-Exporten mit standardisierten BibliothekenTheurich, S., Wollschlaeger, M., Schüller, A. & Epple, U., 2014Publikation: Beitrag zu Konferenzen > Paper