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.
4367 Einträge
2021
-
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
-
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.orgElektronische (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.orgElektronische (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.orgElektronische (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.).Band 346. S. 35-51, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
CGRA-EAM - Rapid Energy and Area Estimation for Coarse-grained Reconfigurable Architectures., 14 Sept. 2021, in: ACM transactions on reconfigurable technology and Systems : TRETS. 14, 4, S. 19:1-19:28, 28 S., 19Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
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 ). Institute of Electrical and Electronics Engineers (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 ). Institute of Electrical and Electronics Engineers (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, Tagungsband - Mensch und Computer 2021. Pfleging, B., Kern, D. & Schneegass, S. (Hrsg.).S. 156-167, 12 S.Elektronische (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. Pfleging, B., Kern, D. & Schneegass, S. (Hrsg.).S. 145-155, 11 S.Elektronische (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
Diese Informationen werden durch das FIS bereitgestellt.