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.
3539 Einträge
2021
-
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–31, 17 S.Elektronische (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-339, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
A Framework for Intuitionistic Grammar Logics, 1 Okt. 2021, Logic and Argumentation - 4th International Conference, CLAR 2021, Proceedings. Baroni, P., Benzmüller, C. & Wáng, 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
-
A review of prefabricated self-sufficient facades with integrated decentralised HVAC and renewable energy generation and storage, 1 Okt. 2021, in: Energy and buildings. 248, 111107Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Übersichtsartikel (Review)
-
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
-
Self-organized Allocation of Dependent Tasks in Industrial Applications, 1 Okt. 2021, 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS). IEEE, S. 170-176, 7 S., 9659511Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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
-
Bendable Color ePaper Displays for Novel Wearable Applications and Mobile Visualization, Okt. 2021, Adjunct Publication of the 34th Annual ACM Symposium on User Interface Software and Technology, UIST 2021. New York, NY, USA: Association for Computing Machinery (ACM), New York, S. 106-108, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
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
-
From LTL to unambiguous Büchi automata via disambiguation of alternating automata, Okt. 2021, in: Formal Methods in System Design. 58, 1-2, S. 42–82, 41 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Power-Aware Runtime Scheduler for Mixed-Criticality Systems on Multicore Platform., Okt. 2021, in: IEEE transactions on computer-aided design of integrated circuits and systems : CAD. 40, 10, S. 2009-2023, 15 S., 10Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Towards In-situ Authoring of AR Visualizations with Mobile Devices, Okt. 2021, S. 324-325, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Poster
-
Emergent design challenges for embedded systems and paths forward: mixed-criticality, energy, reliability and security perspectives., 30 Sept. 2021, Proceedings - 2021 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2021. S. 1-10, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Energy efficiency optimization of radiofrequency power amplifiers for massive MIMO: a data based approach, 30 Sept. 2021, 2021 IEEE 22nd International Workshop on Signal Processing Advances in Wireless Communications (SPAWC). IEEE, S. 256-260, 5 S., 9593219Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
A C++ expression system for partial differential equations enables generic simulations of biological hydrodynamics, 23 Sept. 2021, in: The European physical journal E, Soft matter. 44, 9, 117Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
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 2021. S. 1306-1313, 8 S.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
Diese Informationen werden durch das FIS bereitgestellt.