Publications

2025

• Sicherheitsmechanismen des Cloud-Computings zur Verwendung in KorrekturverfahrenKrahn, R. & Fetzer, C., 2025, Thermo-energetische Gestaltung von Werkzeugmaschinen: Praxishandbuch. Brecher, C. (ed.). Wiesbaden: Springer Fachmedien Wiesbaden GmbH, p. 213-234, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Silicon nitride-based integrated photonic platform for applications in trustworthy communication systemsDev, S., Catuneanu, M., He, M., Lapteva, M., Weyers, D., Narayanan, B., Fell, J. & 16 others, 2025, Integrated Optics: Design, Devices, Systems, and Applications VIII. Cheben, P., Ctyroky, J. & Molina-Fernandez, I. (eds.). SPIE - The international society for optics and photonics, 1353003Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Simulation Architecture for Electric Vehicle Charging Optimization in Dresden's Ostra DistrictWang, S., Haider, S. I., Shen, S., Motazedian, F., Radeke, R. & Fitzek, F. H., 2025, Proceedings of the 14th International Conference on Smart Cities and Green ICT Systems, SMARTGREENS 2025. Klingert, S., Santini, S., Klein, C. & Calise, F. (eds.). Science and Technology Publications, Lda, p. 56-65, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Simulation in Produktion und Logistik 2025: 21. ASIM-FachtagungRank, S., Kühn, M. & Schmidt, T., 2025, Dresden, 599 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Simulation of the hydraulic transport of realistic sand grainsRebel, R. & Fröhlich, J., 2025Research output: Contribution to conferences > Poster
• Sintered Titanium Sponge Using Stop-Controlled SPS TechnologyHutsch, T., Trapp, J. & Weißgärber, T., 2025, Additive Manufacturing Techniques and Sustainability. Trans Tech Publications Ltd, p. 97-103, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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
• 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