Publikationen

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. (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 fur Informatik GmbH, Dagstuhl Publishing, 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
• 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 S., 179245Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, 5354Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel