2020

• Finding Proofs for Description Logic Entailments in Practice (Extended Abstract)Alrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2020, Informal Proceedings of the 1st Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2020)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Finding Small Proofs for Description Logic Entailments: Theory and PracticeAlrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2020, LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. S. 32-67, 36 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• First Results on How to Certify Subsumptions Computed by the 𝓔𝓛 Reasoner ELK Using the Logical Framework with Side ConditionsBaader, F., Koopmann, P. & Tinelli, C., 2020, DL 2020 - Description Logics 2020: Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). RTWH AachenElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Flame Retardancy of Wood Fiber Materials Using Phosphorus‐Modified Wheat StarchGebke, S., Thümmler, K., Sonnier, R., Tech, S., Wagenführ, A. & Fischer, S., 2020, in: Molecules. 25, 2, 21 S., 335Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Flexible memory, bit-passing and mixed logic/ memory operation of two intercoupled FeFET arraysBreyer, E. T., Mulaosmanovic, H., Slesazeck, S. & Mikolajick, T., 2020, IEEE International Symposium on Circuits and Systems (ISCAS). IEEE Xplore, 9181279Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Food processing by-products as food ingredientsStruck, S. & Rohm, H., 2020, Valorization of Fruit Processing By-Products. Galanakis, C. (Hrsg.). Academic Press, S. 1-16Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Forming analysis of internal plies of multi-layer unidirectional textile preforms using projectional radiographyKunze, E., Schwarz, B., Weber, T., Müller, M., Böhm, R. & Gude, M., 2020, in:  Procedia manufacturing. 47, S. 17-23, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Formulation of a palatal adhesive strip to secure electronic measuring devices inside the oral cavityWagner, C., Lehnert, B. & Stappenbeck, L., 2020Publikation: Beitrag zu Konferenzen > Poster
• Friktionswerkstoffe - Verbundkeramische Reibpaarungen auf Basis von maßgeschneiderten 3D-Preformen / Friction materials - Ceramix Composite friction pairings based on tailored 3D preformsOpel, T. & Weise, D., 2020, in: CU reports : internationales Mitgliedermagazin des Composites United. [Deutsche Ausgabe]. 2020, 2, 2 S.Publikation: Beitrag in Fachzeitschrift > Kurzartikel (Letter) / Leserbrief mit Originaldaten
• From Features to RolesChrszon, P., Dubslaff, C., Klüppelholz, S. & Baier, C., 2020, SPLC '20: Proceedings of the 24th ACM Conference on Systems and Software Product Line. Ali, S., Assunção, W. K. G., Berger, T., Cetina, C., Collet, P., Galindo, J., Gazzillo, P., Linsbauer, L., Lopez-Herrejon, R. E., Nadi, S., Schulze, S. & Trujillo, S. (Hrsg.). Association for Computing Machinery (ACM), New York, Band A. 19Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband