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
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.
2026 | Journal Article | LibreCat-ID: 66838
Distributed rhombus formation of sliding squares
I. Kostitsyna, D. Liedtke, C. Scheideler, Theoretical Computer Science 1085 (2026).
LibreCat
| DOI
I. Kostitsyna, D. Liedtke, C. Scheideler, Theoretical Computer Science 1085 (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.
2026 | Conference Paper | LibreCat-ID: 66462
Different Pathways, Shared Challenges: Reflections on Entering Vocational Teaching in Germany
M. Vernholz, G. Jonas-Ahrend, K. Temmen, in: 2026.
LibreCat
M. Vernholz, G. Jonas-Ahrend, K. Temmen, in: 2026.
2026 | Conference Paper | LibreCat-ID: 66461
Shifting Minds or Reinforcing Myths? Empirical Insights into AI-related Affective Changes Among Future Technology Teachers
M. Vernholz, J. Schäfers, G. Jonas-Ahrend, K. Temmen, in: 2026.
LibreCat
M. Vernholz, J. Schäfers, G. Jonas-Ahrend, K. Temmen, in: 2026.
2026 | Conference Paper | LibreCat-ID: 66459
Exploring (De)Motivating Factors over Time: Perspectives of Career Change STEM Teachers from Germany and Israel
A. Guberman, G. Jonas-Ahrend, R. Arvif-Elyashiv, G. Ben-Yehduah, D. Cyprus, in: 2026.
LibreCat
A. Guberman, G. Jonas-Ahrend, R. Arvif-Elyashiv, G. Ben-Yehduah, D. Cyprus, in: 2026.
2026 | Conference Paper | LibreCat-ID: 66599 | 
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
M. Beutner, S.N. Koppius, J. Schäfers, K. Temmen, 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, 2026.
LibreCat
| Files available
| Download (ext.)
M. Beutner, S.N. Koppius, J. Schäfers, K. Temmen, 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, 2026.
2026 | Conference Paper | LibreCat-ID: 66610
ABIS 2026: The Effects of the Adaptive Web on Society
L. Stojko, E. Herder, J. Strecker-Bischoff, J.S. Sänger, T. Neumayr, E. Yigitbas, M. Augstein, 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, ACM, 2026, pp. 108–109.
LibreCat
| DOI
L. Stojko, E. Herder, J. Strecker-Bischoff, J.S. Sänger, T. Neumayr, E. Yigitbas, M. Augstein, 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, ACM, 2026, pp. 108–109.
2026 | Journal Article | LibreCat-ID: 66638 |
“The city isn’t uploading me to TikTok”: Exploring Privacy Attitudes towards Data Collection in Urban Public Spaces
J. Todt, E. Kablo, F. Morsbach, P. Arias Cabarcos, T. Strufe, Proceedings on Privacy Enhancing Technologies 2026 (2026) 7–35.
LibreCat
| DOI
| Download (ext.)
J. Todt, E. Kablo, F. Morsbach, P. Arias Cabarcos, T. Strufe, Proceedings on Privacy Enhancing Technologies 2026 (2026) 7–35.
2026 | Conference Paper | LibreCat-ID: 65493 |
"I store some passwords in WhatsApp": Understanding User Experiences and Usability Challenges of Password Managers in Virtual Reality
E. Kablo, A. Sharafi, P. Arias Cabarcos, in: Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems, ACM, 2026.
LibreCat
| DOI
| Download (ext.)
E. Kablo, A. Sharafi, P. Arias Cabarcos, in: Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems, ACM, 2026.
2026 | Conference Paper | LibreCat-ID: 66631
Shapes from Examples: Foundations of Shape Learning in Recursive SHACL
B. Gortworst, C. Okulmus, M. Ortiz, A.-Y. Turhan, in: Proceedings of the 25th International Semantic Web Conference (ISWC 2026), 2026.
LibreCat
B. Gortworst, C. Okulmus, M. Ortiz, A.-Y. Turhan, in: Proceedings of the 25th International Semantic Web Conference (ISWC 2026), 2026.
2026 | Conference Paper | LibreCat-ID: 66670
Digging to the Ground Truth: Solving Multi-objective Gray-Box Optimization Problems through Hyperplane Elimination
C. Mensendiek, O.L. Preuß, J. Rook, F. Chicano, D. Whitley, H. Trautmann, 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, ACM, 2026, pp. 134–142.
LibreCat
| DOI
C. Mensendiek, O.L. Preuß, J. Rook, F. Chicano, D. Whitley, H. Trautmann, 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, ACM, 2026, pp. 134–142.
2026 | Special Issue | LibreCat-ID: 66676
Simulationen in der MINT-Bildung - Impulse für den Mathematikunterricht
T. Büchter, A. Eichler, K. Binder, eds., Simulationen in Der MINT-Bildung - Impulse Für Den Mathematikunterricht, Friedrich Verlag, 2026.
LibreCat
T. Büchter, A. Eichler, K. Binder, eds., Simulationen in Der MINT-Bildung - Impulse Für Den Mathematikunterricht, Friedrich Verlag, 2026.