Publications

2020

• Retro: Relation retrofitting for in-database machine learning on textual dataGünther, M., Thiele, M. & Lehner, W., 2020, Advances in Database Technology - EDBT 2020: 23rd International Conference on Extending Database Technology, Proceedings. Bonifati, A., Zhou, Y., Vaz Salles, M. A., Bohm, A., Olteanu, D., Fletcher, G., Khan, A. & Yang, B. (eds.). OpenProceedings.org, p. 411-414, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Retrolive: Analysis of relational retrofitted word embeddingsGünther, M., Thiele, M., Nikulski, E. & Lehner, W., 2020, Advances in Database Technology - EDBT 2020: 23rd International Conference on Extending Database Technology, Proceedings. Bonifati, A., Zhou, Y., Vaz Salles, M. A., Bohm, A., Olteanu, D., Fletcher, G., Khan, A. & Yang, B. (eds.). OpenProceedings.org, p. 607-610, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars.Mey, J., Kühn, T., Schöne, R. & Assmann, U., 2020, In: The art, science, and engineering of programming. 4, 3, p. 15, 1 p., 3Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Rewriting the Description Logic ALCHIQ to Disjunctive Existential RulesCarral, D. & Krötzsch, M., 2020, Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020. Bessiere, C. (ed.). ijcai.org, p. 1777–1783Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• RISC-V based MPSoC design exploration for FPGAs: area, power and performanceAli, M., Rad, P. A. & Göhringer, D., 2020, p. 193-207, 15 p.Research output: Contribution to conferences > Paper
• Role-Based Group Formations and Interactions to Foster Collaboration in Different Classrooms.Kubica, T., Peine, R. & Braun, I., 2020, p. 1-2Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL CupboardBaader, F. & Théron, C., 2020, In:  Künstliche Intelligenz : KI ; Forschung, Entwicklung, Erfahrungen. 34, 3, p. 291-301, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Run-Time Exploitation of Application Dynamism for Energy-Efficient Exascale ComputingKjeldsberg, P. G., Schöne, R., Gerndt, M., Říha, L., Kannan, V., Diethelm, K., Sawley, M. & 6 others, 2020, System-Scenario-based Design Principles and Applications.. p. 113-126, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Safe Handover in Mixed-Initiative Control for Cyber-Physical SystemsWiehr, F., Hirsch, A., Daiber, F., Krüger, A., Chang, E., Demberg, V., Borgwardt, S. & 3 others, 2020, CHI 2020 workshop: Designing Safety Critical Interactions: Hunting Down Human Error. 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SATManthey, N., Nyssen, R. P. & Rudolph, S., 2020, In: Künstliche Intelligenz : KI. 34, 3, p. 389-394, 6 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Scalable In-Memory Graph Pattern Matching on Symmetric Multiprocessor SystemsKrause, A., Habich, D. & Lehner, W., 2020, Software Foundations for Data Interoperability and Large Scale Graph Data Analytics - 4th International Workshop, SFDI 2020, and 2nd International Workshop, LSGDA 2020, held in Conjunction with VLDB 2020. p. 49-62, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• SDMPSoC: Software-Defined MPSoC for FPGAsRettkowski, J. & Göhringer, D., 2020, In: Journal of Signal Processing Systems. p. 1-10, 10 p.Research output: Contribution to journal > Research article
• SecureTF: A Secure TensorFlow FrameworkQuoc, D. L., Gregor, F., Arnautov, S., Kunkel, R., Bhatotia, P. & Fetzer, C., 2020, In: Middleware '20: 21st International Middleware Conference. 2020, p. 44–59Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Security Promises and Vulnerabilities in Emerging Reconfigurable Nanotechnology-Based CircuitsRai, S., Patnaik, S., Rupani, A., Knechtel, J., Sinanoglu, O. & Kumar, A., 2020, In: IEEE Transactions on Emerging Topics in Computing. 10, 2, p. 763-778, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Semantic Technologies for Situation AwarenessBaader, F., Borgwardt, S., Koopmann, P., Thost, V. & Turhan, A., 2020, In: KI. Künstliche Intelligenz. 34, 4, p. 543-550, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• SeqL: Secure Scan-Locking for IP Protection.Potluri, S., Aysu, A. & Kumar, A., 2020, ISQED. p. 7-13, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Signature-Based Abduction for Expressive Description LogicsKoopmann, P., Del-Pinto, W., Schmidt, R. & Tourret, S., 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI Organization, p. 592–602Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• SIMDive: Approximate SIMD Soft Multiplier-Divider for FPGAs with Tunable Accuracy.Ebrahimi, Z., Ullah, S. & Kumar, A., 2020, ACM Great Lakes Symposium on VLSI. p. 151-156, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Simulation Validation of High Resolution Indoor Terahertz Synthetic Aperture Radar ImagingBatra, A., Wiemeler, M., Göhringer, D. & Kaiser, T., 2020, p. 1-5, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• SpecFuzz: Bringing Spectre-type vulnerabilities to the surfaceOleksenko, O., Trach, B., Silberstein, M. & Fetzer, C., 2020, Proceedings of the 29th USENIX Security Symposium. USENIX Association, 18 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Sub-mm Resolution Indoor THz Range and SAR Imaging of Concealed ObjectBatra, A., Vu, V. T., Zantah, Y., Wiemeler, M., Pettersson, M. I., Diana, G. & Kaiser, T., 2020, p. 1-4, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Switchbox - Low-latency Fail-safe Assurance of Availability in Industrial EnvironmentsLackorzynski, T., Rietzsch, P. & Köpsell, S., 2020, 2020 IEEE International Conference on Industrial Technology (ICIT). p. 328-333, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• SWITSS: Computing small witnessing subsystemsJantsch, S., Harder, H., Funke, F. & Baier, C., 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020. Ivrii, A. & Strichman, O. (eds.). TU Wien Academic Press, p. 236-244, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested SequentsLyon, T., Tiu, A., Goré, R. & Clouston, R., 2020, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Fernández, M. & Muscholl, A. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 152. p. 28:1-28:16, (Leibniz International Proceedings in Informatics (LIPIcs))Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• SysIDLib: A High-Level Synthesis FPGA Library for Online System IdentificationAkgün, G., Hebaish, M., Elshimy, M., Ghany, M. A. E. & Göhringer, D., 2020, p. 97-107, 11 p.Research output: Contribution to conferences > Paper