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
Kummita S, Schiebel FB, Bodden E, Miao M, Wei S. Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study. In: 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE; 2026. doi:10.1109/saner67736.2026.00114
LibreCat
| DOI
2026 | Journal Article | LibreCat-ID: 66838
Kostitsyna I, Liedtke D, Scheideler C. Distributed rhombus formation of sliding squares. Theoretical Computer Science. 2026;1085. doi:10.1016/j.tcs.2026.116196
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66097
Kononova AV, van Stein N, Mersmann O, et al. Benchmarking that Matters: Rethinking Benchmarking in Continuous Optimisation for Practical Impact. In: García-Sánchez P, lvarez JD, Murphy A, 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. Vol 16525. Lecture Notes in Computer Science. Springer; 2026:327–344. doi:10.1007/978-3-032-23607-4_20
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66095
Skvorc U, van Stein N, Seiler M, Grimme B, Bäck T, Trautmann H. LLM Driven Design of Continuous Optimization Problems with Controllable High-Level Properties. In: García-Sánchez P, lvarez JD, Murphy A, 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. Vol 16525. Lecture Notes in Computer Science. Springer; 2026:183–199. doi:10.1007/978-3-032-23607-4_12
LibreCat
| DOI
2026 | Journal Article | LibreCat-ID: 56116
Glöckner H, Grong E, Schmeding A. Boundary values of diffeomorphisms of simple polytopes, and controllability. Differential Geometry and its Applications. 2026;104. doi:10.1016/j.difgeo.2026.102404
LibreCat
| DOI
| arXiv
2026 | Journal Article | LibreCat-ID: 66121
Bruns J, Gasteiger H, Hallemann S, Schopferer T. Leadership practices in implementing early mathematics education as a curriculum innovation into vocational training of early childhood education. Research in Mathematics Education. Published online 2026:1-21. doi:10.1080/14794802.2026.2689902
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 64909
Khedkar M, Schlichtig M, Bodden E. Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View. In: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). ; 2026. doi:10.1109/SANER67736.2026.00109
LibreCat
| DOI
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 66433
Schiebel FB, Bodden E. Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding. In: Krebbers R, Silva A, eds. 40th European Conference on Object-Oriented Programming (ECOOP 2026). Vol 372. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2026:23:1–23:28. doi:10.4230/LIPIcs.ECOOP.2026.23
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66429
Kummita S, Schiebel FB, Bodden E, Miao M, Wei S. Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study. In: 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE; 2026. doi:10.1109/saner67736.2026.00114
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66462
Vernholz M, Jonas-Ahrend G, Temmen K. Different Pathways, Shared Challenges: Reflections on Entering Vocational Teaching in Germany . In: ; 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66461
Vernholz M, Schäfers J, Jonas-Ahrend G, Temmen K. Shifting Minds or Reinforcing Myths? Empirical Insights into AI-related Affective Changes Among Future Technology Teachers. In: ; 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66459
Guberman A, Jonas-Ahrend G, Arvif-Elyashiv R, Ben-Yehduah G, Cyprus D. Exploring (De)Motivating Factors over Time: Perspectives of Career Change STEM Teachers from Germany and Israel. In: ; 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66599 | 
Beutner M, Koppius SN, Schäfers J, Temmen K. 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: Hartwich K, Heisler D, Lippegaus P, Schmökel M, Schwede J, Sommer C, eds. bwp@ Spezial HT2025: Nachhaltig – Digital – Chancengerecht. Zukunftsszenarien von Arbeit, Bildung und Beruf . bwp@ Berufs- und Wirtschaftspädagogik - online; 2026.
LibreCat
| Files available
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 66610
Stojko L, Herder E, Strecker-Bischoff J, et al. ABIS 2026: The Effects of the Adaptive Web on Society. In: Balke W-T, Plötzky F, Spaniol M, et al., eds. Companion Publication of the 2026 18th ACM Web Science Conference, WebSci Companion 2026, Braunschweig, Germany, May 26-29, 2026. ACM; 2026:108–109. doi:10.1145/3795513.3810983
LibreCat
| DOI
2026 | Journal Article | LibreCat-ID: 66638 |
Todt J, Kablo E, Morsbach F, Arias Cabarcos P, Strufe T. “The city isn’t uploading me to TikTok”: Exploring Privacy Attitudes towards Data Collection in Urban Public Spaces. Proceedings on Privacy Enhancing Technologies. 2026;2026(4):7-35. doi:10.56553/popets-2026-0108
LibreCat
| DOI
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 65493 |
Kablo E, Sharafi A, Arias Cabarcos P. “I store some passwords in WhatsApp”: Understanding User Experiences and Usability Challenges of Password Managers in Virtual Reality. In: Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems. ACM; 2026. doi:10.1145/3772363.3798346
LibreCat
| DOI
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 66631
Gortworst B, Okulmus C, Ortiz M, Turhan A-Y. Shapes from Examples: Foundations of Shape Learning in Recursive SHACL. In: Proceedings of the 25th International Semantic Web Conference (ISWC 2026). ; 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66670
Mensendiek C, Preuß OL, Rook J, Chicano F, Whitley D, Trautmann H. Digging to the Ground Truth: Solving Multi-objective Gray-Box Optimization Problems through Hyperplane Elimination. In: Trujillo L, Hu T, eds. Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2026, Centro Internacional de Convenciones CIC-ANDE, San Jose, Costa Rica, July 13-17, 2026. ACM; 2026:134–142. doi:10.1145/3795095.3805136
LibreCat
| DOI
2026 | Special Issue | LibreCat-ID: 66676
Büchter T, Eichler A, Binder K, eds. Simulationen in Der MINT-Bildung - Impulse Für Den Mathematikunterricht. Vol 72. Friedrich Verlag; 2026:2-5.
LibreCat