Publications

2021

• Towards opportunistic UAV relaying for smart citiesHardes, T., Boos, C. & Sommer, C., Sep 2021, International Conference on Networked Systems (NetSys 2021). Vol. 80. 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Where Are we with Inclusive Digital Further Education? Accessibility Through Digitalization.Branig, M., Engel, C., Schmalfuß-Schwarz, J., Müller, E. F. & Weber, G., Sep 2021, Mobility for Smart Cities and Regional Development - Challenges for Higher Education - Proceedings of the 24th International Conference on Interactive Collaborative Learning, ICL 2021. Auer, M. E., Hortsch, H., Michler, O. & Köhler, T. (eds.). Springer, Cham, p. 21-33, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Analyzing the Design of Tactile Indoor MapsEngel, C. & Weber, G., 26 Aug 2021, Human-Computer Interaction – INTERACT 2021 - 18th IFIP TC 13 International Conference, Proceedings: 18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part I. Ardito, C., Lanzilotti, R., Malizia, A., Malizia, A., Petrie, H., Piccinno, A., Desolda, G. & Inkpen, K. (eds.). Springer, Cham, p. 434-443, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Temporal Minimal-World Query Answering over Sparse ABoxesBorgwardt, S., Forkel, W. & Kovtunova, A., 11 Aug 2021, In: Theory and practice of logic programming : TPLP. 22, 2, p. 193-228, 36 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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
• The Orbit Problem for Parametric Linear Dynamical SystemsBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Luca, F., Ouaknine, J. & 3 others, 1 Aug 2021, 32nd International Conference on Concurrency Theory: CONCUR 2021, August 24–27, 2021, Virtual Conference. Haddad, S. & Varacca, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-17, 28Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• Sub-mm Resolution 3D SAR Imaging at 1.5 THzBatra, A., Wiemeler, M., Göhringer, D. & Kaiser, T., 5 Jul 2021, p. 1-5, 5 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