Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
3178 Entries
2021
-
Function call gateway for operational aspects in Industrie 4.0 , 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 Twin , 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 Assistants , 5 Sep 2021, Mensch und Computer 2021Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Designing VUIs for Social Assistance Robots for People with Dementia , 5 Sep 2021, Mensch und Computer 2021. p. 145-155Electronic (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) , 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
-
Reconfigurable Computing Systems as Component-oriented Designs for Robotics , 1 Sep 2021Electronic (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 study , 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
-
A C++ expression system for partial differential equations enables generic simulations of biological hydrodynamics , Sep 2021, In: The European physical journal E, Soft matter. 44, 9, 117Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Similarity Analysis of Visual Sketch-based Search for Sounds , Sep 2021, Audio Mostly 2021. Association for Computing Machinery (ACM), New York, p. 101-108Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Towards opportunistic UAV relaying for smart cities , 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. , Sep 2021, International Conference on Interactive Collaborative Learning. Springer, Cham, p. 21-33Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Analyzing the Design of Tactile Indoor Maps , 26 Aug 2021, Human-Computer Interaction – INTERACT 2021: 18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part I. 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 ABoxes , 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 allocation , 1 Aug 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. 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 methods , 1 Aug 2021, In: Natural Language Engineering. p. 1-49, 49 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Display to Labeled Proofs and Back Again for Tense Logics , 1 Aug 2021, In: ACM transactions on computational logic. 22, 3, p. 1-31, 31 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Statistical EL is ExpTime-complete , 1 Aug 2021, In: Information processing letters : devoted to the rapid publication of short contributions to information processing. 169C, 106113Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Causality-Based Game Solving , 15 Jul 2021, Computer Aided Verification: 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, 23 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
An ALBERT-based Similarity Measure for Mathematical Answer Retrieval , 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 𝓔𝓛 TBoxes , 11 Jul 2021, Automated Deduction – CADE 28. 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) , 11 Jul 2021Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static 𝓔𝓛 TBoxes (Slides) , 11 Jul 2021Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
-
Resolving Synchronization Conflicts in Role-Based Multimodel-Synchronization Environments , 11 Jul 2021, p. 1-8Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
From Verification to Causality-Based Explications (Invited Talk) , 2 Jul 2021, 48th International Colloquium on Automata, Languages, and Programming: 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:20Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Lecturers’ perceptions of supporting digital teaching scenarios by an adaptable learning environment , 1 Jul 2021, p. 12181-12190Electronic (full-text) versionResearch output: Contribution to conferences > Paper