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.” In 40th European Conference on Object-Oriented Programming (ECOOP 2026), edited by Robbert Krebbers and Alexandra Silva, 372:23:1–23:28. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026. https://doi.org/10.4230/LIPIcs.ECOOP.2026.23.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66429
Kummita, Sriteja, Fabian Benedikt Schiebel, Eric Bodden, Miao Miao, and Shiyi Wei. “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. https://doi.org/10.1109/saner67736.2026.00114.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66462
Vernholz, Mats, Gabriela Jonas-Ahrend, and Katrin Temmen. “Different Pathways, Shared Challenges: Reflections on Entering Vocational Teaching in Germany ,” 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66461
Vernholz, Mats, Johannes Schäfers, Gabriela Jonas-Ahrend, and Katrin Temmen. “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, Gabriela Jonas-Ahrend, Rinat Arvif-Elyashiv, Gal Ben-Yehduah, and Dominik Cyprus. “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 288, no. 1 (2025). https://doi.org/ 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 161 (2025). https://doi.org/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.” In Recent Advances in Mathematics Textbook Research and Development, edited by Chunxia Qi, Lianghuo Fan, Jian Liu, Qimeng Liu, and Lianchun Dong, 123–126. Singapore: Springer Nature, 2025. https://doi.org/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.” In Recent Advances in Mathematics Textbook Research and Development, edited by Chunxia Qi, Lianghuo Fan, Jian Liu, Qimeng Liu, and Lianchun Dong, 133–136. Singapore: Springer Nature, 2025. https://doi.org/10.1007/978-981-97-8426-4_20.
LibreCat
| Files available
| DOI
2025 | Conference Paper | LibreCat-ID: 58227
Brockmeier, Jan, Stephan Kruse, and J. Christoph Scheytt. “A Mach-Zehnder-Modulator Based FMCW Lidar Emulator in C-Band.” In German Microwave Conference 2025. Dresden, 2025.
LibreCat
2025 | Journal Article | LibreCat-ID: 58353 |
Podworny, Susanne, Rolf Biehler, and Yannik Fleischer. “Young Students’ Engagement with Data to Create Decision Trees.” ZDM – Mathematics Education, 2025. https://doi.org/10.1007/s11858-024-01649-w.
LibreCat
| DOI
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 54450 |
Mindlin, Dimitry, Fabian Beer, Leonie Nora Sieger, Stefan Heindorf, Philipp Cimiano, Elena Esposito, and Axel-Cyrille Ngonga Ngomo. “Beyond One-Shot Explanations: A Systematic Literature Review of Dialogue-Based XAI Approaches.” Artificial Intelligence Review 58, no. 3 (2025). https://doi.org/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. https://doi.org/ https://doi.org/10.1007/s42278-025-00223-x .
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59512
Hovemann, Aschot, Isaac Mpidi Bita, Abed Alrahman Aldade, Oliver von Heißen, and Roman Dumitrescu. “Prompt Engineering Im Systems Engineering.” Zeitschrift Für Wirtschaftlichen Fabrikbetrieb 120, no. s1 (2025): 101–6. https://doi.org/10.1515/zwf-2024-0139.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59513
Bernijazov, Ruslan, Roman Dumitrescu, Fabian Hanke, Oliver von Heißen, Lydia Kaiser, and Denis Tissen. “AI-Augmented Model-Based Systems Engineering.” Zeitschrift Für Wirtschaftlichen Fabrikbetrieb 120, no. s1 (2025): 96–100. https://doi.org/10.1515/zwf-2024-0123.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59514
Humpert, Lynn, Kristin Zagatta, Harald Anacker, and Roman Dumitrescu. “Systems Engineering and Validation: A Systematic Literature Review.” In Proceedings of the 2024 7th International Conference on Computational Intelligence and Intelligent Systems. ACM, 2025. https://doi.org/10.1145/3708778.3708793.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59532
Knorr, Lukas, N. Buchenau, Florian Schlosser, Denis Divkovic, M.G. Prina, and Henning Meschede. “Electrification and Flexibility of Process Heat in Energy System Modelling: A Review.” Renewable and Sustainable Energy Reviews 216 (2025). https://doi.org/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 57, no. 1 (2025). https://doi.org/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