Publications

2020

• Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements.Darari, F., Nutt, W., Razniewski, S. & Rudolph, S., 2020, In: Semantic web. 11, 3, p. 441-482, 42 p., 3Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Components in Probabilistic Systems: Suitable by ConstructionBaier, C., Dubslaff, C., Hermanns, H., Klauck, M., Klüppelholz, S. & Köhl, M. A., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, Berlin [u. a.], p. 240-261, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Computing Cores for Existential Rules with the Standard Chase and ASPKrötzsch, M., 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). Calvanese, D., Erdem, E. & Thielscher, M. (eds.). IJCAI Organization, p. 603–613Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Connecting conceptual models using relational reference attribute grammars.Schöne, R., Mey, J., Ebert, S. & Aßmann, U., 2020, Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. p. 88:1-88:11, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Considering Time-Critical Barriers in Indoor Routing for People with DisabilitiesSchmalfuß-Schwarz, J., Loitsch, C. & Weber, G., 2020, Lecture Notes in Computer Science. p. 315-322Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Controller of Controllers Architecture for Management of Heterogeneous Industrial NetworksAnsah, F., Soler Perez Olaya, S., Krummacker, D., Fischer, C., Winkel, A., Guillaume, R., Wisniewski, L. & 7 others, 2020Research output: Contribution to conferences > Paper
• CoopCL: Cooperative Execution of OpenCL Programs on Heterogeneous CPU-GPU PlatformsMoren, K. & Göhringer, D., 2020, p. 224-231, 8 p.Research output: Contribution to conferences > 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. (eds.).p. 39-51, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Cycle-Accurate Debugging of Embedded Designs Using Recurrent Neural NetworksKhan, H., Podlubne, A., Akgün, G. & Göhringer, D., 2020, p. 73-83, 11 p.Research output: Contribution to conferences > 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. (eds.). Springer, Berlin [u. a.], p. 163-180Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, p. 1636-1643Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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-WSElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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., 2020Research output: Book/Report/Anthology > Monograph
• 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, p. 1–4Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 IberiaElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Online: CEUR-WS, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Springer, Berlin [u. a.], p. 413-431, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Online: CEUR-WS, Vol. 2663Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Device Management in Industrial IoTBraunisch, N., Soler Perez Olaya, S. & Wollschlaeger, M., 2020Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• DiSCERN: Distilling Standard-Cells for Emerging Reconfigurable Nanotechnologies.Rai, S., Raitza, M., Sahoo, S. S. & Kumar, A., 2020, DATE. p. 674-677, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 ed., Berlin, Heidelberg, Vol. 12. p. 315-330, 16 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Draft genome sequence of the ascomycete Xylaria multiplex DSM 110363Büttner, E., Liers, C., Richter, A., Hofrichter, M. & Kellner, H., 2020, In: Microbiology resource announcementsElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Efficient Compilation of Regular Path Queries.Tetzel, F., Lehner, W. & Kasperovics, R., 2020, In: Datenbank-Spektrum. 20, 3, p. 243-259, 17 p., 3Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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, p. 775-795Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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). p. 1-4, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution