Publications

2025

• Small Term Reachability and Related Problems for Terminating Term Rewriting SystemsBaader, F. & Giesl, J., 2025, In: Logical methods in computer science. 21, 4, 31 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Solare kalte Nahwärmenetze der zweiten Generation mit zentraler Wärmepumpe – Untersuchung unterschiedlicher KreislaufarchitekturenHerden, D., Xu, Y., Thomas, C., Huber, P., Brunder, J., Drück, H., Hafner, B. & 1 others, 2025, Symposium Zukunft Wärme: 20.-22. Mai 2025 Kloster Banz, Bad StaffelsteinResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Solid Oxide Fuel Cells for Space Exploration: Enabling High-Efficiency Power Generation in Extreme EnvironmentsHeutling, T., Nousch, L., Hartman, M., Schmiel, T., Buergler, B., Tajmar, M. & Bach, C., 2025, IAF Space Power Symposium - Held at the 76th International Astronautical Congress, IAC 2025. International Astronautical Federation, IAF, p. 367-375, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Solution to the contact problem of multi-layer capacitive dielectric elastomer sensor: laser-engraved elastomer buffer layerProkopchuk, A., Ewert, A., Menning, J. D., Richter, A., Schlecht, B., Wallmersperger, T. & Vorrath, E. F., 2025, Active and Passive Smart Structures and Integrated Systems XIX. Li, X., Chen, Y., Huang, G., Nouh, M. A., Sugino, C., Tol, S. & Yang, J. (eds.). SPIE - The international society for optics and photonics, 134321HElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Sonic Scribbles – Constructing Sketch Classes from Visual Associations of the Mental Model for AudioEngeln, L. & Groh, R., 2025, Proceedings of the 20th International Audio Mostly Conference, AM 2025Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Sound Statistical Model Checking for Probabilities and Expected RewardsBudde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 2025, Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Gurfinkel, A. & Heule, M. (eds.). Springer, Cham, p. 167–190, 24 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Spacer StitchingSaeed, H., 2025, Sewing Machines and Processes. Kyosev, Y. (ed.). 1 ed., CRC Press, p. 260-274, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Sparse code transceiver design for unsourced random access with analytical power division in Gaussian MACZhang, Z., Ahmadi, M. J., Dang, J., Wong, K., Zhang, Z. & Masouros, C., 2025, 2025 IEEE 102nd Vehicular Technology Conference (VTC2025-Fall). p. 1-5, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Spatial Audio Paths – Spatial Expressiveness of Immersive 3D Audio Trajectory EditingEngeln, L., Georgi, L., Ludwig, R., Chandran, K., Töpfer, F. & McGinity, M., 2025, Proceedings of the 20th International Audio Mostly Conference, AM 2025Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Statistical Evaluation of Reaction and Movement Times in Pneumatic Systems for Sequential Control OptimizationHeller, J., Ludemann-Ravit, B., Penter, L. & Ihlenfeldt, S., 2025, International Conference on Artificial Intelligence, Computer, Data Sciences, and Applications, ACDSA 2025. Institute of Electrical and Electronics Engineers (IEEE), p. 1-6Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution