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 KA, Luchterhandt L, Müller W, Ulbricht M, Lu L, Scheytt JC. 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 J, Götte T, Hillebrandt H, Scheideler C, Werthmann J. Fast Distributed Computation of Compact Routing Schemes. In: Lecture Notes in Computer Science. Springer Nature Switzerland; 2026. doi:10.1007/978-3-032-26465-7_19
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66602
Augustine J, Hillebrandt H, Kumar M, Scheideler C, Werthmann J. 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. doi:10.1145/3796701.3815939
LibreCat | DOI
 

2026 | Conference Abstract | LibreCat-ID: 66604
Friesen O, Hölscher J, Spieker C, Förstner J, Claes L. Quantitative Modelling of Dynamic Nonlinearity in Piezoelectric Components. In: ; 2026.
LibreCat
 

2026 | Preprint | LibreCat-ID: 66642
Campbell A, Jalowy J. Pólya--Schur problems and free probability. arXiv:260531356. Published online 2026.
LibreCat | arXiv
 

2026 | Journal Article | LibreCat-ID: 66641
Jalowy J, Stange H. Box-covariances of hyperuniform point processes. Stochastic Processes and their Applications. 2026;199. doi:10.1016/j.spa.2026.104996
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66687
Krings SC, Yigitbas E, Sauer S. Perspectives on Privacy and Security in Collaborative AR - Insights from a Scoping Review and an Expert Interview Study. In: Maciel C, Spano DL, Ardito C, Freire A, Prates R, eds. Blending Experiences in Interaction Design. Springer Nature Switzerland; 2026:253–276.
LibreCat
 

2026 | Journal Article | LibreCat-ID: 66688
Wüppelmann D, Yigitbas E. SecCityVR: Visualization and Collaborative Exploration of Software Vulnerabilities in Virtual Reality. GI - Software Engineering . Published online 2026. doi:10.18420/se2026_53
LibreCat | DOI
 

2026 | Preprint | LibreCat-ID: 66731
Kiermaier M, Klawuhn L-AD. Intersection numbers for designs in regular semilattices. Published online 2026.
LibreCat | arXiv
 

2026 | Conference Paper | LibreCat-ID: 66832
Tahir F, Ullah U, Bodden E. 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. doi:10.5220/0015000700004088
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66833
Kummita S, Schiebel FB, Bodden E, Miao M, Wei S. 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. doi:10.1109/saner67736.2026.00114
LibreCat | DOI
 

2026 | Journal Article | LibreCat-ID: 66838
Kostitsyna I, Liedtke D, Scheideler C. Distributed rhombus formation of sliding squares. Theoretical Computer Science. 2026;1085. doi:10.1016/j.tcs.2026.116196
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66097
Kononova AV, van Stein N, Mersmann O, et al. Benchmarking that Matters: Rethinking Benchmarking in Continuous Optimisation for Practical Impact. In: García-Sánchez P, lvarez JD, Murphy A, 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. Vol 16525. Lecture Notes in Computer Science. Springer; 2026:327–344. doi:10.1007/978-3-032-23607-4_20
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66095
Skvorc U, van Stein N, Seiler M, Grimme B, Bäck T, Trautmann H. LLM Driven Design of Continuous Optimization Problems with Controllable High-Level Properties. In: García-Sánchez P, lvarez JD, Murphy A, 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. Vol 16525. Lecture Notes in Computer Science. Springer; 2026:183–199. doi:10.1007/978-3-032-23607-4_12
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 61777
Karaiskos G, Rudolph D, Meyer JJ, Eisert J, Gharibian S. How hard is it to verify a classical shadow? In: International Colloquium on Automata, Languages, and Programming (ICALP). Vol 374. ; 2026:1-23.
LibreCat | arXiv
 

2026 | Journal Article | LibreCat-ID: 56116
Glöckner H, Grong E, Schmeding A. Boundary values of diffeomorphisms of simple polytopes, and controllability. Differential Geometry and its Applications. 2026;104. doi:10.1016/j.difgeo.2026.102404
LibreCat | DOI | arXiv
 

2026 | Journal Article | LibreCat-ID: 66121
Bruns J, Gasteiger H, Hallemann S, Schopferer T. Leadership practices in implementing early mathematics education as a curriculum innovation into vocational training of early childhood education. Research in Mathematics Education. Published online 2026:1-21. doi:10.1080/14794802.2026.2689902
LibreCat | DOI
 

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

2026 | Conference Paper | LibreCat-ID: 66433
Schiebel FB, Bodden E. Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding. In: Krebbers R, Silva A, eds. 40th European Conference on Object-Oriented Programming (ECOOP 2026). Vol 372. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2026:23:1–23:28. doi:10.4230/LIPIcs.ECOOP.2026.23
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66429
Kummita S, Schiebel FB, Bodden E, Miao M, Wei S. 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. doi:10.1109/saner67736.2026.00114
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed