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

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 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
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. Band 2. S. 292, 1 S.Elektronische (Volltext-)VersionPublikation: Spezielle Publikationen/Beiträge > Korrekturen (Errata und Widerrufe)
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. (Hrsg.). CEUR-WS.org, Band 2961. S. 9-22, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
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, 18Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
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. (Hrsg.). Gesellschaft fur Informatik (GI), S. 385-386, 2 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
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. (Hrsg.). Gesellschaft für Informatik, Bonn, S. 1649-1652, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
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. S. 1-9, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
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, S. 265-266, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Digitale Gesundheitsanwendungen – Forderungen für deren Entwicklung, Implementierung und begleitende EvaluationSchlieter, H., Timpel, P., Otto, L., Richter, P., Wollschlaeger, B., Knapp, A. & Harst, L., 2021, in: Monitor Versorgungsforschung. S. 58-62Publikation: Beitrag in Fachzeitschrift > Forschungsartikel
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. (Hrsg.). Springer, Berlin [u. a.], S. 272-290, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
EduInf - Education in Informatics.Marx, E., Hamann, A., Baberowski, D., Nenner, C., Kazimiers, A., Leonhardt, T. & Bergner, N., 2021, S. 1645-1648Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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, S. 169-182, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Energy Efficiency Aspects of the AMD Zen 2 ArchitectureSchöne, R., Ilsche, T., Bielert, M., Velten, M., Schmidl, M. & Hackenberg, D., 2021, S. 562-571, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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, S. 103691-103708, 18 S., 9492075Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
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 S., 9401517Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
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. S. 1-9, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
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. (Hrsg.).S. 291–308, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
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) Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract).Kieronski, E. & Rudolph, S., 2021, Description LogicsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
FIRESTARTER 2: Dynamic Code Generation for Processor Stress TestsSchöne, R., Schmidl, M., Bielert, M. & Hackenberg, D., 2021, S. 582-590, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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, S. 759-766, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
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. (Hrsg.). Springer, Berlin [u. a.], S. 1-7, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
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)Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Sammelband
Informatik und BarrierefreiheitWeber, G., 2021, Hochschuldidaktik Informatik HDI 2021. Desel, J., Opel, S. & Sieger, J. (Hrsg.). Universitätsverlag Potsdam, S. 35–50Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
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. (Hrsg.). Gesellschaft fur Informatik (GI), S. 383-384, 2 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

Publikationen

2021

Zu dieser Seite

Finden!