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
-
Poster: Enabling Comparable and Reproducible Simulations for V2X Research , Nov 2021, 13th IEEE Vehicular Networking Conference (VNC 2021), Poster Session. IEEE, p. 131-132, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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, p. 135-136, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Poster: Simulating Hybrid LEO Satellite and V2X Networks , Nov 2021, 13th IEEE Vehicular Networking Conference (VNC 2021), Poster Session. IEEE, p. 139-140, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Welcome Message , Nov 2021, 13th IEEE Vehicular Networking Conference (VNC 2021). IEEE, Vol. 2021-November. p. I-II, (IEEE Vehicular Networking Conference, VNC)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Foreword/postscript
-
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation , 20 Oct 2021, Proceedings of the 4th International Conference on Logic and Argumentation (CLAR 2021). Baroni, P., Benzmüller, C. & Wang, Y. N. (eds.). Springer International Publishing AG, Vol. 13040. p. 147-168Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Blocks: challenging SIMDs and VLIWs with a reconfigurable architecture , 15 Oct 2021, In: IEEE transactions on computer-aided design of integrated circuits and systems. 41, 9, p. 2915 - 2928, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
A Survey on Hypervisor-based Virtualization of Embedded Reconfigurable Systems , 12 Oct 2021, 2021 31st International Conference on Field-Programmable Logic and Applications (FPL). IEEE Xplore, p. 249-256, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Determinization and Limit-Determinization of Emerson-Lei Automata , 12 Oct 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. (eds.). Springer, Berlin [u. a.], p. 15–31Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Exploring and slicing volumetric medical data in augmented reality using a spatially-aware mobile device , 6 Oct 2021, Proceedings of the IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct). p. 334-339Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A Framework for Intuitionistic Grammar Logics , 1 Oct 2021, Logic and Argumentation. Baroni, P., Benzmüller, C. & Wang, Y. N. (eds.). Springer International Publishing AG, Vol. 13040. p. 495-503, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
PHiLIP on the HiL: Automated Multi-platform OS Testing with External Reference Devices , 1 Oct 2021, In: ACM transactions on embedded computing systems. 20, 5s, p. 1-26, 26 p., 91Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Supporting ontology-mediated stream reasoning with model checking , 1 Oct 2021, Proceedings of the 2021 International Stream Reasoning Workshop (SR)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A Visualization Authoring Model for Post-WIMP Interfaces , Oct 2021, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Poster
-
Domain-specific Hybrid Mapping for Energy-efficient Baseband Processing in Wireless Networks , Oct 2021, In: ACM transactions on embedded computing systems. 20, 5s, 60Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic , Oct 2021, In: Artificial intelligence. 299, 103536Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Towards In-situ Authoring of AR Visualizations with Mobile Devices , Oct 2021, p. 324-325Electronic (full-text) versionResearch output: Contribution to conferences > Poster
-
AI-Based Transport Mode Recognition for Transportation Planning Utilizing Smartphone Sensor Data From Crowdsensing Campaigns , 19 Sep 2021, 2021 IEEE International Intelligent Transportation Systems Conference (ITSC)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Navigating the 𝓔𝓛 Subsumption Hierarchy , 19 Sep 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. (eds.). CEUR-WS.org, Vol. 2954Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Navigating the 𝓔𝓛 Subsumption Hierarchy (Slides) , 19 Sep 2021Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
-
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted 𝓔𝓛 TBox , 19 Sep 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. (eds.). CEUR-WS.org, Vol. 2954Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted 𝓔𝓛 TBox (Extended Version) , 19 Sep 2021Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted 𝓔𝓛 TBox (Slides) , 19 Sep 2021Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
-
Repairing 𝓔𝓛 TBoxes by Means of Countermodels Obtained by Model Transformation , 19 Sep 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. (eds.). CEUR-WS.org, Vol. 2954Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Repairing 𝓔𝓛 TBoxes by Means of Countermodels Obtained by Model Transformation (Slides) , 19 Sep 2021Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
-
Witnessing Subsystems for Probabilistic Systems with Low Tree Width , 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.).p. 35-51, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution