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
Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding
F.B. Schiebel, E. Bodden, in: R. Krebbers, A. Silva (Eds.), 40th European Conference on Object-Oriented Programming (ECOOP 2026), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2026, p. 23:1–23:28.
LibreCat
| DOI
F.B. Schiebel, E. Bodden, in: R. Krebbers, A. Silva (Eds.), 40th European Conference on Object-Oriented Programming (ECOOP 2026), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2026, p. 23:1–23:28.
2026 | Conference Paper | LibreCat-ID: 66429
Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study
S. Kummita, F.B. Schiebel, E. Bodden, M. Miao, S. Wei, in: 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), IEEE, 2026.
LibreCat
| DOI
S. Kummita, F.B. Schiebel, E. Bodden, M. Miao, S. Wei, in: 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), IEEE, 2026.
2026 | Conference Paper | LibreCat-ID: 66462
Different Pathways, Shared Challenges: Reflections on Entering Vocational Teaching in Germany
M. Vernholz, G. Jonas-Ahrend, K. Temmen, in: 2026.
LibreCat
M. Vernholz, G. Jonas-Ahrend, K. Temmen, in: 2026.
2026 | Conference Paper | LibreCat-ID: 66461
Shifting Minds or Reinforcing Myths? Empirical Insights into AI-related Affective Changes Among Future Technology Teachers
M. Vernholz, J. Schäfers, G. Jonas-Ahrend, K. Temmen, in: 2026.
LibreCat
M. Vernholz, J. Schäfers, G. Jonas-Ahrend, K. Temmen, in: 2026.
2026 | Conference Paper | LibreCat-ID: 66459
Exploring (De)Motivating Factors over Time: Perspectives of Career Change STEM Teachers from Germany and Israel
A. Guberman, G. Jonas-Ahrend, R. Arvif-Elyashiv, G. Ben-Yehduah, D. Cyprus, in: 2026.
LibreCat
A. Guberman, G. Jonas-Ahrend, R. Arvif-Elyashiv, G. Ben-Yehduah, D. Cyprus, in: 2026.
2025 | Journal Article | LibreCat-ID: 32099 | 
Wave Front Sets of Nilpotent Lie Group Representations
T. Weich, J. Budde, Journal of Functional Analysis 288 (2025).
LibreCat
| Files available
| DOI
T. Weich, J. Budde, Journal of Functional Analysis 288 (2025).
2025 | Journal Article | LibreCat-ID: 56960
Absence of dead-core formations in chemotaxis systems with degenerate diffusion
T. Black, Applied Mathematics Letters 161 (2025).
LibreCat
| DOI
T. Black, Applied Mathematics Letters 161 (2025).
2025 | Book Chapter | LibreCat-ID: 57020
Symposium—Towards innovative practices in mathematics education: Teachers’ and students’ choice and use of digital resources
B. Pepin, S. Rezat, in: C. Qi, L. Fan, J. Liu, Q. Liu, L. Dong (Eds.), Recent Advances in Mathematics Textbook Research and Development, Springer Nature, Singapore, 2025, pp. 123–126.
LibreCat
| Files available
| DOI
B. Pepin, S. Rezat, in: C. Qi, L. Fan, J. Liu, Q. Liu, L. Dong (Eds.), Recent Advances in Mathematics Textbook Research and Development, Springer Nature, Singapore, 2025, pp. 123–126.
2025 | Book Chapter | LibreCat-ID: 57022
Fostering university students’ reading and understanding of mathematical text in a flipped classroom approach with a digital marking tool
S. Rezat, in: C. Qi, L. Fan, J. Liu, Q. Liu, L. Dong (Eds.), Recent Advances in Mathematics Textbook Research and Development, Springer Nature, Singapore, 2025, pp. 133–136.
LibreCat
| Files available
| DOI
S. Rezat, in: C. Qi, L. Fan, J. Liu, Q. Liu, L. Dong (Eds.), Recent Advances in Mathematics Textbook Research and Development, Springer Nature, Singapore, 2025, pp. 133–136.
2025 | Conference Paper | LibreCat-ID: 58227
A Mach-Zehnder-Modulator based FMCW Lidar Emulator in C-Band
J. Brockmeier, S. Kruse, J.C. Scheytt, in: German Microwave Conference 2025, Dresden, 2025.
LibreCat
J. Brockmeier, S. Kruse, J.C. Scheytt, in: German Microwave Conference 2025, Dresden, 2025.
2025 | Journal Article | LibreCat-ID: 58353 |
Young students’ engagement with data to create decision trees
S. Podworny, R. Biehler, Y. Fleischer, ZDM – Mathematics Education (2025).
LibreCat
| DOI
| Download (ext.)
S. Podworny, R. Biehler, Y. Fleischer, ZDM – Mathematics Education (2025).
2025 | Journal Article | LibreCat-ID: 54450 |
Beyond One-Shot Explanations: A Systematic Literature Review of Dialogue-Based XAI Approaches
D. Mindlin, F. Beer, L.N. Sieger, S. Heindorf, P. Cimiano, E. Esposito, A.-C. Ngonga Ngomo, Artificial Intelligence Review 58 (2025).
LibreCat
| DOI
| Download (ext.)
D. Mindlin, F. Beer, L.N. Sieger, S. Heindorf, P. Cimiano, E. Esposito, A.-C. Ngonga Ngomo, Artificial Intelligence Review 58 (2025).
2025 | Journal Article | LibreCat-ID: 59414
Unterrichtsintegrierte Förderung von mathematischen Basiskompetenzen. Empirische Rekonstruktion interferierender Praktiken der Förderung im Mathematikunterricht der Grundschule
U. Häsel-Weide, M. Nührenbörger, Zeitschrift für Grundschulforschung (2025).
LibreCat
| DOI
U. Häsel-Weide, M. Nührenbörger, Zeitschrift für Grundschulforschung (2025).
2025 | Journal Article | LibreCat-ID: 59512
Prompt Engineering im Systems Engineering
A. Hovemann, I.M. Bita, A.A. Aldade, O. von Heißen, R. Dumitrescu, Zeitschrift Für Wirtschaftlichen Fabrikbetrieb 120 (2025) 101–106.
LibreCat
| DOI
A. Hovemann, I.M. Bita, A.A. Aldade, O. von Heißen, R. Dumitrescu, Zeitschrift Für Wirtschaftlichen Fabrikbetrieb 120 (2025) 101–106.
2025 | Journal Article | LibreCat-ID: 59513
AI-Augmented Model-Based Systems Engineering
R. Bernijazov, R. Dumitrescu, F. Hanke, O. von Heißen, L. Kaiser, D. Tissen, Zeitschrift Für Wirtschaftlichen Fabrikbetrieb 120 (2025) 96–100.
LibreCat
| DOI
R. Bernijazov, R. Dumitrescu, F. Hanke, O. von Heißen, L. Kaiser, D. Tissen, Zeitschrift Für Wirtschaftlichen Fabrikbetrieb 120 (2025) 96–100.
2025 | Conference Paper | LibreCat-ID: 59514
Systems Engineering and Validation: A systematic literature review
L. Humpert, K. Zagatta, H. Anacker, R. Dumitrescu, in: Proceedings of the 2024 7th International Conference on Computational Intelligence and Intelligent Systems, ACM, 2025.
LibreCat
| DOI
L. Humpert, K. Zagatta, H. Anacker, R. Dumitrescu, in: Proceedings of the 2024 7th International Conference on Computational Intelligence and Intelligent Systems, ACM, 2025.
2025 | Journal Article | LibreCat-ID: 59532
Electrification and flexibility of process heat in energy system modelling: A review
L. Knorr, N. Buchenau, F. Schlosser, D. Divkovic, M.G. Prina, H. Meschede, Renewable and Sustainable Energy Reviews 216 (2025).
LibreCat
| DOI
L. Knorr, N. Buchenau, F. Schlosser, D. Divkovic, M.G. Prina, H. Meschede, Renewable and Sustainable Energy Reviews 216 (2025).
2025 | Journal Article | LibreCat-ID: 59622
Exploring students’ constructions of data-based decision trees after an introductory teaching unit on machine learning
Y. Fleischer, R. Biehler, ZDM – Mathematics Education 57 (2025).
LibreCat
| DOI
| Download (ext.)
Y. Fleischer, R. Biehler, ZDM – Mathematics Education 57 (2025).
2025 | Mastersthesis | LibreCat-ID: 59624
Enhancing Blockchain Efficiency via Median Rule
M.J.B. Showmik, Enhancing Blockchain Efficiency via Median Rule, 2025.
LibreCat
M.J.B. Showmik, Enhancing Blockchain Efficiency via Median Rule, 2025.
2025 | Preprint | LibreCat-ID: 59664
Zeros and exponential profiles of polynomials I: Limit distributions, finite free convolutions and repeated differentiation
J. Jalowy, Z. Kabluchko, A. Marynych, ArXiv:2504.11593 (2025).
LibreCat
| arXiv
J. Jalowy, Z. Kabluchko, A. Marynych, ArXiv:2504.11593 (2025).