Winter, M. ; Chen, B. ; Kleinert, T.

IECON 2025 – 51st Annual Conference of the IEEE Industrial Electronics Society : [Proceedings] - IEEE, 2025. - ISBN 979-8-3315-9681-1 - doi:10.1109/IECON58223.2025.11221851

DOI: 10.1109/IECON58223.2025.11221851

Gondlach, K. (Editor) ; Brinkmann, B. (Editor) ; Brinkmann, M. (Editor) ; Plath, J. (Editor) ; ; et al

Regenerative Zukünfte und künstliche Intelligenz / Gondlach, Kai (Editor) ; Wiesbaden : Springer Fachmedien Wiesbaden, 2025, Chapter 9 ; ISSN: 2731-8826=2731-8834 ; ISBN: 978-3-658-46576-6=978-3-658-46577-3 ; doi:10.1007/978-3-658-46577-3, Seiten/Artikel-Nr: 91 - 108

DOI: 10.1007/978-3-658-46577-3_9

Acosta Gil, A. (Corresponding author) ; Silano, G. ; Paludetto, G. ; Gehrke, O. ; ; et al

European Guide to Smart Energy System Testing : The ERIGrid 2.0 Approach for Evaluating Complex Smart Energy System Configurations / edited by Thomas I. Strasser, Mihai Calin, Leonard Enrique Ramos Perez, Seiten/Artikel-Nr: 65-76

DOI: 10.1007/978-3-031-99451-7_6

Marx, N. A. H. ; Inzucchi, S. E. ; McGuire, D. K.

Braunwald's Heart Disease, Seiten/Artikel-Nr: 556-578

DOI: 10.1016/B978-0-323-72219-3.00031-1

Kassing, J.-C. ; Spitzer, L. V. ; Giesl, J.

Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming (PPDP 2025) 10-11 September 2025, Rende, Italy co-located with the 41st International Conference on Logic Programming held at University of Calabria

DOI: 10.1145/3756907.3756917

Meyer, É. M. ; Giesl, J.

LIPIcs, Vol. 345, 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025), pages 76:1-76:19, Seiten/Artikel-Nr: 19 pages1057977 bytes

DOI: 10.4230/LIPICS.MFCS.2025.76

Lommen, N. ; Giesl, J.

Tools and Algorithms for the Construction and Analysis of Systems / Gurfinkel, Arie (Editor) [https://orcid.org/0000-0002-5964-6792] ; Cham : Springer Nature Switzerland, 2025, Chapter 13 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-031-90659-6=978-3-031-90660-2 ; doi:10.1007/978-3-031-90660-2, Seiten/Artikel-Nr: 205 - 211

DOI: 10.1007/978-3-031-90660-2_13

Brößner, P. T. (Corresponding author) ; Welle, K. ; Radermacher, K.

Proceedings of The 25th Annual Meeting of the International Society for Computer Assisted Orthopaedic Surgery / Editors: Joshua William Giles and Aziliz Guezou-Philippe, Seiten/Artikel-Nr: 74-78

DOI: 10.29007/7bjr

Brößner, P. T. (Corresponding author) ; Berger, L. ; Phlippen, L. C. ; Lebe, F. ; ; et al

Proceedings of The 25th Annual Meeting of the International Society for Computer Assisted Orthopaedic Surgery / Editors: Joshua William Giles and Aziliz Guezou-Philippe, Seiten/Artikel-Nr: 69-73

DOI: 10.29007/89r5

Alharbi, Z. ; Qari, S. ; Zafar, T. (Corresponding author) ; Almarzouqi, F. ; ; et al

Medicina 61(12), Seiten/Artikel-Nr.:2154

DOI: 10.3390/medicina61122154