Publications

2020

• Quantitative Characterization of Reconfigurable Transistor Logic Gates.Raitza, M., Märcker, S., Trommer, J., Heinzig, A., Klüppelholz, S., Baier, C. & Kumar, A., 2020, In: IEEE access. 8, p. 112598-112614, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Rapid Iron-On User Interfaces: Hands-on Fabrication of Interactive Textile PrototypesKlamka, K., Dachselt, R. & Steimle, J., 2020, Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, NY, USA: Association for Computing Machinery (ACM), New York, p. 1–14Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Reachability in Dynamical Systems with RoundingBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Ouaknine, J., Pouly, A. & 2 others, 2020, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020). Saxena, N. & Simon, S. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 36:1-36:17Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Reactors: A Deterministic Model for Composable Reactive SystemsLohstroh, M., Romeo, Í. Í., Goens, A., Derler, P., Castrillon, J., Lee, E. A. & Sangiovanni-Vincentelli, A., 2020, Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, Revised Selected Papers. Chamberlain, R., Edin Grimheden, M. & Taha, W. (eds.). Springer, Berlin [u. a.], p. 59-85, 27 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Reasoner = Logical Calculus + Rule EngineCarral, D., Dragoste, I. & Krötzsch, M., 2020, In: KI - Kunstliche Intelligenz. 34, p. 453–463Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Reasoning in Description Logic Ontologies for Privacy ManagementNuradiansyah, A., 2020, In: Künstliche Intelligenz : KI. 34, 3, p. 411-415, 5 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• RecordFlux: Formal Message Specification and Generation of Verifiable Binary ParsersReiher, T., Senier, A., Castrillon, J. & Strufe, T., 2020, Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings. Arbab, F. & Jongmans, S. (eds.). Springer, Berlin [u. a.], p. 170-190, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Reduction methods on probabilistic control-flow programs for reliability analysisDubslaff, C., Morozov, A., Baier, C. & Janschek, K., 2020, 30th European Safety and Reliability Conference, ESREL 2020 and 15th Probabilistic Safety Assessment and Management Conference, PSAM 2020. Baraldi, P., Di Maio, F. & Zio, E. (eds.). Research Publishing Services, p. 4843-4850, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Re-examining linear embeddings for high-dimensional Bayesian optimizationLetham, B., Calandra, R., Rai, A. & Bakshy, E., 2020, In: Advances in neural information processing systems : ... proceedings of the ... conference. 2020-DecemberResearch output: Contribution to journal > Conference article
• Reinforced feature points: Optimizing feature detection and description for a high-level taskBhowmik, A., Gumhold, S., Rother, C. & Brachmann, E., 2020, 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). p. 4947-4956, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)Fernandez Gil, O. & Turhan, A., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL'20). CEUR-WS.orgElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Resource Efficient Dynamic Voltage and Frequency Scaling on Xilinx FPGAsAkgün, G., Kalms, L. & Göhringer, D., 2020, p. 178-192, 15 p.Research output: Contribution to conferences > Paper
• 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