Publikationen

2017

• 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
• The Dresden Database Systems GroupLehner, W., 2017, in: ACM SIGMOD Record. 46, 3, S. 36-41, 6 S., 3Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Übersichtsartikel (Review)
• 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. S. 314-323, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 17-27, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Springer Verlag, S. 102-117, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding (Slides)Baader, F., Borchmann, D. & Nuradiansyah, A., 2017Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
• 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 weitere, 2017, Self-Aware Computing Systems. Kounev, S., Kephart, J. O., Milenkoski, A. & Zhu, X. (Hrsg.).S. 3-16, 14 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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 weitere, 2017, in: Computing (Vienna/New York). S. 1-19, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• TOF Tactile Stamps: Drawing Object Silhouettes through Depth Segmentation by Blind PeopleBornschein, J., Förster, L. & Bornschein, D., 2017, S. 5-8, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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, S. 391–409, 19 S.Publikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Towards Accessible Charts for Blind and Partially Sighted PeopleEngel, C., Gollasch, D., Branig, M. & Weber, G., 2017, S. 415-418, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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, S. 111-117, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 382-399, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten