Publikationen

2021

• 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
• 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 ReviewHammer, A., Wollschlaeger, B., Schmidt, M. & Otto, L., 2021, Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2021): HEALTHINF. Pesquita, C., Fred, A. & Gamboa, H. (Hrsg.).Band 5. S. 493-500, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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
• 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
• Partially Ordered Automata and Piecewise TestabilityMasopust, T. & Krötzsch, M., 2021, in: Logical methods in computer science. 17, 2, S. 14:1–14:36Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Performance Analysis of Application-Specific Instruction-Set Routers in Networks-on-ChipRettkowski, J., Haase, J., Primus, S., Hübner, M. & Göhringer, D., 2021Publikation: Beitrag zu Konferenzen > Paper
• PolyGym: Polyhedral Optimizations as an Environment for Reinforcement LearningBrauckmann, A., Goens, A. & Castrillon, J., 2021, Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT. IEEE Xplore, S. 17-29, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• PostCENN: PostgreSQL with Machine Learning Models for Cardinality Estimation.Woltmann, L., Olwig, D., Hartmann, C., Habich, D. & Lehner, W., 2021, in: Proceedings of the VLDB Endowment. 14, 12, S. 2715-2718, 4 S., 12Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Power-Aware Computing Systems on FPGAs: A SurveyAkgün, G., Ali, M. & Göhringer, D., 2021, S. 45-51, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Power-aware real-time operating systems on reconfigurable architecturesAkgün, G. & Göhringer, D., 2021, Proceedings - 2021 31st International Conference on Field-Programmable Logic and Applications, FPL 2021. Institute of Electrical and Electronics Engineers Inc., S. 402-403, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Power-Aware Real-Time Operating Systems on Reconfigurable ArchitecturesAkgün, G. & Göhringer, D., 2021, S. 1-2, 2 S.Publikation: Beitrag zu Konferenzen > Paper
• Praxisbezug von Anfang an im Lehramtsstudium mit dem Fach InformatikBergner, N., 2021, Theorie und Praxis in der Lehrerbildung: Verhältnisbestimmungen aus der Perspektive von Fachdidaktiken. Caruso, C., Harteis, C. & Gröschner, A. (Hrsg.). Wiesbaden: Springer Fachmedien Wiesbaden GmbH, S. 291-309, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• PrefaceGoehringer, D., Kumar, A. & Keramidas, G., 2021, 2021 31st International Conference on Field-Programmable Logic and Applications (FPL). Institute of Electrical and Electronics Engineers Inc., S. xvElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband