Publikationen

2017

• Range-IT: Detection and multimodal presentation of indoor objects for visually impaired peopleZeng, L., Weber, G., Simros, M., Conradie, P., Saldien, J., Ravyse, I., van Erp, J. & 1 weitere, 2017, S. 1-6Publikation: Beitrag zu Konferenzen > Paper
• Reasoning with Attributed Description LogicsKrötzsch, M., Marx, M., Ozaki, A. & Thost, V., 2017, Proceedings of the 30th International Workshop on Description Logics. Artale, A., Glimm, B. & Kontchakov, R. (Hrsg.).12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Regular Approximation of Weighted Linear Context-Free Tree LanguagesTeichmann, M., 2017, in: International Journal of Foundations of Computer Science. 28, 5, S. 523-542, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Restricted chase (non)termination for existential rules with disjunctionsCarral, D., Dragoste, I. T. & Krötzsch, M., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. S. 922-928Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Rethinking DRAM caching for LSMs in an NVRAM environmentLersch, L., Oukid, I., Schreter, I. & Lehner, W., 2017, Advances in Databases and Information Systems - 21st European Conference, ADBIS 2017, Proceedings. Kirikova, M., Norvag, K. & Papadopoulos, G. A. (Hrsg.). Springer, Berlin [u. a.], S. 326-340, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Robust lane recognition for autonomous drivingKalms, L., Rettkowski, J., Hamme, M. & Göhringer, D., 2017, S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Role-Based Models for Building Adaptable Collaborative Smart Service Systems.Wutzler, M., Weißbach, M. & Springer, T., 2017, SMARTCOMP. S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• SAP HANA--The Evolution of an In-Memory DBMS from Pure OLAP Processing Towards Mixed WorkloadsMay, N., Böhm, A. & Lehner, W., 2017, Datenbanksysteme fur Business, Technologie und Web, BTW 2017: 17. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme", DBIS 2017, Proceedings. Mitschang, B., Nicklas, D., Leymann, F., Schoning, H., Herschel, M., Teubner, J. & Harder, T. (Hrsg.). Gesellschaft fur Informatik (GI), S. 545-563, 19 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Scrubbing Mechanism for Heterogeneous Applications in Reconfigurable Devices.Santos, R., Venkataraman, S. & Kumar, A., 2017, in: ACM Transactions on Design Automation of Electronic Systems : TODAES. 22, 2, 26 S., 33Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Secure and energy-efficient interconnects for board-to-board communicationMatthiesen, B., Pfennig, S., Bielert, M., Ilsche, T., Lonnstrom, A., Li, T., Cabrera, J. A. & 8 weitere, 2017, 2017 IEEE 17th International Conference on Ubiquitous Wireless Broadband (ICUWB). S. 1-7, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Self-aware Computing Systems: Related Concepts and Research AreasCámara, J., Bellman, K. L., Kephart, J. O., Autili, M., Bencomo, N., Diaconescu, A., Giese, H. & 4 weitere, 2017, Self-Aware Computing Systems. Kounev, S., Kephart, J. O., Milenkoski, A. & Zhu, X. (Hrsg.).S. 17-49, 33 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Self-modeling and Self-awarenessBellman, K. L., Landauer, C., Nelson, P., Bencomo, N., Götz, S., Lewis, P. & Esterle, L., 2017, Self-Aware Computing Systems. Kounev, S., Kephart, J. O., Milenkoski, A. & Zhu, X. (Hrsg.).S. 279-304, 26 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Small Is Beautiful: Computing Minimal Equivalent EL ConceptsKoopmann, P. & Nikitina, N., 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence. AAAI Press, S. 1206–1212Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, ProceedingsSteffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T., 2017, Springer, Berlin [u. a.], 526 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Softwareunterstützung zur effizienten Parameterbestimmung für modulare ModelleHensel, B. & Kabitzsch, K., 2017, Tagungsband des 5. Kolloquiums des SFB Trasregio 96. ChemnitzPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Some advances in tools and algorithms for the construction and analysis of systemsBaier, C. & Tinelli, C., 2017, in: International Journal on Software Tools for Technology Transfer. 19, 6, S. 649-652, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• SPARQLytics: Multidimensional analytics for RDFRudolf, M., Voigt, H. & Lehner, W., 2017, Datenbanksysteme fur Business, Technologie und Web (BTW 2017): 17. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme", DBIS 2017, Proceedings. Mitschang, B., Nicklas, D., Leymann, F., Schoning, H., Herschel, M., Teubner, J. & Harder, T. (Hrsg.). Gesellschaft fur Informatik (GI), S. 51-60, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• SQID: Towards Ontological Reasoning for WikidataMarx, M. & Krötzsch, M., 2017, Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks. Nikitina, N., Song, D., Fokoue, A. & Haase, P. (Hrsg.).4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• State of the Art in Architectures for Self-aware Computing SystemsGiese, H., Vogel, T., Diaconescu, A., Götz, S., Geihs, K., Kounev, S., Bellman, K. L. & 1 weitere, 2017, Self-Aware Computing Systems. Kounev, S., Kephart, J. O., Milenkoski, A. & Zhu, X. (Hrsg.).S. 237-275, 39 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Succinctness and tractability of closure operator representations.Rudolph, S., 2017, in: Theoretical computer science : the journal of the EATCS. 658, S. 327-345, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Summary of the 12th International Workshop on Models@run.timeGötz, S., Bencomo, N., Bellman, K. & Blair, G., 2017Publikation: Beitrag zu Konferenzen > Paper
• Synthesis of Optimal Resilient Control StrategiesBaier, C., Dubslaff, C., Korenčiak, Ľ., Kučera, A. & Řehàk, V., 2017, Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings. D'Souza, D. & Kumar, K. N. (Hrsg.). Springer, Berlin [u. a.], S. 417-434, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Table identification and reconstruction in spreadsheetsKoci, E., Thiele, M., Romero, O. & Lehner, W., 2017, Advanced Information Systems Engineering : 29th International Conference, CAiSE 2017. Dubois, E. & Pohl, K. (Hrsg.). Springer, Berlin [u. a.], S. 527-541, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Basics of Display CalculiLyon, T., Ittner, C., Eckhardt, T. & Gratzl, N., 2017, in: Kriterion : journal of philosophy. 31, 2, S. 55-100, 46 S.Publikation: Beitrag in Fachzeitschrift > Forschungsartikel
• The complexity of fuzzy EL under the Łukasiewicz t-normBorgwardt, S., Cerami, M. & Peñaloza, R., 2017, in: International Journal of Approximate Reasoning. 91, S. 179-201, 23 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel