Publications

2019

• Long-run Satisfaction of Path PropertiesBaier, C., Bertrand, N., Piribauer, J. & Sankur, O., 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, New York [u. a.], 14 p., 8785672Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Manipulation by Feel: Touch-Based Control with Deep Predictive Models.Tian, S., Ebert, F., Jayaraman, D., Mudigonda, M., Finn, C., Calandra, R. & Levine, S., 2019, 2019 International Conference on Robotics and Automation (ICRA). p. 818-824, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Matching in the Description Logic FL0 with respect to General TBoxes (Extended Abstract)Baader, F., Fernández Gil, O. & Marantidis, P., 2019, Proceedings of the 32nd International Workshop on Description Logics (DL'19). CEUR-WS.orgElectronic (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., 2019, In: ACM Transactions on Modeling and Computer Simulation. 29, 4, p. 1-26, 28Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Metallintensive Hybridtechnologien: Ganzheitliche Methodik zur Bewertung von ProzesskettenGrzelak, D., 2019, Technologiefusion für multifunktionale Leichtbaustrukturen: Ressourceneffizienz durch die Schlüsseltechnologie "Leichtbau". Kroll, L. (ed.).p. 240-265Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• MetricQ: A Scalable Infrastructure for Processing High-Resolution Time Series DataIlsche, T., Hackenberg, D., Schöne, R., Bielert, M., Höpfner, F. & Nagel, W. E., 2019, 6 p.Research output: Contribution to conferences > Paper
• MilkyWay: A Toolbox for Prototyping Collaborative Mobile-Based Interaction TechniquesKorzetz, M., Kühn, R., Kegel, K., Georgi, L., Schumann, F. & Schlegel, T., 2019Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Mixing Description Logics for Privacy-Preserving Ontology Publishing (Slides)Baader, F. & Nuradiansyah, A., 2019Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
• Mixing Description Logics in Privacy-Preserving Ontology PublishingBaader, F. & Nuradiansyah, A., 2019, KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23 - 26, 2019, Proceedings, . Springer Verlag, Vol. 11793. p. 87-100, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mobile Data Visualization (Dagstuhl Seminar 19292)Choe, E. K., Dachselt, R., Isenberg, P. & Lee, B., 2019, In: Dagstuhl Reports : Dokumentationen zu Dagstuhl-Seminaren und Dagstuhl-Perspektiven-Workshops. 9, 7, p. 78-93Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints.Artale, A., Kovtunova, A., Montali, M. & Aalst, W. M. P. V. D., 2019, Business Process Management - 17th International Conference (BPM 2019). p. 139-156, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Modeling cycling behavior to improve bicyclists' safety at intersections- A networking perspectiveHeinovski, J., Stratmann, L., Buse, D., Klingler, F., Franke, M., Oczko, M., Sommer, C. & 2 others, 2019, 2019 IEEE 20th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM)v. IEEE XploreElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Models@run.time: a guided tour of the state of the art and research challengesBencomo, N., Götz, S. & Song, H., 2019, In: Software and Systems ModelingElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Modular Memory System for RISC-V Based MPSoCs on Xilinx FPGAsKamaleldin, A., Ali, M., Amini Rad, P., Gottschalk, M. & Göhringer, D., 2019, p. 68-73, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• MorphStore - In-Memory Query Processing based on Morphing Compressed Intermediates LIVEHabich, D., Damme, P., Ungethüm, A., Pietrzyk, J., Krause, A., Hildebrandt, J. & Lehner, W., 2019, SIGMOD '19: Proceedings of the 2019 International Conference on Management of Data. p. 1917-1920, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• MTLG - Helping students and teachers creating and analysing simulations and games from a didactical and technical perspectiveLeonhardt, T., Ehlenz, M., Röpke, R., Bergner, N. & Schroeder, U., 2019, DELFI 2019 - Die 17. Fachtagung Bildungstechnologien. Pinkwart, N. & Konert, J. (eds.). Gesellschaft fur Informatik (GI), p. 319-320, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Multi-objective design space exploration for system partitioning of FPGA-based Dynamic Partially Reconfigurable Systems.Sahoo, S. S., Nguyen, T. D. A., Veeravalli, B. & Kumar, A., 2019, In: Integration : the VLSI journal. 67, p. 95-107, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• NeMeSys - Energy adaptive graph pattern matching on numa-based multiprocessor systemsKrause, A., Ungethüm, A., Kissinger, T., Habich, D. & Lehner, W., 2019, Datenbanksysteme fur Business, Technologie und Web, BTW 2019 and 18. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme", DBIS 2019. Grust, T., Naumann, F., Bohm, A., Lehner, W., Harder, T., Rahm, E., Heuer, A., Klettke, M. & Meyer, H. (eds.). Gesellschaft fur Informatik (GI), p. 537-541, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On compact mappings for multicore systemsGoens, A., Menard, C. & Castrillon, J., 2019, Embedded Computer Systems: Architectures, Modeling, and Simulation - 19th International Conference, SAMOS 2019, Proceedings. Pnevmatikatos, D. N., Pelcat, M. & Jung, M. (eds.). Springer, Berlin [u. a.], p. 325-335, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Online Peak Power and Maximum Temperature Management in Multi-core Mixed-Criticality Embedded Systems.Ranjbar, B., Nguyen, T. D. A., Ejlali, A. & Kumar, A., 2019, 2019 22nd Euromicro Conference on Digital System Design (DSD). p. 546-553, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the Complexity of Graded Modal Logics with ConverseBednarczyk, B., Kieronski, E. & Witkowski, P., 2019, Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (eds.). Springer, Berlin [u. a.], p. 642-658, 17 p., (Lecture Notes in Computer Science)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite SetsBaader, F. & De Bortoli, F., 2019, Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, Proceedings. Herzig, A. & Popescu, A. (eds.). Springer, Berlin [u. a.], p. 203-219, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Ontology-Mediated Query Answering over Log-linear Probabilistic DataBorgwardt, S., Ceylan, I. & Lukasiewicz, T., 2019, Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI'19). p. 2711-2718, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Ontology-Mediated Query Answering over Log-linear Probabilistic Data (Abstract)Borgwardt, S., Ceylan, I. & Lukasiewicz, T., 2019, Proceedings of the 32nd International Workshop on Description Logics (DL'19)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Ontology-mediated query answering over temporal and inconsistent dataBourgaux, C., Koopmann, P. & Turhan, A., 2019, In: Semantic Web. 3, p. 475-521, 47 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article