Publications

2020

• 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
• 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, p. 1091-1104, 14 p., 7Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Energy Efficient Synchronous- Asynchronous Circuit-Switched NoCWasif, S. A., Hesham, S., Göhringer, D., Hofmann, K. & Abd El Ghany, M., 2020, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > 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, p. 1-5, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > 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, p. 48:1-48:6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Extensions of Unification Modulo ACUIBaader, F., Marantidis, P., Mottet, A. & Okhotin, A., 2020, In: Mathematical Structures in Computer Science. 30, 6, p. 597-626, 30 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• FANTOM: Fault Tolerant Task-Drop Aware Scheduling for Mixed-Criticality Systems.Ranjbar, B., Safaei, B., Ejlali, A. & Kumar, A., 2020, In: IEEE access. 8, p. 187232-187248, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Farkas Certificates and Minimal Witnesses for Probabilistic Reachability ConstraintsFunke, F., Jantsch, S. & Baier, C., 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. (eds.). Springer, Berlin [u. a.], p. 324–345Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Faszination sprechende Maschinen: Technologischer Wandel der Sprachsynthese über zwei JahrhunderteEngeln, L., Groh, R., Gabriel, F., Birkholz, P., Jäckel, R., Hoffmann, R., Felten, J. & 6 others, 2020Research output: Contribution to conferences > Paper
• FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale ComputingWeinhold, C., Lackorzynski, A., Bierbaum, J., Küttler, M., Planeta, M., Weisbach, H., Hille, M. & 12 others, 2020, Software for Exascale Computing - SPPEXA 2016-2019. Springer Verlag, p. 483-516, 34 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract)Borgwardt, S., Forkel, W. & Kovtunova, A., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Finding Proofs for Description Logic Entailments in Practice (Extended Abstract)Alrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2020, Informal Proceedings of the 1st Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2020)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Finding Small Proofs for Description Logic Entailments: Theory and PracticeAlrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2020, LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. p. 32-67, 36 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• First Results on How to Certify Subsumptions Computed by the 𝓔𝓛 Reasoner ELK Using the Logical Framework with Side ConditionsBaader, F., Koopmann, P. & Tinelli, C., 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
• From Features to RolesChrszon, P., Dubslaff, C., Klüppelholz, S. & Baier, C., 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. (eds.). Association for Computing Machinery (ACM), New York, Vol. A. 19Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution