Publikationen

2020

• CoopCL: Cooperative Execution of OpenCL Programs on Heterogeneous CPU-GPU PlatformsMoren, K. & Göhringer, D., 2020, S. 224-231, 8 S.Publikation: Beitrag zu Konferenzen > Paper
• Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is DecidableDroste, M., Fülöp, Z., Kószó, D. & Vogler, H., 2020, Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings. Jirásková, G. & Pighizzini, G. (Hrsg.).S. 39-51, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Cycle-Accurate Debugging of Embedded Designs Using Recurrent Neural NetworksKhan, H., Podlubne, A., Akgün, G. & Göhringer, D., 2020, S. 73-83, 11 S.Publikation: Beitrag zu Konferenzen > Paper
• Deciding the Word Problem for Ground Identities with Commutative and Extensional SymbolsBaader, F. & Kapur, D., 2020, Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I. Peltier, N. & Sofronie-Stokkermans, V. (Hrsg.). Springer, Berlin [u. a.], S. 163-180Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Deductive Module Extraction for Expressive Description LogicsKoopmann, P. & Chen, J., 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence Main track. AAAI Press, S. 1636-1643Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Deductive Module Extraction for Expressive Description Logics (Extended Abstract)Koopmann, P. & Chen, J., 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
• DELFI 2020: die 18. Fachtagung Bildungstechnologien der Gesellschaft für Informatik e.V. : 14.-18. September 2020, OnlineZender, R., Ifenthaler, D., Leonhardt, T. & Schumacher, C., 2020Publikation: Buch/Gutachten/Sammelbände > Monographie
• Demonstrating Rapid Iron-On User Interfaces: Hands-on Fabrication of Interactive Textile PrototypesKlamka, K., Dachselt, R. & Steimle, J., 2020, Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery (ACM), New York, S. 1–4Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Description Logics That Count, and What They Can and Cannot CountBaader, F. & De Bortoli, F., 2020, ANDREI-60. Automated New-era Deductive Reasoning Event in IberiaElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Description Logics that Count, and What They Can and Cannot Count (Extended Abstract)Baader, F. & De Bortoli, F., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020): co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). Borgwardt, S. & Meyer, T. (Hrsg.). Online: CEUR-WS, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Description Logics with Concrete Domains and General Concept Inclusions RevisitedBaader, F. & Rydval, J., 2020, Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I. Sofronie-Stokkermans, V. & Peltier, N. (Hrsg.). Springer, Berlin [u. a.], S. 413-431, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract)Baader, F. & Rydval, J., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL'20). Borgwardt, S. & Meyer, T. (Hrsg.). Online: CEUR-WS, Band 2663Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Device Management in Industrial IoTBraunisch, N., Soler Perez Olaya, S. & Wollschlaeger, M., 2020Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• DiSCERN: Distilling Standard-Cells for Emerging Reconfigurable Nanotechnologies.Rai, S., Raitza, M., Sahoo, S. S. & Kumar, A., 2020, DATE. S. 674-677, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Domain Adaptive Processor ArchitecturesFricke, F., Mahmood, S., Hoffmann, J., Ali, M., Shahin, K., Hübner, M. & Göhringer, D., 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 110363Büttner, E., Liers, C., Richter, A., Hofrichter, M. & Kellner, H., 2020, in: Microbiology resource announcementsElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Efficient Compilation of Regular Path Queries.Tetzel, F., Lehner, W. & Kasperovics, R., 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 structuresZarubin, M., Kissinger, T., Habich, D., Willhalm, T. & Lehner, W., 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)Lackorzynski, T., Garten, G., Huster, J. S., Köpsell, S. & Härtig, H., 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 storesLersch, L., Schreter, I., Oukid, I. & Lehner, W., 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 NoCWasif, S. A., Hesham, S., Göhringer, D., Hofmann, K. & Abd El Ghany, M., 2020, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Experimental Analysis of High Resolution Indoor THz SAR ImagingBatra, A., Zantah, Y., Vu, V. T., Wiemeler, M., Pettersson, M., Göhringer, D. & Kaiser, T., 2020, S. 1-5, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Exploring user profiles based on their explainability requirements in interactive systems.Louzada, H., Chaves, G. & Ponciano, L., 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 ACUIBaader, F., Marantidis, P., Mottet, A. & Okhotin, A., 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.Ranjbar, B., Safaei, B., Ejlali, A. & Kumar, A., 2020, in: IEEE access. 8, S. 187232-187248, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel