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.

11272 Publications


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
 

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
 

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
 

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
 

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
 

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.)
 

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
 

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
 

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
 

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
 

2026 | Journal Article | LibreCat-ID: 60491 | OA
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.)
 

2025 | Journal Article | LibreCat-ID: 32099 | OA
Wave Front Sets of Nilpotent Lie Group Representations
T. Weich, J. Budde, Journal of Functional Analysis 288 (2025).
LibreCat | Files available | DOI
 

2025 | Journal Article | LibreCat-ID: 56960 LibreCat | DOI
 

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
 

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
 

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
 

2025 | Journal Article | LibreCat-ID: 58353 | OA
Young students’ engagement with data to create decision trees
S. Podworny, R. Biehler, Y. Fleischer, ZDM – Mathematics Education (2025).
LibreCat | DOI | Download (ext.)
 

2025 | Journal Article | LibreCat-ID: 54450 | OA
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.)
 

2025 | Journal Article | LibreCat-ID: 59414 LibreCat | DOI
 

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
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed