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, Fabian Benedikt, and Eric Bodden. “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding.” 40th European Conference on Object-Oriented Programming (ECOOP 2026), edited by Robbert Krebbers and Alexandra Silva, vol. 372, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026, p. 23:1–23:28, doi:10.4230/LIPIcs.ECOOP.2026.23.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66429
Kummita, Sriteja, et al. “Static Analysis Traces Can Help Dynamic Symbolic Execution: A Replication Study.” 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, Mats, et al. Different Pathways, Shared Challenges: Reflections on Entering Vocational Teaching in Germany . 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66461
Vernholz, Mats, et al. Shifting Minds or Reinforcing Myths? Empirical Insights into AI-Related Affective Changes Among Future Technology Teachers. 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66459
Guberman, Ainat, et al. Exploring (De)Motivating Factors over Time: Perspectives of Career Change STEM Teachers from Germany and Israel. 2026.
LibreCat
2025 | Journal Article | LibreCat-ID: 32099 | 
Weich, Tobias, and Julia 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
Black, Tobias. “Absence of Dead-Core Formations in Chemotaxis Systems with Degenerate Diffusion.” Applied Mathematics Letters, vol. 161, 109361, Elsevier BV, 2025, doi:10.1016/j.aml.2024.109361.
LibreCat
| DOI
2025 | Book Chapter | LibreCat-ID: 57020
Pepin, Birgit, and Sebastian Rezat. “Symposium—Towards Innovative Practices in Mathematics Education: Teachers’ and Students’ Choice and Use of Digital Resources.” Recent Advances in Mathematics Textbook Research and Development, edited by Chunxia Qi et al., Springer Nature, 2025, pp. 123–126, doi:10.1007/978-981-97-8426-4_17.
LibreCat
| Files available
| DOI
2025 | Book Chapter | LibreCat-ID: 57022
Rezat, Sebastian. “Fostering University Students’ Reading and Understanding of Mathematical Text in a Flipped Classroom Approach with a Digital Marking Tool.” Recent Advances in Mathematics Textbook Research and Development, edited by Chunxia Qi et al., Springer Nature, 2025, pp. 133–136, doi:10.1007/978-981-97-8426-4_20.
LibreCat
| Files available
| DOI
2025 | Conference Paper | LibreCat-ID: 58227
Brockmeier, Jan, et al. “A Mach-Zehnder-Modulator Based FMCW Lidar Emulator in C-Band.” German Microwave Conference 2025, 2025.
LibreCat
2025 | Journal Article | LibreCat-ID: 58353 |
Podworny, Susanne, et al. “Young Students’ Engagement with Data to Create Decision Trees.” ZDM – Mathematics Education, Springer Science and Business Media LLC, 2025, doi:10.1007/s11858-024-01649-w.
LibreCat
| DOI
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 54450 |
Mindlin, Dimitry, et al. “Beyond One-Shot Explanations: A Systematic Literature Review of Dialogue-Based XAI Approaches.” Artificial Intelligence Review, vol. 58, no. 3, 81, Springer, 2025, doi:10.1007/s10462-024-11007-7.
LibreCat
| DOI
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 59414
Häsel-Weide, Uta, 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
Hovemann, Aschot, et al. “Prompt Engineering Im Systems Engineering.” Zeitschrift Für Wirtschaftlichen Fabrikbetrieb, vol. 120, no. s1, Walter de Gruyter GmbH, 2025, pp. 101–06, doi:10.1515/zwf-2024-0139.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59513
Bernijazov, Ruslan, et al. “AI-Augmented Model-Based Systems Engineering.” Zeitschrift Für Wirtschaftlichen Fabrikbetrieb, vol. 120, no. s1, Walter de Gruyter GmbH, 2025, pp. 96–100, doi:10.1515/zwf-2024-0123.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59514
Humpert, Lynn, et al. “Systems Engineering and Validation: A Systematic Literature Review.” 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, Lukas, et al. “Electrification and Flexibility of Process Heat in Energy System Modelling: A Review.” Renewable and Sustainable Energy Reviews, vol. 216, 115698, Elsevier BV, 2025, doi:10.1016/j.rser.2025.115698.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59622
Fleischer, Yannik, and Rolf Biehler. “Exploring Students’ Constructions of Data-Based Decision Trees after an Introductory Teaching Unit on Machine Learning.” ZDM – Mathematics Education, vol. 57, no. 1, Springer Science and Business Media LLC, 2025, doi:10.1007/s11858-025-01663-6.
LibreCat
| DOI
| Download (ext.)
2025 | Mastersthesis | LibreCat-ID: 59624
Showmik, Md Jannatul Baki. Enhancing Blockchain Efficiency via Median Rule. 2025.
LibreCat