Publications

2021

• 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
• In the Hand of the Beholder: Comparing Interactive Proof VisualizationsAlrabbaa, C., Borgwardt, S., Knieriemen, N., Kovtunova, A., Rothermel, A. M. & Wiehr, F., 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
• In the Hand of the Beholder: Comparing Interactive Proof Visualizations (Extended Abstract)Alrabbaa, C., Borgwardt, S., Knieriemen, N., Kovtunova, A., Rothermel, A. M. & Wiehr, F., 2021, Informal Proceedings of the 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR’21)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Introducing Connection Minimal Abduction for EL OntologiesHaifani, F., Koopmann, P. & Tourret, S., 2021, Informal Proceedings of the 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR-2021): co-located with the 18th international Conference on Principles of Knowledge Representation and Reasoning (KR-2021). 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Lab Conditions for Research on Explainable Automated DecisionsBaier, C., Christakis, M., Gros, T. P., Groß, D., Gumhold, S., Hermanns, H., Hoffmann, J. & 1 others, 2021, Trustworthy AI – Integrating Learning, Optimization and Reasoning: First International Workshop, TAILOR 2020, Virtual Event, September 4–5, 2020, Revised Selected Papers. Heintz, F., Milano, M. & O’Sullivan, B. (eds.). Springer, Berlin [u. a.], p. 83-90, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• LCTL - Lightweight Compression Template Library.Hildebrandt, J., Berthold, A., Habich, D. & Lehner, W., 2021, p. 2966-2975, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Learning computable models from dataMaddu, S., Sturm, D., Cheeseman, B. L., Müller, C. L. & Sbalzarini, I. F., 2021, p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Learning Invariant Representations for Reinforcement Learning without Reconstruction.Zhang, A., McAllister, R. T., Calandra, R., Gal, Y. & Levine, S., 2021, ICLRElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Logic-Guided Neural Utterance Generation from Drone Sensory Data (Extended Abstract)Borgwardt, S., Chang, E., Chapman, K., Demberg, V., Kovtunova, A. & Yeh, H., 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
• Long-Range Non-Line of Sight THz SensingBatra, A., Alam, J., Wiemeler, M., Goehringer, D. & Kaiser, T., 2021, 2021 46th International Conference on Infrared, Millimeter, and Terahertz Waves, IRMMW-THz 2021. IEEE Computer Society, p. 1-2Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman ProblemZain, S. & Dupressoir, F., 2021, 15 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Making DL-Lite Planning PracticalBorgwardt, S., Hoffmann, J., Kovtunova, A. & Steinmetz, M., 2021, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). Bienvenu, M., Lakemeyer, G. & Erdem, E. (eds.).p. 641-645, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Making DL-Lite Planning Practical (Extended Abstract)Borgwardt, S., Hoffmann, J., Kovtunova, A. & Steinmetz, M., 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
• Metastability with Emerging Reconfigurable Transistors: Exploiting Ambipolarity for Throughput.Bhattacharjee, A., Rai, S., Rupani, A., Raitza, M. & Kumar, A., 2021, Proceedings of the 2021 IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021. p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• MigrOS: Transparent Live-Migration Support for Containerised RDMA Applications.Planeta, M., Bierbaum, J., Antony, L. S. D., Hoefler, T. & Härtig, H., 2021, p. 47-63, 17 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper