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. (Hrsg.). CEUR Workshop Proceedings, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 2362-2373, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.).12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 1-24, 24 S., 081006Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, 123957Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, S. 15:1-15:14, 16Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 S., 110796Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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 weitere, Aug. 2022, in: Advanced electronic materials. 8, 8, 2200182Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, 5611Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, S. 301-329, 29 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel