Publications

2021

• Concise justifications versus detailed proofs for description logic entailmentsBorgwardt, S., 2021, Informatl Proceedings of the 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR’21). 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Correction to "RECON: Resource-Efficient CORDIC-Based Neuron Architecture".Raut, G., Rai, S., Vishvakarma, S. K. & Kumar, A., 2021, In: IEEE Open Journal of Circuits and Systems. Vol. 2. p. 292, 1 p.Electronic (full-text) versionResearch output: Contribution to specialist publication > Corrections (errata and retractions)
• Counter Model Transformation for Explaining Non-Subsumption in ELAlrabbaa, C., Hieke, W. & Turhan, A., 2021, Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021. Beierle, C., Ragni, M., Stolzenburg, F. & Thimm, M. (eds.). CEUR-WS.org, Vol. 2961. p. 9-22, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Crisp-determinization of weighted tree automata over strong bimonoidsFülöp, Z., Kószó, D. & Vogler, H., 2021, In: Discrete Mathematics and Theoretical Computer Science. 23, 1, 18Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Dashboard für Lehrende zur Darstellung von Lerndaten anhand eines kollaborativen Informatik-Lernspiels für die GrundschuleHamann, A. & Leonhardt, T., 2021, DELFI 2021 - Die 19. Fachtagung Bildungstechnologien der Gesellschaft fur Informatik e.V.. Kienle, A., Harrer, A., Haake, J. M. & Lingnau, A. (eds.). Gesellschaft fur Informatik (GI), p. 385-386, 2 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Das I in MINT von Anfang an: Bildungsangebote zur informatischen Bildung der Stiftung „Haus der kleinen Forscher“Günther, C. & Nenner, C., 2021, INFORMATIK 2021 - Die 51. Jahrestagung der Gesellschaft für Informatik: Computer Science and Sustainability. e.V. (GI), G. F. I. (ed.). Gesellschaft für Informatik, Bonn, p. 1649-1652, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• dCSR: A Memory-Efficient Sparse Matrix Representation for Parallel Neural Network Inference.Trommer, E., Waschneck, B. & Kumar, A., 2021, 2021 40th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2021 - Proceedings. p. 1-9, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Design For Agility: A Modular Reconfigurable Platform for Heterogeneous Many-Core ArchitecturesKamaleldin, A. & Göhringer, D., 2021, Proceedings - 2021 31st International Conference on Field-Programmable Logic and Applications, FPL 2021. IEEE Xplore, p. 265-266, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Digitale Gesundheitsanwendungen – Forderungen für deren Entwicklung, Implementierung und begleitende EvaluationSchlieter, H., Timpel, P., Otto, L., Richter, P., Wollschlaeger, B., Knapp, A. & Harst, L., 2021, In: Monitor Versorgungsforschung. p. 58-62Research output: Contribution to journal > Research article
• Distributed Sparse Block Grids on GPUsIncardona, P., Bianucci, T. & Sbalzarini, I. F., 2021, High Performance Computing: 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings. Chamberlain, B. L., Varbanescu, A., Ltaief, H. & Luszczek, P. (eds.). Springer, Berlin [u. a.], p. 272-290, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• EduInf - Education in Informatics.Marx, E., Hamann, A., Baberowski, D., Nenner, C., Kazimiers, A., Leonhardt, T. & Bergner, N., 2021, p. 1645-1648Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Enabling Performance Analysis of Kokkos Applications with Score-PDietrich, R., Winkler, F., Tschüter, R. & Weber, M., 2021, Tools for High Performance Computing 2018/2019. Springer, Cham, p. 169-182, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Energy Efficiency Aspects of the AMD Zen 2 ArchitectureSchöne, R., Ilsche, T., Bielert, M., Velten, M., Schmidl, M. & Hackenberg, D., 2021, p. 562-571, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• ExPAN(N)D: Exploring Posits for Efficient Artificial Neural Network Design in FPGA-Based Systems.Nambi, S., Ullah, S., Sahoo, S. S., Lohana, A., Merchant, F. & Kumar, A., 2021, In: IEEE access. 9, p. 103691-103708, 18 p., 9492075Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Exploiting Resiliency for Kernel-Wise CNN Approximation Enabled by Adaptive Hardware Design.Parra, C. D. L., El-Yamany, A., Soliman, T., Kumar, A., Wehn, N. & Guntoro, A., 2021, 2021 IEEE International Symposium on Circuits and Systems, ISCAS 2021 - Proceedings. IEEE Xplore, 5 p., 9401517Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Exploring Physical Synthesis for Circuits based on Emerging Reconfigurable Nanotechnologies.Krinke, A., Rai, S., Kumar, A. & Lienig, J., 2021, 2021 40th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2021 - Proceedings. p. 1-9, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Finding Good Proofs for Description Logic Entailments using Recursive Quality MeasuresAlrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2021, Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.).p. 291–308, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract)Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021) Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract).Kieronski, E. & Rudolph, S., 2021, Description LogicsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• FIRESTARTER 2: Dynamic Code Generation for Processor Stress TestsSchöne, R., Schmidl, M., Bielert, M. & Hackenberg, D., 2021, p. 582-590, 9 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• From Domain-Specific Languages to Memory-Optimized Accelerators for Fluid DynamicsFriebel, K. F., Soldavini, S., Hempel, G., Pilato, C. & Castrillon, J., 2021, 2021 IEEE International Conference on Cluster Computing (CLUSTER). IEEE Xplore, p. 759-766, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• From Verification to Explanation (Track Introduction)Baier, C. & Hermanns, H., 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, Berlin [u. a.], p. 1-7, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Graph Structures for Knowledge Representation and Reasoning - 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected PapersCochez, M., Croitoru, M., Marquis, P. & Rudolph, S., 2021, Springer, Berlin [u. a.], (Lecture Notes in Computer Science)Electronic (full-text) versionResearch output: Book/Report/Anthology > Anthology
• Informatik und BarrierefreiheitWeber, G., 2021, Hochschuldidaktik Informatik HDI 2021. Desel, J., Opel, S. & Sieger, J. (eds.). Universitätsverlag Potsdam, p. 35–50Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Inside the Router: Ein interaktives VR Lernspiel zur Vermittlung von Routing in Netzwerken im InformatikunterrichtBaberowski, D., Lilienthal, L., Keerl, N. M., Rieske, M. E. & Leonhardt, T., 2021, DELFI 2021 - Die 19. Fachtagung Bildungstechnologien der Gesellschaft fur Informatik e.V.. Kienle, A., Harrer, A., Haake, J. M. & Lingnau, A. (eds.). Gesellschaft fur Informatik (GI), p. 383-384, 2 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution