Publications

2017

• 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
• The Dresden Database Systems GroupLehner, W., 2017, In: ACM SIGMOD Record. 46, 3, p. 36-41, 6 p., 3Electronic (full-text) versionResearch output: Contribution to journal > Review article
• The Feeling of Success: Does Touch Sensing Help Predict Grasp Outcomes?Calandra, R., Owens, A., Upadhyaya, M., Yuan, W., Lin, J., Adelson, E. H. & Levine, S., 2017, CoRL. p. 314-323, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Future of Industrial Communication: Automation Networks in the Era of the Internet of Things and Industry 4.0Wollschlaeger, M., Sauter, T. & Jasperneite, J., 2017, In: IEEE Industrial Electronics Magazine. 11, 1, p. 17-27, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information HidingBaader, F., Borchmann, D. & Nuradiansyah, A., 2017, Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings. Wang, Z., Turhan, A., Wang, K. & Zhang, X. (eds.). Springer Verlag, p. 102-117, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding (Slides)Baader, F., Borchmann, D. & Nuradiansyah, A., 2017Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
• The Notion of Self-aware ComputingKounev, S., Lewis, P., Bellman, K. L., Camara, N. B. A. J., Diaconescu, A., Esterle, L., Giese, K. G. A. H. & 4 others, 2017, Self-Aware Computing Systems. Kounev, S., Kephart, J. O., Milenkoski, A. & Zhu, X. (eds.).p. 3-16, 14 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• The READEX formalism for automatic tuning for energy efficiencySchuchart, J., Gerndt, M., Kjeldsberg, P. G., Lysaght, M., Horák, D., Říha, L., Gocht, A. & 14 others, 2017, In: Computing (Vienna/New York). p. 1-19, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• TOF Tactile Stamps: Drawing Object Silhouettes through Depth Segmentation by Blind PeopleBornschein, J., Förster, L. & Bornschein, D., 2017, p. 5-8, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Touching graphical applications: bimanual tactile interaction on the HyperBraille pin-matrix displayPrescher, D., Bornschein, J., Köhlmann, W. & Weber, G., 2017, In: Universal Access in the Information Society. 17, p. 391–409, 19 p.Research output: Contribution to journal > Research article
• Towards Accessible Charts for Blind and Partially Sighted PeopleEngel, C., Gollasch, D., Branig, M. & Weber, G., 2017, p. 415-418, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Towards Automated Configuration of Systems with Non-Functional ConstraintsLeuschner, L., Küttler, M., Stumpf, T., Baier, C., Härtig, H. & Klüppelholz, S., 2017, HotOS '17: Proceedings of the 16th Workshop on Hot Topics in Operating Systems. Association for Computing Machinery (ACM), New York, p. 111-117, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Automated Variant Selection for Heterogeneous Tiled ArchitecturesBaier, C., Klüppelholz, S. & Wunderlich, S., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (eds.). Springer, Berlin [u. a.], p. 382-399, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Towards compositional and generative tensor optimizationsSusungi, A., Rink, N. A., Castrillon, J., Huismann, I., Cohen, A., Tadonki, C., Stiller, J. & 1 others, 2017, p. 169-175, 7 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper