Publications

2021

• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Slides)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 11 Jul 2021Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
• Resolving Synchronization Conflicts in Role-Based Multimodel-Synchronization EnvironmentsEbert, S., Kluge, T. & Götz, S., 11 Jul 2021, p. 1-8, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• FPGA-Based Acceleration of THz SAR ImagingBatra, A., Kamaleldin, A., Zhen, L. Y., Wiemler, M., Göhringer, D. & Kaiser, T., 5 Jul 2021, p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• From Verification to Causality-Based Explications (Invited Talk)Baier, C., Dubslaff, C., Funke, F., Jantsch, S., Majumdar, R., Piribauer, J. & Ziemek, R., 2 Jul 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. (eds.). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, p. 1:1–1:20, 1Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Datalog-Expressibility for Monadic and Guarded Second-Order LogicBodirsky, M., Knäuer, S. & Rudolph, S., 1 Jul 2021, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021). Bansal, N., Merelli, E. & Worrell, J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 120:1-120:17, 17 p., 120Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Lecturers’ perceptions of supporting digital teaching scenarios by an adaptable learning environmentKubica, T., Damnik, G., Braun, I., Peine, R. & Schill, A., 1 Jul 2021, p. 12181-12190, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• The Varieties of Ought-implies-Can and Deontic STIT LogicBerkel, K. V. & Lyon, T., 1 Jul 2021, Deontic Logic and Normative Systems: 15th International Conference, DEON 2020/2021. Liu, F., Marra, A., Portner, P. & Putte, F. V. D. (eds.). College Publications, p. 57-76, 20 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 others, Jul 2021, p. 1455-1462, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• A Guideline on Pseudorandom Number Generation (PRNG) in the IoTKietzmann, P., Schmidt, T. C. & Wählisch, M., Jul 2021, In: ACM Computing Surveys. 54, 6, p. 1-38, 112Electronic (full-text) versionResearch output: Contribution to journal > Review article
• Characterization of Link Quality Fluctuation in Mobile Wireless Sensor NetworksWen, J. & Dargie, W., Jul 2021, In: ACM transactions on cyber-physical systems. 5, 3, 1 p., 28Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Exploring Effects of Gamified Collaborative Face-to-Face Learning of Regular Expressions.Ehlenz, M., Küppers, B., Leonhardt, T. & Schroeder, U., Jul 2021, p. 114-118, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Finite Model Theory of the Triguarded Fragment and Related Logics.Kieronski, E. & Rudolph, S., 29 Jun 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. p. 1-13, 13 p., 9470734Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On Logics and Homomorphism ClosureBodirsky, M., Feller, T., Knäuer, S. & Rudolph, S., 29 Jun 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Wiley-IEEE Press, p. 1-13, 13 p., 9470511Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Tactile Heatmaps: A Novel Visualisation Technique for Data Analysis with Tactile ChartsEngel, C., Müller, E. F. & Weber, G., 29 Jun 2021, The 14th PErvasive Technologies Related to Assistive Environments Conference. 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Bigraphical domain-specific language (BDSL): User ManualGrzelak, D., 25 Jun 2021Electronic (full-text) versionResearch output: Book/Report/Anthology > Monograph
• A Memory-oriented Optimization Approach to Reinforcement Learning on FPGA-based Embedded Systems.Sahoo, S. S., Baranwal, A. R., Ullah, S. & Kumar, A., 22 Jun 2021, GLSVLSI 2021 - Proceedings of the 2021 Great Lakes Symposium on VLSI. p. 339-346, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• CoopCL: A Framework for Cooperative Execution of Data-parallel Kernels on Multi-device PlatformsMoreń, K. & Göhringer, D., 21 Jun 2021, Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, HEART 2021. Association for Computing Machinery, 16Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A GraphBLAS implementation in pure Java.Dörre, F., Krause, A., Habich, D. & Junghanns, M., 20 Jun 2021, p. 5:1-5:9Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Pre-trained web table embeddings for table discoveryGünther, M., Thiele, M., Gonsior, J. & Lehner, W., 20 Jun 2021, Proceedings of the 4th International Workshop on Exploiting Artificial Intelligence Techniques for Data Management, aiDM 2021. Association for Computing Machinery, Inc, p. 24-31, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Evaluation of the Quality of Aerial Links in Low-Power Wireless Sensor NetworksWen, J. & Dargie, W., 15 Jun 2021, In: IEEE sensors journal. 21, 12, p. 13924-13934, 11 p., 9388696Electronic (full-text) versionResearch output: Contribution to journal > Research article
• SIMD-MIMD cocktail in a hybrid memory glass - shaken, not stirred.Zarubin, M., Damme, P., Krause, A., Habich, D. & Lehner, W., 14 Jun 2021, p. 17:1-17:12Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• A Modified Supervaluationist Framework for Decision-MakingKarge, J., 1 Jun 2021, In: Logos & Episteme : an international journal of epistemology. 12, 2, p. 175-191, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Immersive 3D visualization of multi-modal brain connectivityPester, B., Winke, O., Ligges, C., Dachselt, R. & Gumhold, S., 1 Jun 2021, Proceedings of the International EuroVis Workshop on Visual Analytics (EuroVA). p. 7-11, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ADAM-CS: Advanced Asynchronous Monotonic Counter ServiceMartin, A., Lian, C., Gregor, F., Krahn, R., Schiavoni, V., Felber, P. & Fetzer, C., Jun 2021, p. 426-437, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Biggs Theorem for Directed Cycles and Topological Invariants of DigraphsHecht, M. & Sbalzarini, I. F., Jun 2021, In:  Advances in Pure Mathematics : APM. 11, 6, p. 573-594, 22 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article