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
@inproceedings{Schiebel_Bodden_2026, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding}, volume={372}, DOI={10.4230/LIPIcs.ECOOP.2026.23}, booktitle={40th European Conference on Object-Oriented Programming (ECOOP 2026)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Schiebel, Fabian Benedikt and Bodden, Eric}, editor={Krebbers, Robbert and Silva, Alexandra}, year={2026}, pages={23:1–23:28}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66429
@inproceedings{Kummita_Schiebel_Bodden_Miao_Wei_2026, title={Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study}, DOI={10.1109/saner67736.2026.00114}, booktitle={2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, publisher={IEEE}, author={Kummita, Sriteja and Schiebel, Fabian Benedikt and Bodden, Eric and Miao, Miao and Wei, Shiyi}, year={2026} }
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66462
@inproceedings{Vernholz_Jonas-Ahrend_Temmen_2026, title={Different Pathways, Shared Challenges: Reflections on Entering Vocational Teaching in Germany }, author={Vernholz, Mats and Jonas-Ahrend, Gabriela and Temmen, Katrin}, year={2026} }
LibreCat
2026 | Conference Paper | LibreCat-ID: 66461
@inproceedings{Vernholz_Schäfers_Jonas-Ahrend_Temmen_2026, title={Shifting Minds or Reinforcing Myths? Empirical Insights into AI-related Affective Changes Among Future Technology Teachers}, author={Vernholz, Mats and Schäfers, Johannes and Jonas-Ahrend, Gabriela and Temmen, Katrin}, year={2026} }
LibreCat
2026 | Conference Paper | LibreCat-ID: 66459
@inproceedings{Guberman_Jonas-Ahrend_Arvif-Elyashiv_Ben-Yehduah_Cyprus_2026, title={Exploring (De)Motivating Factors over Time: Perspectives of Career Change STEM Teachers from Germany and Israel}, author={Guberman, Ainat and Jonas-Ahrend, Gabriela and Arvif-Elyashiv, Rinat and Ben-Yehduah, Gal and Cyprus, Dominik}, year={2026} }
LibreCat
2025 | Journal Article | LibreCat-ID: 32099 | 
@article{Weich_Budde_2025, title={Wave Front Sets of Nilpotent Lie Group Representations}, volume={288}, DOI={ https://doi.org/10.1016/j.jfa.2024.110684}, number={1}, journal={Journal of Functional Analysis}, author={Weich, Tobias and Budde, Julia}, year={2025} }
LibreCat
| Files available
| DOI
2025 | Journal Article | LibreCat-ID: 56960
@article{Black_2025, title={Absence of dead-core formations in chemotaxis systems with degenerate diffusion}, volume={161}, DOI={10.1016/j.aml.2024.109361}, number={109361}, journal={Applied Mathematics Letters}, publisher={Elsevier BV}, author={Black, Tobias}, year={2025} }
LibreCat
| DOI
2025 | Book Chapter | LibreCat-ID: 57020
@inbook{Pepin_Rezat_2025, place={Singapore}, title={Symposium—Towards innovative practices in mathematics education: Teachers’ and students’ choice and use of digital resources}, DOI={10.1007/978-981-97-8426-4_17}, booktitle={Recent Advances in Mathematics Textbook Research and Development}, publisher={Springer Nature}, author={Pepin, Birgit and Rezat, Sebastian}, editor={Qi, Chunxia and Fan, Lianghuo and Liu, Jian and Liu, Qimeng and Dong, Lianchun}, year={2025}, pages={123–126} }
LibreCat
| Files available
| DOI
2025 | Book Chapter | LibreCat-ID: 57022
@inbook{Rezat_2025, place={Singapore}, title={Fostering university students’ reading and understanding of mathematical text in a flipped classroom approach with a digital marking tool}, DOI={10.1007/978-981-97-8426-4_20}, booktitle={Recent Advances in Mathematics Textbook Research and Development}, publisher={Springer Nature}, author={Rezat, Sebastian}, editor={Qi, Chunxia and Fan, Lianghuo and Liu, Jian and Liu, Qimeng and Dong, Lianchun}, year={2025}, pages={133–136} }
LibreCat
| Files available
| DOI
2025 | Conference Paper | LibreCat-ID: 58227
@inproceedings{Brockmeier_Kruse_Scheytt_2025, place={Dresden}, title={A Mach-Zehnder-Modulator based FMCW Lidar Emulator in C-Band}, booktitle={German Microwave Conference 2025}, author={Brockmeier, Jan and Kruse, Stephan and Scheytt, J. Christoph}, year={2025} }
LibreCat
2025 | Journal Article | LibreCat-ID: 58353 |
@article{Podworny_Biehler_Fleischer_2025, title={Young students’ engagement with data to create decision trees}, DOI={10.1007/s11858-024-01649-w}, journal={ZDM – Mathematics Education}, publisher={Springer Science and Business Media LLC}, author={Podworny, Susanne and Biehler, Rolf and Fleischer, Yannik}, year={2025} }
LibreCat
| DOI
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 54450 |
@article{Mindlin_Beer_Sieger_Heindorf_Cimiano_Esposito_Ngonga Ngomo_2025, title={Beyond One-Shot Explanations: A Systematic Literature Review of Dialogue-Based XAI Approaches}, volume={58}, DOI={10.1007/s10462-024-11007-7}, number={381}, journal={Artificial Intelligence Review}, publisher={Springer}, author={Mindlin, Dimitry and Beer, Fabian and Sieger, Leonie Nora and Heindorf, Stefan and Cimiano, Philipp and Esposito, Elena and Ngonga Ngomo, Axel-Cyrille}, year={2025} }
LibreCat
| DOI
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 59414
@article{Häsel-Weide_Nührenbörger_2025, title={Unterrichtsintegrierte Förderung von mathematischen Basiskompetenzen. Empirische Rekonstruktion interferierender Praktiken der Förderung im Mathematikunterricht der Grundschule}, DOI={ https://doi.org/10.1007/s42278-025-00223-x }, journal={Zeitschrift für Grundschulforschung}, author={Häsel-Weide, Uta and Nührenbörger, M.}, year={2025} }
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59512
@article{Hovemann_Bita_Aldade_von Heißen_Dumitrescu_2025, title={Prompt Engineering im Systems Engineering}, volume={120}, DOI={10.1515/zwf-2024-0139}, number={s1}, journal={Zeitschrift für wirtschaftlichen Fabrikbetrieb}, publisher={Walter de Gruyter GmbH}, author={Hovemann, Aschot and Bita, Isaac Mpidi and Aldade, Abed Alrahman and von Heißen, Oliver and Dumitrescu, Roman}, year={2025}, pages={101–106} }
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59513
@article{Bernijazov_Dumitrescu_Hanke_von Heißen_Kaiser_Tissen_2025, title={AI-Augmented Model-Based Systems Engineering}, volume={120}, DOI={10.1515/zwf-2024-0123}, number={s1}, journal={Zeitschrift für wirtschaftlichen Fabrikbetrieb}, publisher={Walter de Gruyter GmbH}, author={Bernijazov, Ruslan and Dumitrescu, Roman and Hanke, Fabian and von Heißen, Oliver and Kaiser, Lydia and Tissen, Denis}, year={2025}, pages={96–100} }
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59514
@inproceedings{Humpert_Zagatta_Anacker_Dumitrescu_2025, title={Systems Engineering and Validation: A systematic literature review}, DOI={10.1145/3708778.3708793}, booktitle={Proceedings of the 2024 7th International Conference on Computational Intelligence and Intelligent Systems}, publisher={ACM}, author={Humpert, Lynn and Zagatta, Kristin and Anacker, Harald and Dumitrescu, Roman}, year={2025} }
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59532
@article{Knorr_Buchenau_Schlosser_Divkovic_Prina_Meschede_2025, title={Electrification and flexibility of process heat in energy system modelling: A review}, volume={216}, DOI={10.1016/j.rser.2025.115698}, number={115698}, journal={Renewable and Sustainable Energy Reviews}, publisher={Elsevier BV}, author={Knorr, Lukas and Buchenau, N. and Schlosser, Florian and Divkovic, Denis and Prina, M.G. and Meschede, Henning}, year={2025} }
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59622
@article{Fleischer_Biehler_2025, title={Exploring students’ constructions of data-based decision trees after an introductory teaching unit on machine learning}, volume={57}, DOI={10.1007/s11858-025-01663-6}, number={1}, journal={ZDM – Mathematics Education}, publisher={Springer Science and Business Media LLC}, author={Fleischer, Yannik and Biehler, Rolf}, year={2025} }
LibreCat
| DOI
| Download (ext.)
2025 | Mastersthesis | LibreCat-ID: 59624
@book{Showmik_2025, title={Enhancing Blockchain Efficiency via Median Rule}, author={Showmik, Md Jannatul Baki}, year={2025} }
LibreCat
2025 | Preprint | LibreCat-ID: 59664
@article{Jalowy_Kabluchko_Marynych_2025, title={Zeros and exponential profiles of polynomials I: Limit distributions, finite free convolutions and repeated differentiation}, journal={arXiv:2504.11593}, author={Jalowy, Jonas and Kabluchko, Zakhar and Marynych, Alexander}, year={2025} }
LibreCat
| arXiv