Publikationen

2021

• 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)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Lab Conditions for Research on Explainable Automated DecisionsBaier, C., Christakis, M., Gros, T. P., Groß, D., Gumhold, S., Hermanns, H., Hoffmann, J. & 1 weitere, 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. (Hrsg.). Springer, Berlin [u. a.], S. 83-90, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• LCTL - Lightweight Compression Template Library.Hildebrandt, J., Berthold, A., Habich, D. & Lehner, W., 2021, S. 2966-2975, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Learning computable models from dataMaddu, S., Sturm, D., Cheeseman, B. L., Müller, C. L. & Sbalzarini, I. F., 2021, S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Learning Invariant Representations for Reinforcement Learning without Reconstruction.Zhang, A., McAllister, R. T., Calandra, R., Gal, Y. & Levine, S., 2021, ICLRElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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) Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 1-2Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman ProblemZain, S. & Dupressoir, F., 2021, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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. (Hrsg.).S. 641-645, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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) Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• MigrOS: Transparent Live-Migration Support for Containerised RDMA Applications.Planeta, M., Bierbaum, J., Antony, L. S. D., Hoefler, T. & Härtig, H., 2021, S. 47-63, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Model-based Approach for Automatic Generation of Hardware Architectures for RoboticsPodlubne, A., Mey, J., Schöne, R., Aßmann, U. & Göhringer, D., 2021, in: IEEE Access. 9, S. 140921-140937, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Modeling and Evaluating Personas with Software Explainability RequirementsRamos, H., Fonseca, M. & Ponciano, L., 2021, Human-Computer Interaction - 7th Iberoamerican Workshop, HCI-COLLAB 2021, Proceedings. Ruiz, P. H., Agredo-Delgado, V., Ruiz, P. H., Agredo-Delgado, V. & Kawamoto, A. L. (Hrsg.). Springer, Cham, Band 1478. S. 136-149, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• mpsym: Improving Design-Space Exploration of Clustered Manycores with Arbitrary TopologiesGoens, A., Nicolai, T. & Castrillon, J., 2021, in: IEEE transactions on computer-aided design of integrated circuits and systems. 41, 6, S. 1592-1605, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Near-Data-Processing Architectures Performance Estimation and Ranking using Machine Learning PredictorsIskandar, V., Abd El Ghany, M. A. & Göhringer, D., 2021, S. 158-165, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Needs, Functions, and Technologies of Technical Assistance Systems in Nursing Context - A Systematic Review.Hammer, A., Wollschlaeger, B., Schmidt, M. & Otto, L., 2021, S. 493-500, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Nested Sequents for Intuitionistic Modal Logics via Structural RefinementLyon, T. S., 2021, Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Proceedings. Das, A. & Negri, S. (Hrsg.). Cham: Springer International Publishing AG, S. 409-427, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom.Bodirsky, M. & Knäuer, S., 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. S. 6218-6226, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• NMPO: Near-Memory Computing Profiling and Offloading.Corda, S., Kumaraswamy, M., Awan, A. J., Jordans, R., Kumar, A. & Corporaal, H., 2021, Proceedings - 2021 24th Euromicro Conference on Digital System Design, DSD 2021. Leporati, F., Vitabile, S. & Skavhaug, A. (Hrsg.).S. 259-267, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• OCC: An Automated End-to-End Machine Learning Optimizing Compiler for Computing-In-MemorySiemieniuk, A., Chelini, L., Khan, A. A., Castrillon, J., Drebes, A., Corporaal, H., Grosser, T. & 1 weitere, 2021, in: IEEE transactions on computer-aided design of integrated circuits and systems. 41, 6, S. 1674 - 1686, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• On the Decomposition of ADFs and the Complexity of Naive-based SemanticsGaggl, S. A., Rudolph, S. & Straß, H., 2021, IJCAI 2021 Journal TrackPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Optimized Deep Learning Object Recognition for Drones using Embedded GPURad, P. A., Hofmann, D., Pertuz, S. & Göhringer, D., 2021, S. 1-7Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper