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