| Lithium titanate oxide battery cells for high-power automotive applications–Electro-thermal properties, aging behavior and cost considerations T Nemeth, P Schröer, M Kuipers, DU Sauer Journal of Energy Storage 31, 101656, 2020 | 94 | 2020 |
| An algorithm for an online electrochemical impedance spectroscopy and battery parameter estimation: Development, verification and validation M Kuipers, P Schröer, T Nemeth, H Zappen, A Blömeke, DU Sauer Journal of Energy Storage 30, 101517, 2020 | 41 | 2020 |
| Challenges in modeling high power lithium titanate oxide cells in battery management systems P Schröer, H Van Faassen, T Nemeth, M Kuipers, DU Sauer Journal of Energy Storage 28, 101189, 2020 | 27 | 2020 |
| Latticed k-Induction with an Application to Probabilistic Programs K Batz, M Chen, BL Kaminski, JP Katoen, C Matheja, P Schröer International Conference on Computer Aided Verification, 524-549, 2021 | 22 | 2021 |
| Adaptive modeling in the frequency and time domain of high-power lithium titanate oxide cells in battery management systems P Schröer, E Khoshbakht, T Nemeth, M Kuipers, H Zappen, DU Sauer Journal of Energy Storage 32, 101966, 2020 | 21 | 2020 |
| Current research topics for lead–acid batteries M Kwiecien, P Schröer, M Kuipers, DU Sauer Lead-acid batteries for future automobiles, 133-146, 2017 | 20 | 2017 |
| PrIC3: property directed reachability for MDPs K Batz, S Junges, BL Kaminski, JP Katoen, C Matheja, P Schröer International Conference on Computer Aided Verification, 512-538, 2020 | 18 | 2020 |
| A Deductive Verification Infrastructure for Probabilistic Programs P Schröer, K Batz, BL Kaminski, JP Katoen, C Matheja Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 2052-2082, 2023 | 8 | 2023 |
| Electrical non-invasive determination of aging progress and failure mechanisms of field aged automotive lead batteries R Conradt, P Schröer, D Schulte, J Wirth, F Jöris, KP Birke Journal of Energy Storage 68, 107571, 2023 | 4 | 2023 |
| Comprehensive study of failure mechanisms of field-aged automotive lead batteries R Conradt, P Schröer, M Dazer, J Wirth, F Jöris, D Schulte, KP Birke Batteries 9 (11), 553, 2023 | 1 | 2023 |
| A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version) P SCHRÖER, K BATZ, BL KAMINSKI, JP KATOEN, C MATHEJA arXiv preprint arXiv:2309.07781, 2023 | | 2023 |
| Entwicklung einer adaptiven Leistungsprognosefunktion für Starterbatterien mit Lithium-Titanat-Oxid-Anode als Grundlage zur sicheren Energieversorgung im Fahrzeug P Schröer Dissertation, Rheinisch-Westfälische Technische Hochschule Aachen, 2021, 2021 | | 2021 |
| Entwicklung einer adaptiven Leistungsprognosefunktion für Starterbatterien mit Lithium-Titanat-Oxid-Anode als Grundlage zur sicheren Energieversorgung im Fahrzeug PA Schröer, S Pischinger, DU Sauer Institut für Stromrichtertechnik und Elektrische Antriebe, 2021 | | 2021 |
| PrIC3: Property Directed Reachability for MDPs JP Katoen, C Matheja, P Schröer | | |
| 1A. x Analysis of Deviations between Time-based and Fre-quency-based Battery Impedance Determination Meth-ods M Kwiecien, P Schröer, M Kuipers, DU Sauer | | |
