Publications

2017

• Language equations for approximate matching in the Description Logic FL0Baader, F. & Marantidis, P., 2017, Proceedings of the 31st International Workshop on Unification (UNIF'17)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Lightweight data compression algorithms: An experimental surveyLehner, W., 2017, Proc. EDBTResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Lightweight Data Compression Algorithms: An Experimental Survey (Experiments and Analyses)Damme, P., Habich, D., Hildebrandt, J. & Lehner, W., 2017, Proceedings of the 20th International Conference on Extending Database Technology, EDBT 2017, Venice, Italy, March 21-24, 2017Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Locality-Aware CTA Clustering for Modern GPUs.Li, A., Song, S. L., Liu, W., Liu, X., Kumar, A. & Corporaal, H., 2017, ASPLOS. p. 297-311, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Logic on MARS: Ontologies for generalised property graphsMarx, M., Krötzsch, M. & Thost, V., 2017, Proceedings of the 26th International Joint Conference on Artificial Intelligence. p. 1188-1194, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• LTL to Deterministic Emerson-Lei AutomataMüller, D. & Sickert, S., 2017, p. 180-194, 15 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Łukasiewicz Fuzzy EL is UndecidableBorgwardt, S., Cerami, M. & Peñaloza, R., 2017, Proceedings of the 30th International Workshop on Description Logics (DL’17)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Magnetoviscous effect in ferrofluids diluted with sheep bloodNowak, J., Borin, D., Haefner, S., Richter, A. & Odenbach, S., 2017, In: Journal of magnetism and magnetic materialsElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Maximizing the Conditional Expected Reward for Reaching the GoalBaier, C., Klein, J., Klüppelholz, S. & Wunderlich, S., 2017, Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. Legay, A. & Margaria, T. (eds.). Springer, Berlin [u. a.], p. 269–285Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric AlarmsBaier, C., Dubslaff, C., Korenčiak, Ľ., Kučera, A. & Řehàk, V., 2017, Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Springer, Berlin [u. a.], p. 190-206, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Metadata Management in the MoSGrid Science Gateway - Evaluation and the Expansion of Quantum Chemistry SupportGrunzke, R., Krüger, J., Jäkel, R., Nagel, W. E., Herres-Pawlis, S. & Hoffmann, A., 2017, In: Journal of Grid Computing. 15, 1, p. 41-53, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Metamodeling Lightweight Data Compression Algorithms and its Application ScenariosHildebrandt, J., Habich, D., Kühn, T., Damme, P. & Lehner, W., 2017, Proceedings of the ER Forum 2017 and the ER 2017 Demo Track co-located with the 36th International Conference on Conceptual Modelling (ER 2017), Valencia, Spain, - November 6-9, 2017. Cabanillas, C., España, S. & Farshidi, S. (eds.).p. 128-141, 14 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Metric Temporal Description Logics with Interval-Rigid NamesBaader, F., Borgwardt, S., Koopmann, P., Ozaki, A. & Thost, V., 2017, Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17). p. 60-76, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract)Baader, F., Borgwardt, S., Koopmann, P., Ozaki, A. & Thost, V., 2017, Proceedings of the 30th International Workshop on Description Logics (DL'17)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mobiles Bedienkonzept für die Baggersteuerung von MorgenLorenz, S., Waurich, V., Ansorge, D., Franke, I. & Krzywinski, J., 2017, 11 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Most Probable Explanations for Probabilistic Database QueriesCeylan, I., Borgwardt, S. & Lukasiewicz, T., 2017, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17). p. 950-956, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Most Probable Explanations for Probabilistic Database Queries (Extended Abstract)Ceylan, I., Borgwardt, S. & Lukasiewicz, T., 2017, Proceedings of the 30th International Workshop on Description Logics (DL'17)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Multi-source data collection for state-of-the-art data analysis from ground-proximate images in sea ice classificationWoltmann, L., Dalmo, R. & Kristiansen, R., 2017, IEEE International Symposium on Industrial ElectronicsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Next directions in experimental data for seismic hazard mitigationMartínez, I. L., Williams, M. S., Dyke, S., Krötzsch, M. & Pegon, P., 2017, In: Engineering Structures : the journal of earthquake, wind and ocean engineering. 136, p. 535-546Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Ontologies for Knowledge Graphs?Krötzsch, M., 2017, Proceedings of the 30th International Workshop on Description Logics (DL 2017). Artale, A., Glimm, B. & Kontchakov, R. (eds.).12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Ontology-Mediated Queries for Probabilistic DatabasesBorgwardt, S., Ceylan, I. & Lukasiewicz, T., 2017, Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI'17). p. 1063-1069, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Ontology-Mediated Queries for Probabilistic Databases (Extended Abstract)Borgwardt, S., Ceylan, I. & Lukasiewicz, T., 2017, Proceedings of the 30th International Workshop on Description Logics (DL'17)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk).Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F. & Zakharyaschev, M., 2017, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). p. 1:1-1:37, 37 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Overview on hardware optimizations for database enginesUngethüm, A., Habich, D., Karnagel, T., Haas, S., Mier, E., Fettweis, G. & 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. 383-402, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian EliminationHutschenreiter, L., Klein, J. & Baier, C., 2017, Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017. Bouyer, P., Orlandini, A. & San Pietro, P. (eds.).p. 16-30, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution