Publications

2020

• 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
• Rindenbasierte Flammschutzmittel für ZellulosedämmstoffeHofmann, L., Delenk, H., Unbehaun, H., Feldner, A., Mensch, A. & Thümmler, K., 2020, In: Holztechnologie. 61, 3, p. 5-10, 6 p.Research output: Contribution to journal > Research article
• 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
• Robust development, validation and manufacturing processes for hybrid metal-composite lightweight structuresHaider, D. R., Gerritzen, J., Folprecht, F., Krahl, M., Spitzer, S., Gude, M., Hillmann, S. & 5 others, 2020, Tagungsband SAMPE Europe Conference 2020. 10 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• Ruhende stromführende Verbindungen für langzeitig zuverlässige stationäre und mobile BetriebsmittelSchlegel, S. & Großmann, S., 2020Research output: Contribution to conferences > Paper
• 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