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
@inproceedings{Kummita_Schiebel_Bodden_Miao_Wei_2026, title={Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study}, DOI={10.1109/saner67736.2026.00114}, booktitle={2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, publisher={IEEE}, author={Kummita, Sriteja and Schiebel, Fabian Benedikt and Bodden, Eric and Miao, Miao and Wei, Shiyi}, year={2026} }
LibreCat
| DOI
2026 | Journal Article | LibreCat-ID: 66838
@article{Kostitsyna_Liedtke_Scheideler_2026, title={Distributed rhombus formation of sliding squares}, volume={1085}, DOI={10.1016/j.tcs.2026.116196}, number={116196}, journal={Theoretical Computer Science}, publisher={Elsevier BV}, author={Kostitsyna, Irina and Liedtke, David and Scheideler, Christian}, year={2026} }
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66097
@inproceedings{Kononova_van Stein_Mersmann_Bäck_Bartz-Beielstein_Glasmachers_Hellwig_Krey_Kudela_Naujoks_et al._2026, series={Lecture Notes in Computer Science}, title={Benchmarking that Matters: Rethinking Benchmarking in Continuous Optimisation for Practical Impact}, volume={16525}, DOI={10.1007/978-3-032-23607-4_20}, booktitle={Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II}, publisher={Springer}, author={Kononova, Anna V. and van Stein, Niki and Mersmann, Olaf and Bäck, Thomas and Bartz-Beielstein, Thomas and Glasmachers, Tobias and Hellwig, Michael and Krey, Sebastian and Kudela, Jakub and Naujoks, Boris and et al.}, editor={García-Sánchez, Pablo and lvarez, Josefa Díaz and Murphy, Aidan}, year={2026}, pages={327–344}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66095
@inproceedings{Skvorc_van Stein_Seiler_Grimme_Bäck_Trautmann_2026, series={Lecture Notes in Computer Science}, title={LLM Driven Design of Continuous Optimization Problems with Controllable High-Level Properties}, volume={16525}, DOI={10.1007/978-3-032-23607-4_12}, booktitle={Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II}, publisher={Springer}, author={Skvorc, Urban and van Stein, Niki and Seiler, Moritz and Grimme, Britta and Bäck, Thomas and Trautmann, Heike}, editor={García-Sánchez, Pablo and lvarez, Josefa Díaz and Murphy, Aidan}, year={2026}, pages={183–199}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 61777
@inproceedings{Karaiskos_Rudolph_Meyer_Eisert_Gharibian_2026, title={How hard is it to verify a classical shadow?}, volume={374}, number={123}, booktitle={International Colloquium on Automata, Languages, and Programming (ICALP)}, author={Karaiskos, Georgios and Rudolph, Dorian and Meyer, Johannes Jakob and Eisert, Jens and Gharibian, Sevag}, year={2026}, pages={1–23} }
LibreCat
| arXiv
2026 | Journal Article | LibreCat-ID: 56116
@article{Glöckner_Grong_Schmeding_2026, title={Boundary values of diffeomorphisms of simple polytopes, and controllability}, volume={104}, DOI={10.1016/j.difgeo.2026.102404}, number={102404}, journal={Differential Geometry and its Applications}, author={Glöckner, Helge and Grong, Erlend and Schmeding, Alexander}, year={2026} }
LibreCat
| DOI
| arXiv
2026 | Journal Article | LibreCat-ID: 66121
@article{Bruns_Gasteiger_Hallemann_Schopferer_2026, title={Leadership practices in implementing early mathematics education as a curriculum innovation into vocational training of early childhood education}, DOI={10.1080/14794802.2026.2689902}, journal={Research in Mathematics Education}, publisher={Informa UK Limited}, author={Bruns, Julia and Gasteiger, Hedwig and Hallemann, Svea and Schopferer, Theresa}, year={2026}, pages={1–21} }
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 64909
@inproceedings{Khedkar_Schlichtig_Bodden_2026, title={Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View}, DOI={10.1109/SANER67736.2026.00109}, booktitle={IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, author={Khedkar, Mugdha and Schlichtig, Michael and Bodden, Eric}, year={2026} }
LibreCat
| DOI
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 66433
@inproceedings{Schiebel_Bodden_2026, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding}, volume={372}, DOI={10.4230/LIPIcs.ECOOP.2026.23}, booktitle={40th European Conference on Object-Oriented Programming (ECOOP 2026)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Schiebel, Fabian Benedikt and Bodden, Eric}, editor={Krebbers, Robbert and Silva, Alexandra}, year={2026}, pages={23:1–23:28}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66429
@inproceedings{Kummita_Schiebel_Bodden_Miao_Wei_2026, title={Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study}, DOI={10.1109/saner67736.2026.00114}, booktitle={2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, publisher={IEEE}, author={Kummita, Sriteja and Schiebel, Fabian Benedikt and Bodden, Eric and Miao, Miao and Wei, Shiyi}, year={2026} }
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66462
@inproceedings{Vernholz_Jonas-Ahrend_Temmen_2026, title={Different Pathways, Shared Challenges: Reflections on Entering Vocational Teaching in Germany }, author={Vernholz, Mats and Jonas-Ahrend, Gabriela and Temmen, Katrin}, year={2026} }
LibreCat
2026 | Conference Paper | LibreCat-ID: 66461
@inproceedings{Vernholz_Schäfers_Jonas-Ahrend_Temmen_2026, title={Shifting Minds or Reinforcing Myths? Empirical Insights into AI-related Affective Changes Among Future Technology Teachers}, author={Vernholz, Mats and Schäfers, Johannes and Jonas-Ahrend, Gabriela and Temmen, Katrin}, year={2026} }
LibreCat
2026 | Conference Paper | LibreCat-ID: 66459
@inproceedings{Guberman_Jonas-Ahrend_Arvif-Elyashiv_Ben-Yehduah_Cyprus_2026, title={Exploring (De)Motivating Factors over Time: Perspectives of Career Change STEM Teachers from Germany and Israel}, author={Guberman, Ainat and Jonas-Ahrend, Gabriela and Arvif-Elyashiv, Rinat and Ben-Yehduah, Gal and Cyprus, Dominik}, year={2026} }
LibreCat
2026 | Conference Paper | LibreCat-ID: 66599 | 
@inproceedings{Beutner_Koppius_Schäfers_Temmen_2026, title={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 }, booktitle={bwp@ Spezial HT2025: Nachhaltig – Digital – Chancengerecht. Zukunftsszenarien von Arbeit, Bildung und Beruf }, publisher={bwp@ Berufs- und Wirtschaftspädagogik - online}, author={Beutner, Marc and Koppius, Sebastian Niklas and Schäfers, Johannes and Temmen, Katrin}, editor={Hartwich, Katharina and Heisler, Dietmar and Lippegaus, Petra and Schmökel, Michelle and Schwede, Jana and Sommer, Christian}, year={2026} }
LibreCat
| Files available
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 66610
@inproceedings{Stojko_Herder_Strecker-Bischoff_Sänger_Neumayr_Yigitbas_Augstein_2026, title={ABIS 2026: The Effects of the Adaptive Web on Society}, DOI={10.1145/3795513.3810983}, booktitle={Companion Publication of the 2026 18th ACM Web Science Conference, WebSci Companion 2026, Braunschweig, Germany, May 26-29, 2026}, publisher={ACM}, author={Stojko, Laura and Herder, Eelco and Strecker-Bischoff, Jannis and Sänger, Julia Seitz and Neumayr, Thomas and Yigitbas, Enes and Augstein, Mirjam}, editor={Balke, Wolf-Tilo and Plötzky, Florian and Spaniol, Marc and Herder, Eelco and Manikonda, Lydia and Liu, Haiming and Ibáñez, Luis-Daniel and Rezapour, Rezvaneh}, year={2026}, pages={108–109} }
LibreCat
| DOI
2026 | Journal Article | LibreCat-ID: 66638 |
@article{Todt_Kablo_Morsbach_Arias Cabarcos_Strufe_2026, title={“The city isn’t uploading me to TikTok”: Exploring Privacy Attitudes towards Data Collection in Urban Public Spaces}, volume={2026}, DOI={10.56553/popets-2026-0108}, number={4}, journal={Proceedings on Privacy Enhancing Technologies}, publisher={Privacy Enhancing Technologies Symposium Advisory Board}, author={Todt, Julian and Kablo, Emiram and Morsbach, Felix and Arias Cabarcos, Patricia and Strufe, Thorsten}, year={2026}, pages={7–35} }
LibreCat
| DOI
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 65493 |
@inproceedings{Kablo_Sharafi_Arias Cabarcos_2026, title={“I store some passwords in WhatsApp”: Understanding User Experiences and Usability Challenges of Password Managers in Virtual Reality}, DOI={10.1145/3772363.3798346}, booktitle={Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems}, publisher={ACM}, author={Kablo, Emiram and Sharafi, Avishan and Arias Cabarcos, Patricia}, year={2026} }
LibreCat
| DOI
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 66631
@inproceedings{Gortworst_Okulmus_Ortiz_Turhan_2026, title={Shapes from Examples: Foundations of Shape Learning in Recursive SHACL}, booktitle={Proceedings of the 25th International Semantic Web Conference (ISWC 2026)}, author={Gortworst, Bente and Okulmus, Cem and Ortiz, Magdalena and Turhan, Anni-Yasmin}, year={2026} }
LibreCat
2026 | Conference Paper | LibreCat-ID: 66670
@inproceedings{Mensendiek_Preuß_Rook_Chicano_Whitley_Trautmann_2026, title={Digging to the Ground Truth: Solving Multi-objective Gray-Box Optimization Problems through Hyperplane Elimination}, DOI={10.1145/3795095.3805136}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2026, Centro Internacional de Convenciones CIC-ANDE, San Jose, Costa Rica, July 13-17, 2026}, publisher={ACM}, author={Mensendiek, Carolin and Preuß, Oliver Ludger and Rook, Jeroen and Chicano, Francisco and Whitley, Darrell and Trautmann, Heike}, editor={Trujillo, Leonardo and Hu, Ting}, year={2026}, pages={134–142} }
LibreCat
| DOI
2026 | Special Issue | LibreCat-ID: 66676
@book{Büchter_Eichler_Binder_2026, title={Simulationen in der MINT-Bildung - Impulse für den Mathematikunterricht}, volume={72}, number={3}, journal={Der Mathematikunterricht}, publisher={Friedrich Verlag}, year={2026}, pages={2–5} }
LibreCat