Publikationen
Im Folgenden finden Sie einige Informationen zu Publikationen der Fakultät, welche über das Forschungsinformationssystem zur Verfügung gestellt werden. Darüber hinaus finden Sie vollständige Listen der Publikationen und Veröffentlichungen auch über die Webseiten der jeweiligen Institute und Professuren.
3178 Einträge
2021
-
Function call gateway for operational aspects in Industrie 4.0 , 10 Sept. 2021, 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). IEEE, S. 1-8, 8 S., 9613179Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Generative and Model-driven SDK development for the Industrie 4.0 Digital Twin , 10 Sept. 2021, 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). IEEE, S. 1-4, 4 S., 9613164Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Age-Related Differences in Preferences for Using Voice Assistants , 5 Sept. 2021, Mensch und Computer 2021Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Designing VUIs for Social Assistance Robots for People with Dementia , 5 Sept. 2021, Mensch und Computer 2021. S. 145-155Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract) , 1 Sept. 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021). Homola, M., Ryzhikov, V. & Schmidt, R. A. (Hrsg.). CEUR-WS.org, (CEUR Workshop Proceedings)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Reconfigurable Computing Systems as Component-oriented Designs for Robotics , 1 Sept. 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
SARS-CoV-2 vaccination modelling for safe surgery to save lives: data from an international prospective cohort study , 1 Sept. 2021, in: British journal of surgery. 108, 9, S. 1056-1063, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
A C++ expression system for partial differential equations enables generic simulations of biological hydrodynamics , Sept. 2021, in: The European physical journal E, Soft matter. 44, 9, 117Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Similarity Analysis of Visual Sketch-based Search for Sounds , Sept. 2021, Audio Mostly 2021. Association for Computing Machinery (ACM), New York, S. 101-108Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Towards opportunistic UAV relaying for smart cities , Sept. 2021, International Conference on Networked Systems (NetSys 2021). Band 80. 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Where Are we with Inclusive Digital Further Education? Accessibility Through Digitalization. , Sept. 2021, International Conference on Interactive Collaborative Learning. Springer, Cham, S. 21-33Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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, S. 434-443, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Temporal Minimal-World Query Answering over Sparse ABoxes , 11 Aug. 2021, in: Theory and practice of logic programming. 22, 2, S. 193-228, 36 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
A game-theoretic account of responsibility allocation , 1 Aug. 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. Zhou, Z. (Hrsg.). International Joint Conferences on Artificial Intelligence, S. 1773-1779, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Compositional matrix-space models of language: Definitions, properties, and learning methods , 1 Aug. 2021, in: Natural Language Engineering. S. 1-49, 49 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Display to Labeled Proofs and Back Again for Tense Logics , 1 Aug. 2021, in: ACM transactions on computational logic. 22, 3, S. 1-31, 31 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Statistical EL is ExpTime-complete , 1 Aug. 2021, in: Information processing letters : devoted to the rapid publication of short contributions to information processing. 169C, 106113Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Causality-Based Game Solving , 15 Juli 2021, Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I. Silva, A. & Leino, K. R. M. (Hrsg.). Springer, Berlin [u. a.], S. 894–917, 23 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
An ALBERT-based Similarity Measure for Mathematical Answer Retrieval , 11 Juli 2021, SIGIR '21: Proceedings of the 44th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, Inc, S. 1593-1597, 5 S., 3463023Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static 𝓔𝓛 TBoxes , 11 Juli 2021, Automated Deduction – CADE 28. Platzer, A. & Sutcliffe, G. (Hrsg.). Springer, Berlin [u. a.], S. 309-326, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static 𝓔𝓛 TBoxes (Extended Version) , 11 Juli 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static 𝓔𝓛 TBoxes (Slides) , 11 Juli 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
-
Resolving Synchronization Conflicts in Role-Based Multimodel-Synchronization Environments , 11 Juli 2021, S. 1-8Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
From Verification to Causality-Based Explications (Invited Talk) , 2 Juli 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. (Hrsg.). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, S. 1:1–1:20Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Lecturers’ perceptions of supporting digital teaching scenarios by an adaptable learning environment , 1 Juli 2021, S. 12181-12190Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper