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.

3545 Einträge

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 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
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. (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 JahrhunderteEngeln, L., Groh, R., Gabriel, F., Birkholz, P., Jäckel, R., Hoffmann, R., Felten, J. & 6 weitere, 2020Publikation: Beitrag zu Konferenzen > 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 weitere, 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)Borgwardt, S., Forkel, W. & Kovtunova, A., 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)Alrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 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 PracticeAlrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 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 ConditionsBaader, F., Koopmann, P. & Tinelli, C., 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 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. (Hrsg.). Association for Computing Machinery (ACM), New York, Band A. 19Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

Publikationen

2020

Zu dieser Seite

Finden!