Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9784 Publications
2022 | Book Chapter | LibreCat-ID: 32339
Häsel-Weide, U., Seitz, S., Wallner, M., & Wilke, Y. (2022). Professionalisierung für inklusiven Mathematikunterricht. Interdisziplinäre Seminarkonzeption zur reflexiven Professionalisierung angehender Mathematiklehrkräfte in der Sekundarstufe. In D. Lutz, J. Becker, F. Buchhaupt, D. Katzenbach, A. Strecker, & M. Urban (Eds.), Qualifizierung für Inklusion. Sekundarstufe (pp. 83–100). Waxmann.
LibreCat
2022 | Journal Article | LibreCat-ID: 32338
Hähn, K., Häsel-Weide, U., & Scherer, P. (2022). Diagnosegeleitete Förderung im inklusiven Mathematikunterricht der Grundschule – Professionalisierung durch reflektierte Handlungspraxis in der Lehrer*innenbildung. QfI - Qualifizierung für Inklusion, 3(2).
LibreCat
| Files available
2022 | Conference Paper | LibreCat-ID: 32333
Möller, M. C., & Krauter, S. (2022). Model of a Self-Sufficient PV Home using a Hybrid Storage System based on Li-Ion Batteries and Hydrogen Storage with Waste Heat Utilization . In IEEE (Ed.), Proceedings of the 49th IEEE Photovoltaic Specialists Conference.
LibreCat
2022 | Journal Article | LibreCat-ID: 30262
Möller, M. C., & Krauter, S. (2022). Hybrid Energy System Model in Matlab/Simulink based on Solar Energy, Lithium-Ion Battery and Hydrogen. Energies / Special Issue “Sustainable Energy Concepts for Energy Transition,” 15 (6), 2201. https://doi.org/10.3390/en15062201
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 29673 | 
Klus, S., Nüske, F., & Peitz, S. (2022). Koopman analysis of quantum systems. Journal of Physics A: Mathematical and Theoretical, 55(31), 314002. https://doi.org/10.1088/1751-8121/ac7d22
LibreCat
| DOI
| Download (ext.)
| arXiv
2022 | Misc | LibreCat-ID: 32409
Schlichtig, M., Wickert, A.-K., Krüger, S., Bodden, E., & Mezini, M. (2022). CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite. https://doi.org/10.48550/ARXIV.2204.06447
LibreCat
| Files available
| DOI
2022 | Dissertation | LibreCat-ID: 32414
Lass, M. (2022). Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-1281
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
Nachtigall, M., Schlichtig, M., & Bodden, E. (2022). A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools. Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 532–543. https://doi.org/10.1145/3533767
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31133
Schlichtig, M., Sassalla, S., Narasimhan, K., & Bodden, E. (2022). FUM - A Framework for API Usage constraint and Misuse Classification. 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 673–684. https://doi.org/10.1109/SANER53432.2022.00085
LibreCat
| Files available
| DOI
2022 | Bachelorsthesis | LibreCat-ID: 32399
Vahle, E. (2022). Modelling and Proving Security for a Secure MPC Protocol for Stable Matching.
LibreCat