Publications

2022

• 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 fur Informatik GmbH, Dagstuhl Publishing, 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
• Determination of melting and solidification temperatures of Sn-Ag-Cu solder spheres by infrared thermographyMüller, M., Schindler, S., Wolter, K., Wiese, S. & Panchenko, J., Aug 2022, In: Thermochimica Acta. 714, 10 p., 179245Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Effect of Silver Doping on the Superconducting and Structural Properties of YBCO Films Grown by PLD on Different TemplatesShipulin, I. A., Anna Thomas, A., Holleis, S., Eisterer, M., Nielsch, K. & Hühne, R., Aug 2022, In: Materials. 15, 15, 5354Electronic (full-text) versionResearch output: Contribution to journal > Research article