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.
11276 Publications
2026 | Conference Paper | LibreCat-ID: 66433
Schiebel FB, Bodden E. Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding. In: Krebbers R, Silva A, eds. 40th European Conference on Object-Oriented Programming (ECOOP 2026). Vol 372. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2026:23:1–23:28. doi:10.4230/LIPIcs.ECOOP.2026.23
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66429
Kummita S, Schiebel FB, Bodden E, Miao M, Wei S. Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study. In: 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE; 2026. doi:10.1109/saner67736.2026.00114
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66462
Vernholz M, Jonas-Ahrend G, Temmen K. Different Pathways, Shared Challenges: Reflections on Entering Vocational Teaching in Germany . In: ; 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66461
Vernholz M, Schäfers J, Jonas-Ahrend G, Temmen K. Shifting Minds or Reinforcing Myths? Empirical Insights into AI-related Affective Changes Among Future Technology Teachers. In: ; 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66459
Guberman A, Jonas-Ahrend G, Arvif-Elyashiv R, Ben-Yehduah G, Cyprus D. Exploring (De)Motivating Factors over Time: Perspectives of Career Change STEM Teachers from Germany and Israel. In: ; 2026.
LibreCat
2025 | Journal Article | LibreCat-ID: 32099 | 
Weich T, Budde J. Wave Front Sets of Nilpotent Lie Group Representations. Journal of Functional Analysis. 2025;288(1). doi: https://doi.org/10.1016/j.jfa.2024.110684
LibreCat
| Files available
| DOI
2025 | Journal Article | LibreCat-ID: 56960
Black T. Absence of dead-core formations in chemotaxis systems with degenerate diffusion. Applied Mathematics Letters. 2025;161. doi:10.1016/j.aml.2024.109361
LibreCat
| DOI
2025 | Book Chapter | LibreCat-ID: 57020
Pepin B, Rezat S. Symposium—Towards innovative practices in mathematics education: Teachers’ and students’ choice and use of digital resources. In: Qi C, Fan L, Liu J, Liu Q, Dong L, eds. Recent Advances in Mathematics Textbook Research and Development. Springer Nature; 2025:123–126. doi:10.1007/978-981-97-8426-4_17
LibreCat
| Files available
| DOI
2025 | Book Chapter | LibreCat-ID: 57022
Rezat S. Fostering university students’ reading and understanding of mathematical text in a flipped classroom approach with a digital marking tool. In: Qi C, Fan L, Liu J, Liu Q, Dong L, eds. Recent Advances in Mathematics Textbook Research and Development. Springer Nature; 2025:133–136. doi:10.1007/978-981-97-8426-4_20
LibreCat
| Files available
| DOI
2025 | Conference Paper | LibreCat-ID: 58227
Brockmeier J, Kruse S, Scheytt JC. A Mach-Zehnder-Modulator based FMCW Lidar Emulator in C-Band. In: German Microwave Conference 2025. ; 2025.
LibreCat
2025 | Journal Article | LibreCat-ID: 58353 |
Podworny S, Biehler R, Fleischer Y. Young students’ engagement with data to create decision trees. ZDM – Mathematics Education. Published online 2025. doi:10.1007/s11858-024-01649-w
LibreCat
| DOI
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 54450 |
Mindlin D, Beer F, Sieger LN, et al. Beyond One-Shot Explanations: A Systematic Literature Review of Dialogue-Based XAI Approaches. Artificial Intelligence Review. 2025;58(3). doi:10.1007/s10462-024-11007-7
LibreCat
| DOI
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 59414
Häsel-Weide U, Nührenbörger M. Unterrichtsintegrierte Förderung von mathematischen Basiskompetenzen. Empirische Rekonstruktion interferierender Praktiken der Förderung im Mathematikunterricht der Grundschule. Zeitschrift für Grundschulforschung. Published online 2025. doi: https://doi.org/10.1007/s42278-025-00223-x
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59512
Hovemann A, Bita IM, Aldade AA, von Heißen O, Dumitrescu R. Prompt Engineering im Systems Engineering. Zeitschrift für wirtschaftlichen Fabrikbetrieb. 2025;120(s1):101-106. doi:10.1515/zwf-2024-0139
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59513
Bernijazov R, Dumitrescu R, Hanke F, von Heißen O, Kaiser L, Tissen D. AI-Augmented Model-Based Systems Engineering. Zeitschrift für wirtschaftlichen Fabrikbetrieb. 2025;120(s1):96-100. doi:10.1515/zwf-2024-0123
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59514
Humpert L, Zagatta K, Anacker H, Dumitrescu R. Systems Engineering and Validation: A systematic literature review. In: Proceedings of the 2024 7th International Conference on Computational Intelligence and Intelligent Systems. ACM; 2025. doi:10.1145/3708778.3708793
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59532
Knorr L, Buchenau N, Schlosser F, Divkovic D, Prina MG, Meschede H. Electrification and flexibility of process heat in energy system modelling: A review. Renewable and Sustainable Energy Reviews. 2025;216. doi:10.1016/j.rser.2025.115698
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59622
Fleischer Y, Biehler R. Exploring students’ constructions of data-based decision trees after an introductory teaching unit on machine learning. ZDM – Mathematics Education. 2025;57(1). doi:10.1007/s11858-025-01663-6
LibreCat
| DOI
| Download (ext.)
2025 | Mastersthesis | LibreCat-ID: 59624
Showmik MJB. Enhancing Blockchain Efficiency via Median Rule.; 2025.
LibreCat