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.
11314 Publications
2026 | Conference Paper | LibreCat-ID: 66833
S. Kummita, F. B. Schiebel, E. Bodden, M. Miao, and S. Wei, “Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study,” 2026, doi: 10.1109/saner67736.2026.00114.
LibreCat
| DOI
2026 | Journal Article | LibreCat-ID: 66838
I. Kostitsyna, D. Liedtke, and C. Scheideler, “Distributed rhombus formation of sliding squares,” Theoretical Computer Science, vol. 1085, Art. no. 116196, 2026, doi: 10.1016/j.tcs.2026.116196.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66097
A. V. Kononova et al., “Benchmarking that Matters: Rethinking Benchmarking in Continuous Optimisation for Practical Impact,” in Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II, 2026, vol. 16525, pp. 327–344, doi: 10.1007/978-3-032-23607-4_20.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66095
U. Skvorc, N. van Stein, M. Seiler, B. Grimme, T. Bäck, and H. Trautmann, “LLM Driven Design of Continuous Optimization Problems with Controllable High-Level Properties,” in Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II, 2026, vol. 16525, pp. 183–199, doi: 10.1007/978-3-032-23607-4_12.
LibreCat
| DOI
2026 | Journal Article | LibreCat-ID: 56116
H. Glöckner, E. Grong, and A. Schmeding, “Boundary values of diffeomorphisms of simple polytopes, and controllability,” Differential Geometry and its Applications, vol. 104, Art. no. 102404, 2026, doi: 10.1016/j.difgeo.2026.102404.
LibreCat
| DOI
| arXiv
2026 | Journal Article | LibreCat-ID: 66121
J. Bruns, H. Gasteiger, S. Hallemann, and T. Schopferer, “Leadership practices in implementing early mathematics education as a curriculum innovation into vocational training of early childhood education,” Research in Mathematics Education, pp. 1–21, 2026, doi: 10.1080/14794802.2026.2689902.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 64909
M. Khedkar, M. Schlichtig, and E. Bodden, “Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View,” 2026, doi: 10.1109/SANER67736.2026.00109.
LibreCat
| DOI
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 66433
F. B. Schiebel and E. Bodden, “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding,” in 40th European Conference on Object-Oriented Programming (ECOOP 2026), 2026, vol. 372, p. 23:1–23:28, doi: 10.4230/LIPIcs.ECOOP.2026.23.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66429
S. Kummita, F. B. Schiebel, E. Bodden, M. Miao, and S. Wei, “Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study,” 2026, doi: 10.1109/saner67736.2026.00114.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66462
M. Vernholz, G. Jonas-Ahrend, and K. Temmen, “Different Pathways, Shared Challenges: Reflections on Entering Vocational Teaching in Germany ,” presented at the 19th Stockholm International Conference of Research on Vocational Education and Training, Boat Viking Glory, 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66461
M. Vernholz, J. Schäfers, G. Jonas-Ahrend, and K. Temmen, “Shifting Minds or Reinforcing Myths? Empirical Insights into AI-related Affective Changes Among Future Technology Teachers,” presented at the AERA American Educational Research Association, 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66459
A. Guberman, G. Jonas-Ahrend, R. Arvif-Elyashiv, G. Ben-Yehduah, and D. Cyprus, “Exploring (De)Motivating Factors over Time: Perspectives of Career Change STEM Teachers from Germany and Israel,” presented at the AERA American Educational Research Association, Los Angeles, CA, USA, 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66599 | 
M. Beutner, S. N. Koppius, J. Schäfers, and K. Temmen, “Die Ausbildung von morgen gestalten: mit 5G und für 5G. Unterrichtliche Anwendungsbeispiele für das Lernen mit 5G und für 5G an kaufmännischen und gewerblich-technischen Berufskollegs aus Ostwestfalen-Lippe ,” in bwp@ Spezial HT2025: Nachhaltig – Digital – Chancengerecht. Zukunftsszenarien von Arbeit, Bildung und Beruf , Paderborn, 2026.
LibreCat
| Files available
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 66610
L. Stojko et al., “ABIS 2026: The Effects of the Adaptive Web on Society,” in Companion Publication of the 2026 18th ACM Web Science Conference, WebSci Companion 2026, Braunschweig, Germany, May 26-29, 2026, 2026, pp. 108–109, doi: 10.1145/3795513.3810983.
LibreCat
| DOI
2026 | Journal Article | LibreCat-ID: 66638 |
J. Todt, E. Kablo, F. Morsbach, P. Arias Cabarcos, and T. Strufe, “‘The city isn’t uploading me to TikTok’: Exploring Privacy Attitudes towards Data Collection in Urban Public Spaces,” Proceedings on Privacy Enhancing Technologies, vol. 2026, no. 4, pp. 7–35, 2026, doi: 10.56553/popets-2026-0108.
LibreCat
| DOI
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 65493 |
E. Kablo, A. Sharafi, and P. Arias Cabarcos, “‘I store some passwords in WhatsApp’: Understanding User Experiences and Usability Challenges of Password Managers in Virtual Reality,” 2026, doi: 10.1145/3772363.3798346.
LibreCat
| DOI
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 66631
B. Gortworst, C. Okulmus, M. Ortiz, and A.-Y. Turhan, “Shapes from Examples: Foundations of Shape Learning in Recursive SHACL,” 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66670
C. Mensendiek, O. L. Preuß, J. Rook, F. Chicano, D. Whitley, and H. Trautmann, “Digging to the Ground Truth: Solving Multi-objective Gray-Box Optimization Problems through Hyperplane Elimination,” in Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2026, Centro Internacional de Convenciones CIC-ANDE, San Jose, Costa Rica, July 13-17, 2026, 2026, pp. 134–142, doi: 10.1145/3795095.3805136.
LibreCat
| DOI
2026 | Special Issue | LibreCat-ID: 66676
T. Büchter, A. Eichler, and K. Binder, Eds., Simulationen in der MINT-Bildung - Impulse für den Mathematikunterricht, vol. 72, no. 3. Friedrich Verlag, 2026, pp. 2–5.
LibreCat