Publications

2025

• What Are the Odds? Improving Statistical Model Checking of Markov Decision ProcessesMeggendorfer, T., Weininger, M. & Wienhöft, P., 2 Oct 2025, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings. Prabhakar, P. & Vandin, A. (eds.). Springer, Cham, p. 195-218, 24 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• About the Multi-Head Linear Restricted Chase TerminationGerlach, L., Larroque, L., Marcinkowski, J. & Ostropolski-Nalewaja, P., 1 Oct 2025, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025). Ortiz, M., Wassermann, R. & Schaub, T. (eds.). IJCAI Organization, p. 346–355, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Efficient hybrid machine learning model for inverse design of porous boron nitride with high thermal conductivityKhajeh, S., Mayelifartash, A., Ranjbar, A., Abdol, M. A., Sadeghzadeh, S., Cuniberti, G., Kühne, T. D. & 1 others, 1 Oct 2025, In: Solid State Communications. 404, 116051Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Flammability and thermal properties of rigid polyurethane foams modified with waste biomass and ashMagiera, A., Kuźnia, M., Stanik, R., Kaczorek-Chrobak, K., Gude, M. & Papis, B. K., 1 Oct 2025, In: Materials. 18, 19, 16 p., 4570Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Laser texturing of AA2024 alloy: A simplified approach to improve corrosion resistance and achieve superhydrophobicityZschach, L. G., Soldera, F., Marzec, M., Sokołowski, K., Sallese, M., Lasagni, A. F. & Baumann, R., 1 Oct 2025, In: Surface and Coatings Technology. 513, 132487Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Algorithmic Computability of the Capacity of Additive Colored Gaussian Noise ChannelsBoche, H., Grigorescu, A., Schaefer, R. F. & Vincent Poor, H., Oct 2025, In: IEEE transactions on information theory. 71, 10, p. 7419-7434, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Approximation of Network Impedance for Defining Current Emission Limits in the Frequency Range up to 150 kHz based on Field MeasurementsKhokhlov, V., Stiegler, R. & Meyer, J., Oct 2025, In: IET Conference Proceedings. 2025, 14, p. 2879 - 2883Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Augmented Dynamic Data Physicalization: Blending Shape-changing Data Sculptures with Virtual Content for Interactive VisualizationEngert, S., Peetz, A., Klamka, K., Surer, P., Isenberg, T. & Dachselt, R., Oct 2025, In: IEEE transactions on visualization and computer graphics. 31, 10, p. 7580-7597, 18 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Clear data, clear roads: Imputing missing data for enhanced intersection flow of connected autonomous vehiclesFreire, M., Maia, A., Figueiredo, G., Prazeres, C., Lobato Junior, W. V., Aparecido Villas, L., Sommer, C. & 1 others, Oct 2025, In: Journal of network and computer applications : JNCA. 242, 16 p., 104233Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Determining the minimum number of measurement sites for voltage quality evaluation in medium voltage networksGasch, E., Domagk, M., Meyer, J., Scheida, K. & Braunstein, R., Oct 2025, p. 2637 - 2641Electronic (full-text) versionResearch output: Contribution to conferences > Paper