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
TETRISC on Rocket Chip: A Scalable and Adaptive RISC-V Multicore Architecture
K.A. Hannemann, L. Luchterhandt, W. Müller, M. Ulbricht, L. Lu, J.C. Scheytt, in: 29. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2026), 2026.
LibreCat
K.A. Hannemann, L. Luchterhandt, W. Müller, M. Ulbricht, L. Lu, J.C. Scheytt, in: 29. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2026), 2026.
2026 | Conference Paper | LibreCat-ID: 66603
Fast Distributed Computation of Compact Routing Schemes
J. Dou, T. Götte, H. Hillebrandt, C. Scheideler, J. Werthmann, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2026.
LibreCat
| DOI
J. Dou, T. Götte, H. Hillebrandt, C. Scheideler, J. Werthmann, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2026.
2026 | Conference Paper | LibreCat-ID: 66602
Supervised Distributed Computing: Efficiency and Robustness under a Majority of Adversarial Workers
J. Augustine, H. Hillebrandt, M. Kumar, C. Scheideler, J. Werthmann, in: Proceedings of the ACM Symposium on Principles of Distributed Computing, ACM, 2026.
LibreCat
| DOI
J. Augustine, H. Hillebrandt, M. Kumar, C. Scheideler, J. Werthmann, in: Proceedings of the ACM Symposium on Principles of Distributed Computing, ACM, 2026.
2026 | Conference Abstract | LibreCat-ID: 66604
Quantitative Modelling of Dynamic Nonlinearity in Piezoelectric Components
O. Friesen, J. Hölscher, C. Spieker, J. Förstner, L. Claes, in: 2026.
LibreCat
O. Friesen, J. Hölscher, C. Spieker, J. Förstner, L. Claes, in: 2026.
2026 | Preprint | LibreCat-ID: 66642
Pólya--Schur problems and free probability
A. Campbell, J. Jalowy, ArXiv:2605.31356 (2026).
LibreCat
| arXiv
A. Campbell, J. Jalowy, ArXiv:2605.31356 (2026).
2026 | Journal Article | LibreCat-ID: 66641
Box-covariances of hyperuniform point processes
J. Jalowy, H. Stange, Stochastic Processes and Their Applications 199 (2026).
LibreCat
| DOI
J. Jalowy, H. Stange, Stochastic Processes and Their Applications 199 (2026).
2026 | Conference Paper | LibreCat-ID: 66687
Perspectives on Privacy and Security in Collaborative AR - Insights from a Scoping Review and an Expert Interview Study
S.C. Krings, E. Yigitbas, S. Sauer, in: C. Maciel, D.L. Spano, C. Ardito, A. Freire, R. Prates (Eds.), Blending Experiences in Interaction Design, Springer Nature Switzerland, Cham, 2026, pp. 253–276.
LibreCat
S.C. Krings, E. Yigitbas, S. Sauer, in: C. Maciel, D.L. Spano, C. Ardito, A. Freire, R. Prates (Eds.), Blending Experiences in Interaction Design, Springer Nature Switzerland, Cham, 2026, pp. 253–276.
2026 | Journal Article | LibreCat-ID: 66688
SecCityVR: Visualization and Collaborative Exploration of Software Vulnerabilities in Virtual Reality
D. Wüppelmann, E. Yigitbas, GI - Software Engineering (2026).
LibreCat
| DOI
D. Wüppelmann, E. Yigitbas, GI - Software Engineering (2026).
2026 | Preprint | LibreCat-ID: 66731
Intersection numbers for designs in regular semilattices
M. Kiermaier, L.-A.D. Klawuhn, (2026).
LibreCat
| arXiv
M. Kiermaier, L.-A.D. Klawuhn, (2026).
2026 | Conference Paper | LibreCat-ID: 66832
Trustworthy AI: Operationalizing Responsibility in Lifecycle-Aware AI Threat Modeling through RACI
F. Tahir, U. Ullah, E. Bodden, in: Proceedings of the 21st International Conference on Software Technologies, SCITEPRESS - Science and Technology Publications, 2026.
LibreCat
| DOI
F. Tahir, U. Ullah, E. Bodden, in: Proceedings of the 21st International Conference on Software Technologies, SCITEPRESS - Science and Technology Publications, 2026.
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.