2022

• AGM Revision in Description Logics under Fixed-Domain SemanticsFalakh, F. M. & Rudolph, S., 1 Aug 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022). Arieli, O., Homola, M., Jung, J. C. & Mugnier, M. (eds.). CEUR Workshop Proceedings, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Novel 61.25 GHz Monostatic CMOS Interrogator for Batteryless Backscattering RFID SolutionsTibenszky, Z., Cui, M., Klosa, T., Carta, C. & Ellinger, F., 1 Aug 2022, In: IEEE journal of solid-state circuits. 57, 8, p. 2362-2373, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Comonadic Semantics for Description Logics GamesBednarczyk, B. & Urbanczyk, M., 1 Aug 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022). Arieli, O., Homola, M., Jung, J. C. & Mugnier, M. (eds.).12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Effects of Rotation on the Flow Structure in a Compressor CascadeVentosa-Molina, J., Koppe, B., Lange, M., Mailach, R. & Fröhlich, J., 1 Aug 2022, In: Journal of turbomachinery. 144, 8, p. 1-24, 24 p., 081006Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Systematic analysis of additives on the performance parameters of sCO₂ cycles and their individual effects on the cycle characteristicsRath, S., Mickoleit, E., Gampe, U., Breitkopf, C. & Jäger, A., 1 Aug 2022, In: Energy : the international journal. 252, 123957Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Towards a Model Theory of Ordered Logics: Expressivity and InterpolationBednarczyk, B. & Jaakkola, R., 1 Aug 2022, Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022). Szeider, S., Ganian, R. & Silva, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, p. 15:1-15:14, 16Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Additively manufactured AlSi10Mg lattices – Potential and limits of modelling as-designed structuresGebhardt, U., Gustmann, T., Giebeler, L., Hirsch, F., Hufenbach, J. K. & Kästner, M., Aug 2022, In: Materials and Design. 220, 15 p., 110796Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A Deep Study of Resistance Switching Phenomena in TaO_x ReRAM Cells: System-Theoretic Dynamic Route Map Analysis and Experimental VerificationAscoli, A., Menzel, S., Rana, V., Kempen, T., Messaris, I., Demirkol, A. S., Schulten, M. & 2 others, Aug 2022, In: Advanced electronic materials. 8, 8, 2200182Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Analysis of the Operation Characteristics of a Hybrid Heat Pump in an Existing Multifamily House Based on Field Test Data and SimulationNeubert, D., Glück, C., Schnitzius, J., Marko, A., Wapler, J., Bongs, C. & Felsmann, C., Aug 2022, In: Energies. 15, 15, 5611Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional SymbolsBaader, F. & Kapur, D., Aug 2022, In: Journal of automated reasoning. 66, 3, p. 301-329, 29 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article