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