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, Sriteja, Fabian Benedikt Schiebel, Eric Bodden, Miao Miao, and Shiyi Wei. “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. https://doi.org/10.1109/saner67736.2026.00114.
LibreCat | DOI
 

2026 | Journal Article | LibreCat-ID: 66838
Kostitsyna, Irina, David Liedtke, and Christian Scheideler. “Distributed Rhombus Formation of Sliding Squares.” Theoretical Computer Science 1085 (2026). https://doi.org/10.1016/j.tcs.2026.116196.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66097
Kononova, Anna V., Niki van Stein, Olaf Mersmann, Thomas Bäck, Thomas Bartz-Beielstein, Tobias Glasmachers, Michael Hellwig, 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, edited by Pablo García-Sánchez, Josefa Díaz lvarez, and Aidan Murphy, 16525:327–344. Lecture Notes in Computer Science. Springer, 2026. https://doi.org/10.1007/978-3-032-23607-4_20.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66095
Skvorc, Urban, Niki van Stein, Moritz Seiler, Britta Grimme, Thomas Bäck, and Heike 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, edited by Pablo García-Sánchez, Josefa Díaz lvarez, and Aidan Murphy, 16525:183–199. Lecture Notes in Computer Science. Springer, 2026. https://doi.org/10.1007/978-3-032-23607-4_12.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 61777
Karaiskos, Georgios, Dorian Rudolph, Johannes Jakob Meyer, Jens Eisert, and Sevag Gharibian. “How Hard Is It to Verify a Classical Shadow?” In International Colloquium on Automata, Languages, and Programming (ICALP), 374:1–23, 2026.
LibreCat | arXiv
 

2026 | Journal Article | LibreCat-ID: 56116
Glöckner, Helge, Erlend Grong, and Alexander Schmeding. “Boundary Values of Diffeomorphisms of Simple Polytopes, and Controllability.” Differential Geometry and Its Applications 104 (2026). https://doi.org/10.1016/j.difgeo.2026.102404.
LibreCat | DOI | arXiv
 

2026 | Journal Article | LibreCat-ID: 66121
Bruns, Julia, Hedwig Gasteiger, Svea Hallemann, and Theresa Schopferer. “Leadership Practices in Implementing Early Mathematics Education as a Curriculum Innovation into Vocational Training of Early Childhood Education.” Research in Mathematics Education, 2026, 1–21. https://doi.org/10.1080/14794802.2026.2689902.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 64909
Khedkar, Mugdha, Michael Schlichtig, and Eric Bodden. “Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View.” In IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2026. https://doi.org/10.1109/SANER67736.2026.00109.
LibreCat | DOI | Download (ext.)
 

2026 | Conference Paper | LibreCat-ID: 66433
Schiebel, Fabian Benedikt, and Eric Bodden. “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding.” In 40th European Conference on Object-Oriented Programming (ECOOP 2026), edited by Robbert Krebbers and Alexandra Silva, 372:23:1–23:28. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026. https://doi.org/10.4230/LIPIcs.ECOOP.2026.23.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66429
Kummita, Sriteja, Fabian Benedikt Schiebel, Eric Bodden, Miao Miao, and Shiyi Wei. “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. https://doi.org/10.1109/saner67736.2026.00114.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66462
Vernholz, Mats, Gabriela Jonas-Ahrend, and Katrin Temmen. “Different Pathways, Shared Challenges: Reflections on Entering Vocational Teaching in  Germany  ,” 2026.
LibreCat
 

2026 | Conference Paper | LibreCat-ID: 66461
Vernholz, Mats, Johannes Schäfers, Gabriela Jonas-Ahrend, and Katrin Temmen. “Shifting Minds or Reinforcing Myths? Empirical Insights into  AI-Related Affective Changes Among Future Technology  Teachers,” 2026.
LibreCat
 

2026 | Conference Paper | LibreCat-ID: 66459
Guberman, Ainat, Gabriela Jonas-Ahrend, Rinat Arvif-Elyashiv, Gal Ben-Yehduah, and Dominik Cyprus. “Exploring (De)Motivating Factors over Time: Perspectives of  Career Change STEM Teachers from Germany and Israel,” 2026.
LibreCat
 

2026 | Conference Paper | LibreCat-ID: 66599 | OA
Beutner, Marc, Sebastian Niklas Koppius, Johannes Schäfers, and Katrin 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 , edited by Katharina Hartwich, Dietmar Heisler, Petra Lippegaus, Michelle Schmökel, Jana Schwede, and Christian Sommer. bwp@ Berufs- und Wirtschaftspädagogik - online, 2026.
LibreCat | Files available | Download (ext.)
 

2026 | Conference Paper | LibreCat-ID: 66610
Stojko, Laura, Eelco Herder, Jannis Strecker-Bischoff, Julia Seitz Sänger, Thomas Neumayr, Enes Yigitbas, and Mirjam Augstein. “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, edited by Wolf-Tilo Balke, Florian Plötzky, Marc Spaniol, Eelco Herder, Lydia Manikonda, Haiming Liu, Luis-Daniel Ibáñez, and Rezvaneh Rezapour, 108–109. ACM, 2026. https://doi.org/10.1145/3795513.3810983.
LibreCat | DOI
 

2026 | Journal Article | LibreCat-ID: 66638 | OA
Todt, Julian, Emiram Kablo, Felix Morsbach, Patricia Arias Cabarcos, and Thorsten Strufe. “‘The City Isn’t Uploading Me to TikTok’: Exploring Privacy Attitudes towards Data Collection in Urban Public Spaces.” Proceedings on Privacy Enhancing Technologies 2026, no. 4 (2026): 7–35. https://doi.org/10.56553/popets-2026-0108.
LibreCat | DOI | Download (ext.)
 

2026 | Conference Paper | LibreCat-ID: 65493 | OA
Kablo, Emiram, Avishan Sharafi, and Patricia Arias Cabarcos. “‘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. https://doi.org/10.1145/3772363.3798346.
LibreCat | DOI | Download (ext.)
 

2026 | Conference Paper | LibreCat-ID: 66631
Gortworst, Bente, Cem Okulmus, Magdalena Ortiz, and Anni-Yasmin Turhan. “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, Carolin, Oliver Ludger Preuß, Jeroen Rook, Francisco Chicano, Darrell Whitley, and Heike 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, edited by Leonardo Trujillo and Ting Hu, 134–142. ACM, 2026. https://doi.org/10.1145/3795095.3805136.
LibreCat | DOI
 

2026 | Special Issue | LibreCat-ID: 66676
Büchter, Theresa, Andreas Eichler, and Karin Binder, eds. Simulationen in Der MINT-Bildung - Impulse Für Den Mathematikunterricht. Der Mathematikunterricht. Vol. 72. Friedrich Verlag, 2026.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed