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.
3174 Einträge
2021
-
Blocks: challenging SIMDs and VLIWs with a reconfigurable architecture , 15 Okt. 2021, in: IEEE transactions on computer-aided design of integrated circuits and systems. 41, 9, S. 2915 - 2928, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
A Survey on Hypervisor-based Virtualization of Embedded Reconfigurable Systems , 12 Okt. 2021, 2021 31st International Conference on Field-Programmable Logic and Applications (FPL). IEEE Xplore, S. 249-256, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Determinization and Limit-Determinization of Emerson-Lei Automata , 12 Okt. 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (Hrsg.). Springer, Berlin [u. a.], S. 15–31Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Exploring and slicing volumetric medical data in augmented reality using a spatially-aware mobile device , 6 Okt. 2021, Proceedings of the IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct). S. 334-339Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
A Framework for Intuitionistic Grammar Logics , 1 Okt. 2021, Logic and Argumentation. Baroni, P., Benzmüller, C. & Wang, Y. N. (Hrsg.). Springer International Publishing AG, Band 13040. S. 495-503, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
PHiLIP on the HiL: Automated Multi-platform OS Testing with External Reference Devices , 1 Okt. 2021, in: ACM transactions on embedded computing systems. 20, 5s, S. 1-26, 26 S., 91Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Supporting ontology-mediated stream reasoning with model checking , 1 Okt. 2021, Proceedings of the 2021 International Stream Reasoning Workshop (SR)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
A Visualization Authoring Model for Post-WIMP Interfaces , Okt. 2021, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Poster
-
Domain-specific Hybrid Mapping for Energy-efficient Baseband Processing in Wireless Networks , Okt. 2021, in: ACM transactions on embedded computing systems. 20, 5s, 60Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic , Okt. 2021, in: Artificial intelligence. 299, 103536Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Towards In-situ Authoring of AR Visualizations with Mobile Devices , Okt. 2021, S. 324-325Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Poster
-
AI-Based Transport Mode Recognition for Transportation Planning Utilizing Smartphone Sensor Data From Crowdsensing Campaigns , 19 Sept. 2021, 2021 IEEE International Intelligent Transportation Systems Conference (ITSC)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Navigating the 𝓔𝓛 Subsumption Hierarchy , 19 Sept. 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021), Hybrid Event, Bratislava, Slovakia, September 19-22, 2021. Homola, M., Ryzhikov, V. & Schmidt, R. A. (Hrsg.). CEUR-WS.org, Band 2954Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Navigating the 𝓔𝓛 Subsumption Hierarchy (Slides) , 19 Sept. 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
-
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted 𝓔𝓛 TBox , 19 Sept. 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021), Hybrid Event, Bratislava, Slovakia, September 19-22, 2021. Homola, M., Ryzhikov, V. & Schmidt, R. A. (Hrsg.). CEUR-WS.org, Band 2954Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted 𝓔𝓛 TBox (Extended Version) , 19 Sept. 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted 𝓔𝓛 TBox (Slides) , 19 Sept. 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
-
Repairing 𝓔𝓛 TBoxes by Means of Countermodels Obtained by Model Transformation , 19 Sept. 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021), Hybrid Event, Bratislava, Slovakia, September 19-22, 2021. Homola, M., Ryzhikov, V. & Schmidt, R. A. (Hrsg.). CEUR-WS.org, Band 2954Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Repairing 𝓔𝓛 TBoxes by Means of Countermodels Obtained by Model Transformation (Slides) , 19 Sept. 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
-
Witnessing Subsystems for Probabilistic Systems with Low Tree Width , 17 Sept. 2021, Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021. Ganty, P. & Bresolin, D. (Hrsg.).S. 35-51, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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