Publications

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 others, 2017, p. 1-6Research output: Contribution to conferences > 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. (eds.).12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Regular Approximation of Weighted Linear Context-Free Tree LanguagesTeichmann, M., 2017, In: International Journal of Foundations of Computer Science. 28, 5, p. 523-542, 20 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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. p. 922-928Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Springer, Berlin [u. a.], p. 326-340, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Robust lane recognition for autonomous drivingKalms, L., Rettkowski, J., Hamme, M. & Göhringer, D., 2017, p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Role-Based Models for Building Adaptable Collaborative Smart Service Systems.Wutzler, M., Weißbach, M. & Springer, T., 2017, SMARTCOMP. p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Gesellschaft fur Informatik (GI), p. 545-563, 19 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 p., 33Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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 others, 2017, 2017 IEEE 17th International Conference on Ubiquitous Wireless Broadband (ICUWB). p. 1-7, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 others, 2017, Self-Aware Computing Systems. Kounev, S., Kephart, J. O., Milenkoski, A. & Zhu, X. (eds.).p. 17-49, 33 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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. (eds.).p. 279-304, 26 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Small Is Beautiful: Computing Minimal Equivalent EL ConceptsKoopmann, P. & Nikitina, N., 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence. AAAI Press, p. 1206–1212Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Softwareunterstützung zur effizienten Parameterbestimmung für modulare ModelleHensel, B. & Kabitzsch, K., 2017, Tagungsband des 5. Kolloquiums des SFB Trasregio 96. ChemnitzResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, p. 649-652, 4 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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. (eds.). Gesellschaft fur Informatik (GI), p. 51-60, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.).4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 others, 2017, Self-Aware Computing Systems. Kounev, S., Kephart, J. O., Milenkoski, A. & Zhu, X. (eds.).p. 237-275, 39 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Succinctness and tractability of closure operator representations.Rudolph, S., 2017, In: Theoretical computer science : the journal of the EATCS. 658, p. 327-345, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Summary of the 12th International Workshop on Models@run.timeGötz, S., Bencomo, N., Bellman, K. & Blair, G., 2017Research output: Contribution to conferences > 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. (eds.). Springer, Berlin [u. a.], p. 417-434, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Springer, Berlin [u. a.], p. 527-541, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Basics of Display CalculiLyon, T., Ittner, C., Eckhardt, T. & Gratzl, N., 2017, In: Kriterion : journal of philosophy. 31, 2, p. 55-100, 46 p.Research output: Contribution to journal > Research article
• The complexity of fuzzy EL under the Łukasiewicz t-normBorgwardt, S., Cerami, M. & Peñaloza, R., 2017, In: International Journal of Approximate Reasoning. 91, p. 179-201, 23 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article