Publikationen

2021

• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxesBaader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 11 Juli 2021, Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (Hrsg.). Springer, Berlin [u. a.], S. 309-326, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Extended Version)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 11 Juli 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Slides)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 11 Juli 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
• Resolving Synchronization Conflicts in Role-Based Multimodel-Synchronization EnvironmentsEbert, S., Kluge, T. & Götz, S., 11 Juli 2021, S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• FPGA-Based Acceleration of THz SAR ImagingBatra, A., Kamaleldin, A., Zhen, L. Y., Wiemler, M., Göhringer, D. & Kaiser, T., 5 Juli 2021, S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• From Verification to Causality-Based Explications (Invited Talk)Baier, C., Dubslaff, C., Funke, F., Jantsch, S., Majumdar, R., Piribauer, J. & Ziemek, R., 2 Juli 2021, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021: ICALP 2021, July 12–16, 2021, Glasgow, Scotland (Virtual Conference). Bansal, N., Merelli, E. & Worrell, J. (Hrsg.). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, S. 1:1–1:20, 1Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Datalog-Expressibility for Monadic and Guarded Second-Order LogicBodirsky, M., Knäuer, S. & Rudolph, S., 1 Juli 2021, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021). Bansal, N., Merelli, E. & Worrell, J. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, S. 120:1-120:17, 17 S., 120Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Lecturers’ perceptions of supporting digital teaching scenarios by an adaptable learning environmentKubica, T., Damnik, G., Braun, I., Peine, R. & Schill, A., 1 Juli 2021, S. 12181-12190, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• The Varieties of Ought-implies-Can and Deontic STIT LogicBerkel, K. V. & Lyon, T., 1 Juli 2021, Deontic Logic and Normative Systems: 15th International Conference, DEON 2020/2021. Liu, F., Marra, A., Portner, P. & Putte, F. V. D. (Hrsg.). College Publications, S. 57-76, 20 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Advancing Design and Runtime Management of AI Applications with AI-SPRINT (Position Paper)Sedghani, H., Ardagna, D., Matteucci, M., Fontana, G., Verticale, G., Amarilli, F., M. Badia, R. & 4 weitere, Juli 2021, S. 1455-1462, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• A Guideline on Pseudorandom Number Generation (PRNG) in the IoTKietzmann, P., Schmidt, T. C. & Wählisch, M., Juli 2021, in: ACM Computing Surveys. 54, 6, S. 1-38, 112Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Übersichtsartikel (Review)
• Characterization of Link Quality Fluctuation in Mobile Wireless Sensor NetworksWen, J. & Dargie, W., Juli 2021, in: ACM transactions on cyber-physical systems. 5, 3, 1 S., 28Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Exploring Effects of Gamified Collaborative Face-to-Face Learning of Regular Expressions.Ehlenz, M., Küppers, B., Leonhardt, T. & Schroeder, U., Juli 2021, S. 114-118, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Finite Model Theory of the Triguarded Fragment and Related Logics.Kieronski, E. & Rudolph, S., 29 Juni 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. S. 1-13, 13 S., 9470734Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On Logics and Homomorphism ClosureBodirsky, M., Feller, T., Knäuer, S. & Rudolph, S., 29 Juni 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Wiley-IEEE Press, S. 1-13, 13 S., 9470511Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Tactile Heatmaps: A Novel Visualisation Technique for Data Analysis with Tactile ChartsEngel, C., Müller, E. F. & Weber, G., 29 Juni 2021, The 14th PErvasive Technologies Related to Assistive Environments Conference. 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Bigraphical domain-specific language (BDSL): User ManualGrzelak, D., 25 Juni 2021Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Monographie
• A Memory-oriented Optimization Approach to Reinforcement Learning on FPGA-based Embedded Systems.Sahoo, S. S., Baranwal, A. R., Ullah, S. & Kumar, A., 22 Juni 2021, GLSVLSI 2021 - Proceedings of the 2021 Great Lakes Symposium on VLSI. S. 339-346, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• CoopCL: A Framework for Cooperative Execution of Data-parallel Kernels on Multi-device PlatformsMoreń, K. & Göhringer, D., 21 Juni 2021, Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, HEART 2021. Association for Computing Machinery, 16Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A GraphBLAS implementation in pure Java.Dörre, F., Krause, A., Habich, D. & Junghanns, M., 20 Juni 2021, S. 5:1-5:9Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Pre-trained web table embeddings for table discoveryGünther, M., Thiele, M., Gonsior, J. & Lehner, W., 20 Juni 2021, Proceedings of the 4th International Workshop on Exploiting Artificial Intelligence Techniques for Data Management, aiDM 2021. Association for Computing Machinery, Inc, S. 24-31, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Evaluation of the Quality of Aerial Links in Low-Power Wireless Sensor NetworksWen, J. & Dargie, W., 15 Juni 2021, in: IEEE sensors journal. 21, 12, S. 13924-13934, 11 S., 9388696Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• SIMD-MIMD cocktail in a hybrid memory glass - shaken, not stirred.Zarubin, M., Damme, P., Krause, A., Habich, D. & Lehner, W., 14 Juni 2021, S. 17:1-17:12Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• A Modified Supervaluationist Framework for Decision-MakingKarge, J., 1 Juni 2021, in: Logos & Episteme : an international journal of epistemology. 12, 2, S. 175-191, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Immersive 3D visualization of multi-modal brain connectivityPester, B., Winke, O., Ligges, C., Dachselt, R. & Gumhold, S., 1 Juni 2021, Proceedings of the International EuroVis Workshop on Visual Analytics (EuroVA). S. 7-11, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband