Publikationen

2021

• 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
• 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