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.
11273 Publications
2026 | Conference Paper | LibreCat-ID: 66439
Epistemic Programming as a Scientific Field: Building a Community of Practice and an Interaction-Based Framework
S. Hüsing, L.H. Musaeus, M.E. Caspersen, C. Schulte, E. Barendsen, N. Grgurina, M. Hauswirth, V. Lonati, M. Mani, M. Monga, H. Nobles, S. Reckinger, D.W. Silvia, S. Sparmann, in: Proceedings of the 31st ACM Conference on Innovation and Technology in Computer Science Education V. 2, ACM, 2026.
LibreCat
| DOI
S. Hüsing, L.H. Musaeus, M.E. Caspersen, C. Schulte, E. Barendsen, N. Grgurina, M. Hauswirth, V. Lonati, M. Mani, M. Monga, H. Nobles, S. Reckinger, D.W. Silvia, S. Sparmann, in: Proceedings of the 31st ACM Conference on Innovation and Technology in Computer Science Education V. 2, ACM, 2026.
2026 | Journal Article | LibreCat-ID: 60491 | 
On the association scheme of perfect matchings and their designs
L.-A.D. Klawuhn, J. Bamberg, Algebraic Combinatorics 9 (2026) 789–809.
LibreCat
| DOI
| Download (ext.)
L.-A.D. Klawuhn, J. Bamberg, Algebraic Combinatorics 9 (2026) 789–809.
2026 | Misc | LibreCat-ID: 66436
Visualisierung von Schallausbreitungsphänomenen mittels Schlierentechnik
K. Dören, T. Hetkämper, Visualisierung von Schallausbreitungsphänomenen Mittels Schlierentechnik, Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2026.
LibreCat
K. Dören, T. Hetkämper, Visualisierung von Schallausbreitungsphänomenen Mittels Schlierentechnik, Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2026.
2026 | Misc | LibreCat-ID: 66434
Effiziente Simulation nichtlinearer, elastodynamischer Prozesse
J. Hölscher, Effiziente Simulation Nichtlinearer, Elastodynamischer Prozesse, Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2026.
LibreCat
J. Hölscher, Effiziente Simulation Nichtlinearer, Elastodynamischer Prozesse, Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2026.
2026 | Conference Paper | LibreCat-ID: 66097
Benchmarking that Matters: Rethinking Benchmarking in Continuous Optimisation for Practical Impact
A.V. Kononova, N. van Stein, O. Mersmann, T. Bäck, T. Bartz-Beielstein, T. Glasmachers, M. Hellwig, S. Krey, J. Kudela, B. Naujoks, L. Papenmeier, E. Raponi, Q. Renau, J. Rook, L. Schäpermeier, D. Vermetten, D. Zaharie, in: P. García-Sánchez, J.D. lvarez, A. Murphy (Eds.), Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II, Springer, 2026, pp. 327–344.
LibreCat
| DOI
A.V. Kononova, N. van Stein, O. Mersmann, T. Bäck, T. Bartz-Beielstein, T. Glasmachers, M. Hellwig, S. Krey, J. Kudela, B. Naujoks, L. Papenmeier, E. Raponi, Q. Renau, J. Rook, L. Schäpermeier, D. Vermetten, D. Zaharie, in: P. García-Sánchez, J.D. lvarez, A. Murphy (Eds.), Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II, Springer, 2026, pp. 327–344.
2026 | Conference Paper | LibreCat-ID: 66095
LLM Driven Design of Continuous Optimization Problems with Controllable High-Level Properties
U. Skvorc, N. van Stein, M. Seiler, B. Grimme, T. Bäck, H. Trautmann, in: P. García-Sánchez, J.D. lvarez, A. Murphy (Eds.), Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II, Springer, 2026, pp. 183–199.
LibreCat
| DOI
U. Skvorc, N. van Stein, M. Seiler, B. Grimme, T. Bäck, H. Trautmann, in: P. García-Sánchez, J.D. lvarez, A. Murphy (Eds.), Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II, Springer, 2026, pp. 183–199.
2026 | Conference Paper | LibreCat-ID: 61777
How hard is it to verify a classical shadow?
G. Karaiskos, D. Rudolph, J.J. Meyer, J. Eisert, S. Gharibian, in: International Colloquium on Automata, Languages, and Programming (ICALP), 2026, pp. 1–23.
LibreCat
| arXiv
G. Karaiskos, D. Rudolph, J.J. Meyer, J. Eisert, S. Gharibian, in: International Colloquium on Automata, Languages, and Programming (ICALP), 2026, pp. 1–23.
2026 | Journal Article | LibreCat-ID: 56116
Boundary values of diffeomorphisms of simple polytopes, and controllability
H. Glöckner, E. Grong, A. Schmeding, Differential Geometry and Its Applications 104 (2026).
LibreCat
| DOI
| arXiv
H. Glöckner, E. Grong, A. Schmeding, Differential Geometry and Its Applications 104 (2026).
2026 | Journal Article | LibreCat-ID: 66121
Leadership practices in implementing early mathematics education as a curriculum innovation into vocational training of early childhood education
J. Bruns, H. Gasteiger, S. Hallemann, T. Schopferer, Research in Mathematics Education (2026) 1–21.
LibreCat
| DOI
J. Bruns, H. Gasteiger, S. Hallemann, T. Schopferer, Research in Mathematics Education (2026) 1–21.
2026 | Conference Paper | LibreCat-ID: 64909
Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View
M. Khedkar, M. Schlichtig, E. Bodden, in: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2026.
LibreCat
| DOI
| Download (ext.)
M. Khedkar, M. Schlichtig, E. Bodden, in: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2026.
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.
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).