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
-
Poster: Enabling Comparable and Reproducible Simulations for V2X Research , Nov. 2021, 13th IEEE Vehicular Networking Conference (VNC 2021), Poster Session. IEEE, S. 131-132, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Poster: Potentials of Mixing TSN Wired Networks and Best-Effort Wireless Networks for V2X , Nov. 2021, 13th IEEE Vehicular Networking Conference (VNC 2021), Poster Session. IEEE, S. 135-136, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Poster: Simulating Hybrid LEO Satellite and V2X Networks , Nov. 2021, 13th IEEE Vehicular Networking Conference (VNC 2021), Poster Session. IEEE, S. 139-140, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Welcome Message , Nov. 2021, 13th IEEE Vehicular Networking Conference (VNC 2021). IEEE, Band 2021-November. S. I-II, (IEEE Vehicular Networking Conference, VNC)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Vor-/Nachwort
-
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation , 20 Okt. 2021, Proceedings of the 4th International Conference on Logic and Argumentation (CLAR 2021). Baroni, P., Benzmüller, C. & Wang, Y. N. (Hrsg.). Springer International Publishing AG, Band 13040. S. 147-168Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
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