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.

11313 Publications


2026 | Conference Paper | LibreCat-ID: 65595
Hannemann, Kai Arne, Lars Luchterhandt, Wolfgang Müller, Markus Ulbricht, Li Lu, and J. Christoph Scheytt. “TETRISC on Rocket Chip: A Scalable and Adaptive RISC-V Multicore Architecture.” In 29. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2026), 2026.
LibreCat
 

2026 | Conference Paper | LibreCat-ID: 66603
Dou, Jinfeng, Thorsten Götte, Henning Hillebrandt, Christian Scheideler, and Julian Werthmann. “Fast Distributed Computation of Compact Routing Schemes.” In Lecture Notes in Computer Science. Cham: Springer Nature Switzerland, 2026. https://doi.org/10.1007/978-3-032-26465-7_19.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66602
Augustine, John, Henning Hillebrandt, Manish Kumar, Christian Scheideler, and Julian Werthmann. “Supervised Distributed Computing: Efficiency and Robustness under a Majority of Adversarial Workers.” In Proceedings of the ACM Symposium on Principles of Distributed Computing. ACM, 2026. https://doi.org/10.1145/3796701.3815939.
LibreCat | DOI
 

2026 | Conference Abstract | LibreCat-ID: 66604
Friesen, Olga, Jonas Hölscher, Carsten Spieker, Jens Förstner, and Leander Claes. “Quantitative Modelling of Dynamic Nonlinearity in Piezoelectric Components,” 2026.
LibreCat
 

2026 | Preprint | LibreCat-ID: 66642
Campbell, Andrew, and Jonas Jalowy. “Pólya--Schur Problems and Free Probability.” ArXiv:2605.31356, 2026.
LibreCat | arXiv
 

2026 | Journal Article | LibreCat-ID: 66641
Jalowy, Jonas, and Hanna Stange. “Box-Covariances of Hyperuniform Point Processes.” Stochastic Processes and Their Applications 199 (2026). https://doi.org/10.1016/j.spa.2026.104996.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66687
Krings, Sarah Claudia, Enes Yigitbas, and Stefan Sauer. “Perspectives on Privacy and Security in Collaborative AR - Insights from a Scoping Review and an Expert Interview Study.” In Blending Experiences in Interaction Design, edited by Cristiano Maciel, Davide Lucio Spano, Carmelo Ardito, André Freire, and Raquel Prates, 253–276. Cham: Springer Nature Switzerland, 2026.
LibreCat
 

2026 | Journal Article | LibreCat-ID: 66688
Wüppelmann, Dennis, and Enes Yigitbas. “SecCityVR: Visualization and Collaborative Exploration of Software Vulnerabilities in Virtual Reality.” GI - Software Engineering , 2026. https://doi.org/10.18420/se2026_53.
LibreCat | DOI
 

2026 | Preprint | LibreCat-ID: 66731
Kiermaier, Michael, and Lukas-André Dominik Klawuhn. “Intersection Numbers for Designs in Regular Semilattices,” 2026.
LibreCat | arXiv
 

2026 | Conference Paper | LibreCat-ID: 66832
Tahir, Faiza, Ubaid Ullah, and Eric Bodden. “Trustworthy AI: Operationalizing Responsibility in Lifecycle-Aware AI Threat Modeling through RACI.” In Proceedings of the 21st International Conference on Software Technologies. SCITEPRESS - Science and Technology Publications, 2026. https://doi.org/10.5220/0015000700004088.
LibreCat | DOI
 

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
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed