Publikationen

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 S., 8785672Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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). S. 818-824, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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.orgElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 1-26, 28Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Metallintensive Hybridtechnologien: Ganzheitliche Methodik zur Bewertung von ProzesskettenGrzelak, D., 2019, Technologiefusion für multifunktionale Leichtbaustrukturen: Ressourceneffizienz durch die Schlüsseltechnologie "Leichtbau". Kroll, L. (Hrsg.).S. 240-265Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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 S.Publikation: Beitrag zu Konferenzen > Paper
• MilkyWay: A Toolbox for Prototyping Collaborative Mobile-Based Interaction TechniquesKorzetz, M., Kühn, R., Kegel, K., Georgi, L., Schumann, F. & Schlegel, T., 2019Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Mixing Description Logics for Privacy-Preserving Ontology Publishing (Slides)Baader, F. & Nuradiansyah, A., 2019Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
• 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, Band 11793. S. 87-100, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 78-93Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• 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). S. 139-156, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, 2019, 2019 IEEE 20th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM)v. IEEE XploreElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 ModelingElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Modular Memory System for RISC-V Based MPSoCs on Xilinx FPGAsKamaleldin, A., Ali, M., Amini Rad, P., Gottschalk, M. & Göhringer, D., 2019, S. 68-73, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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. S. 1917-1920, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Gesellschaft fur Informatik (GI), S. 319-320, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 95-107, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Gesellschaft fur Informatik (GI), S. 537-541, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 325-335, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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). S. 546-553, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 642-658, 17 S., (Lecture Notes in Computer Science)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 203-219, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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). S. 2711-2718, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Ontology-mediated query answering over temporal and inconsistent dataBourgaux, C., Koopmann, P. & Turhan, A., 2019, in: Semantic Web. 3, S. 475-521, 47 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel