Publications

2021

• Witnessing Subsystems for Probabilistic Systems with Low Tree WidthJantsch, S., Piribauer, J. & Baier, C., 17 Sep 2021, Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021. Ganty, P. & Bresolin, D. (eds.).Vol. 346. p. 35-51, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• CGRA-EAM - Rapid Energy and Area Estimation for Coarse-grained Reconfigurable Architectures.Wijtvliet, M., Corporaal, H. & Kumar, A., 14 Sep 2021, In:  ACM transactions on reconfigurable technology and Systems : TRETS. 14, 4, p. 19:1-19:28, 28 p., 19Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Function call gateway for operational aspects in Industrie 4.0Braunisch, N., Schlesinger, S. & Lehmann, R., 10 Sep 2021, 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). IEEE, p. 1-8, 8 p., 9613179Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Generative and Model-driven SDK development for the Industrie 4.0 Digital TwinBraunisch, N., Ristin-Kaufmann, M., Lehmann, R. & Venn, H. W. V. D., 10 Sep 2021, 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). IEEE, p. 1-4, 4 p., 9613164Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Age-Related Differences in Preferences for Using Voice AssistantsGollasch, D. & Weber, G., 5 Sep 2021, Mensch und Computer 2021. 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Designing VUIs for Social Assistance Robots for People with DementiaStriegl - Freiherr von Hoverbeck, J. L., Gollasch, D., Loitsch, C. & Weber, G., 5 Sep 2021, Mensch und Computer 2021. p. 145-155, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract)Bednarczyk, B. & Kieroński, E., 1 Sep 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021). Homola, M., Ryzhikov, V. & Schmidt, R. A. (eds.). CEUR-WS.org, (CEUR Workshop Proceedings)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Prospects of Robots in Assisted Living EnvironmentMahmood, S., Ampadu, K. O., Antonopoulos, K., Panagiotou, C., Pertuz, S., Podlubne, A., Antonopoulos, C. & 3 others, 1 Sep 2021, In: Electronics (Switzerland). 10, 17, 2062Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Reconfigurable Computing Systems as Component-oriented Designs for RoboticsPodlubne, A. & Göhringer, D., 1 Sep 2021, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• SARS-CoV-2 vaccination modelling for safe surgery to save lives: data from an international prospective cohort studyCOVIDSurg Collaborative, GlobalSurg Collaborative, Nepogodiev, D., Bhangu, A., Ahmed, A., Bork, U., Distler, M. & 12 others, 1 Sep 2021, In: British journal of surgery. 108, 9, p. 1056-1063, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• ReLAccS: A Multilevel Approach to Accelerator Design for Reinforcement Learning on FPGA-Based Systems.Baranwal, A. R., Ullah, S., Sahoo, S. S. & Kumar, A., Sep 2021, In:  IEEE transactions on computer-aided design of integrated circuits and systems : CAD. 40, 9, p. 1754-1767, 14 p., 9211770Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Similarity Analysis of Visual Sketch-based Search for SoundsEngeln, L., Le, N. L., McGinity, M. & Groh, R., Sep 2021, Audio Mostly 2021. Association for Computing Machinery (ACM), New York, p. 101-108, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, International Conference on Interactive Collaborative Learning. 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. 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
• 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