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
2020
-
Device Management in Industrial IoT , 2020Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
DiSCERN: Distilling Standard-Cells for Emerging Reconfigurable Nanotechnologies. , 2020, DATE. S. 674-677, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Domain Adaptive Processor Architectures , 2020, Kommunikation und Bildverarbeitung in der Automation. Neuerscheinung Aufl., Berlin, Heidelberg, Band 12. S. 315-330, 16 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Draft genome sequence of the ascomycete Xylaria multiplex DSM 110363 , 2020, in: Microbiology resource announcementsElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Efficient Compilation of Regular Path Queries. , 2020, in: Datenbank-Spektrum. 20, 3, S. 243-259, 17 S., 3Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Efficient compute node-local replication mechanisms for NVRAM-centric data structures , 2020, in: The VLDB journal. 29, 2-3, S. 775-795Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Enabling and Optimizing MACsec for Industrial Environments (Extended Abstract) , 2020, 2020 16th IEEE International Conference on Factory Communication Systems (WFCS). S. 1-4, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Enabling low tail latency on multicore key-value stores , 2020, in: Proceedings of the VLDB Endowment. 13, 7, S. 1091-1104, 14 S., 7Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
-
Energy Efficient Synchronous- Asynchronous Circuit-Switched NoC , 2020, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Experimental Analysis of High Resolution Indoor THz SAR Imaging , 2020, S. 1-5, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Exploring user profiles based on their explainability requirements in interactive systems. , 2020, XIX Brazilian Symposium on Human Factors in Computing Systems. Association for Computing Machinery (ACM), New York, S. 48:1-48:6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Extensions of Unification Modulo ACUI , 2020, in: Mathematical Structures in Computer Science. 30, 6, S. 597-626, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
FANTOM: Fault Tolerant Task-Drop Aware Scheduling for Mixed-Criticality Systems. , 2020, in: IEEE access. 8, S. 187232-187248, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints , 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Biere, A. & Parker, D. (Hrsg.). Springer, Berlin [u. a.], S. 324–345Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Faszination sprechende Maschinen: Technologischer Wandel der Sprachsynthese über zwei Jahrhunderte , 2020Publikation: Beitrag zu Konferenzen > Paper
-
FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing , 2020, Software for Exascale Computing - SPPEXA 2016-2019. Springer Verlag, S. 483-516, 34 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract) , 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Finding Proofs for Description Logic Entailments in Practice (Extended Abstract) , 2020, Informal Proceedings of the 1st Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2020)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Finding Small Proofs for Description Logic Entailments: Theory and Practice , 2020, LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. S. 32-67, 36 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
First Results on How to Certify Subsumptions Computed by the 𝓔𝓛 Reasoner ELK Using the Logical Framework with Side Conditions , 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020). CEUR-WSElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
From Features to Roles , 2020, SPLC '20: Proceedings of the 24th ACM Conference on Systems and Software Product Line. Ali, S., Assunção, W. K. G., Berger, T., Cetina, C., Collet, P., Galindo, J., Gazzillo, P., Linsbauer, L., Lopez-Herrejon, R. E., Nadi, S., Schulze, S. & Trujillo, S. (Hrsg.). Association for Computing Machinery (ACM), New York, Band A. 19Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Full Approximation of Deep Neural Networks through Efficient Optimization. , 2020, 2020 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE Xplore, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification , 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020). CEUR-WSElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Hardness of Network Satisfaction for Relation Algebras with Normal Representations. , 2020, RAMiCS. S. 31-46, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Hardware-Oblivious SIMD Parallelism for In-Memory Column-Stores. , 2020Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper