Publications

2021

• A game-theoretic account of responsibility allocationBaier, C., Funke, F. & Majumdar, R., 1 Aug 2021, Proceedings of the 30th International Joint Conference on Artificial Intelligence, IJCAI 2021. Zhou, Z. (ed.). International Joint Conferences on Artificial Intelligence, p. 1773-1779, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Compositional matrix-space models of language: Definitions, properties, and learning methodsAsaadi, S., Giesbrecht, E. & Rudolph, S., 1 Aug 2021, In: Natural Language Engineering. 29, 1, p. 32-80, 49 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Double-Layer Energy Efficient Synchronous-Asynchronous Circuit-Switched NoCWasif, S. A., Hesham, S., Göhringer, D., Hofmann, K. & Abd El Ghany, M. A., 1 Aug 2021, In: Electronics (Switzerland). 10, 15, 1821Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity CheckingPiribauer, J., Baier, C., Bertrand, N. & Sankur, O., 1 Aug 2021, 32nd International Conference on Concurrency Theory, CONCUR 2021: CONCUR 2021, August 24–27, 2021, Virtual Conference. Haddad, S. & Varacca, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 7:1–7:18Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Statistical EL is ExpTime-completeBednarczyk, B., 1 Aug 2021, In:  Information processing letters : devoted to the rapid publication of short contributions to information processing. 169, 106113, 106113Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Causality-Based Game SolvingBaier, C., Coenen, N., Finkbeiner, B., Funke, F., Jantsch, S. & Siber, J., 15 Jul 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I. Silva, A. & Leino, K. R. M. (eds.). Springer, Berlin [u. a.], p. 894–917, 24 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• An ALBERT-based Similarity Measure for Mathematical Answer RetrievalReusch, A., Thiele, M. & Lehner, W., 11 Jul 2021, SIGIR '21: Proceedings of the 44th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, Inc, p. 1593-1597, 5 p., 3463023Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxesBaader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 11 Jul 2021, Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Springer, Berlin [u. a.], p. 309-326, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Extended Version)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 11 Jul 2021Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• 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