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
2022
-
Deciding Hyperproperties Combined with Functional Specifications, 2 Aug. 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022). Baier, C. & Fisman, D. (Hrsg.). ACM Press, S. 56:1–56:13, 3533369Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
AGM Revision in Description Logics under Fixed-Domain Semantics, 1 Aug. 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022). Arieli, O., Homola, M., Jung, J. C. & Mugnier, M. (Hrsg.). CEUR Workshop Proceedings, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Comonadic Semantics for Description Logics Games, 1 Aug. 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022). Arieli, O., Homola, M., Jung, J. C. & Mugnier, M. (Hrsg.).12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Towards a Model Theory of Ordered Logics: Expressivity and Interpolation, 1 Aug. 2022, Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022). Szeider, S., Ganian, R. & Silva, A. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, S. 15:1-15:14, 16Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols, Aug. 2022, in: Journal of automated reasoning. 66, 3, S. 301-329, 29 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control, Aug. 2022, in: IEEE Transactions on Software Engineering. 48, 8, S. 2732-2747, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Reconfigurable field effect transistors: A technology enablers perspective, Aug. 2022, in: Solid-state electronics. 2022, 194, 108381Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Übersichtsartikel (Review)
-
Understanding multi-modal brain network data: An immersive 3D visualization approach, Aug. 2022, in: Computers Graphics. 106, S. 88-97, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains, Aug. 2022, in: Journal of automated reasoning. 66, 3, S. 357-407, 51 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs, 31 Juli 2022, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Haifa, Israel, July 31 - August 5, 2022. S. 22-32, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs (Extended Version), 31 Juli 2022Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs (Slides), 31 Juli 2022Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
-
Adaptive Industrial IoT gateway using kafka streaming platform, 28 Juli 2022, 2022 IEEE 20th International Conference on Industrial Informatics (INDIN). IEEE, S. 600-605, 6 S., 9976153Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Comprehensive Management Function Model: Generality and Workflow, 28 Juli 2022, 2022 IEEE 20th International Conference on Industrial Informatics (INDIN). IEEE, S. 594-599, 6 S., 9976129Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Semi-Automatic Testing of Data-Focused Software Development Kits for Industrie 4.0, 28 Juli 2022, 2022 IEEE 20th International Conference on Industrial Informatics (INDIN). IEEE, S. 269-274, 6 S., 9976069Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
DNA Pre-Alignment Filter Using Processing Near Racetrack Memory, 22 Juli 2022, in: IEEE computer architecture letters. 21 (2022), 2, S. 53-56, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Hardware/Software Co-design of 2D THz SAR Imaging for FPGA-based Systems-on-Chip, 21 Juli 2022, S. 1-5, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Secure communication protocol for network-on-chip with authenticated encryption and recovery mechanism, 14 Juli 2022, 2022 IEEE 33rd International Conference on Application-specific Systems, Architectures and Processors (ASAP). Pericas, M., Pnevmatikatos, D. N., Trancoso, P. P. M. & Sourdis, I. (Hrsg.).S. 156-160, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Digital Solutions for Inclusive Mobility: Solutions and Accessible Maps for Indoor and Outdoor Mobility: Introduction to the Special Thematic Session, 13 Juli 2022, Computers Helping People with Special Needs - 18th International Conference, ICCHP-AAATE 2022, Proceedings. Miesenberger, K., Kouroupetroglou, G., Mavrou, K., Manduchi, R., Covarrubias Rodriguez, M. & Penáz, P. (Hrsg.).S. 95-101, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Robotic and Virtual Reality Technologies for Children with Disabilities and Older Adults, 13 Juli 2022, Computers Helping People with Special Needs - 18th International Conference, ICCHP-AAATE 2022, Proceedings. Miesenberger, K., Kouroupetroglou, G., Mavrou, K., Manduchi, R., Covarrubias Rodriguez, M. & Penáz, P. (Hrsg.).S. 203-210, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Towards an Open Source Fully Modular Multi Unmanned Aerial Vehicle Simulation Framework, 10 Juli 2022, Proceedings - 2022 IEEE 42nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2022. Bologna, Italy: IEEE, S. 284-289, 6 S., 9951363Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
CABAS: Real-Time for the Masses, 5 Juli 2022, The 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications. S. 21–27, 7 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Causality in configurable software systems, 5 Juli 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. Association for Computing Machinery (ACM), New York, S. 325-337, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
The variance-penalized stochastic shortest path problem, 1 Juli 2022, 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022: ICALP 2022, July 4–8, 2022, Paris, France. Bojańczyk, M., Merelli, E. & Woodruff, D. P. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 129:1–129:19, 19 S., 129Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?, 1 Juli 2022, in: Logical methods in computer science. 18, 3, S. 5:1–5:46Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Diese Informationen werden durch das FIS bereitgestellt.