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
K. A. Hannemann, L. Luchterhandt, W. Müller, M. Ulbricht, L. Lu, and J. C. Scheytt, “TETRISC on Rocket Chip: A Scalable and Adaptive RISC-V Multicore Architecture,” presented at the 29. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2026), Würzburg, 2026.
LibreCat
 

2026 | Conference Paper | LibreCat-ID: 66603
J. Dou, T. Götte, H. Hillebrandt, C. Scheideler, and J. Werthmann, “Fast Distributed Computation of Compact Routing Schemes,” 2026, doi: 10.1007/978-3-032-26465-7_19.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66602
J. Augustine, H. Hillebrandt, M. Kumar, C. Scheideler, and J. Werthmann, “Supervised Distributed Computing: Efficiency and Robustness under a Majority of Adversarial Workers,” 2026, doi: 10.1145/3796701.3815939.
LibreCat | DOI
 

2026 | Conference Abstract | LibreCat-ID: 66604
O. Friesen, J. Hölscher, C. Spieker, J. Förstner, and L. Claes, “Quantitative Modelling of Dynamic Nonlinearity in Piezoelectric Components,” presented at the WCCM-ECCOMAS 2026, München, 2026.
LibreCat
 

2026 | Preprint | LibreCat-ID: 66642
A. Campbell and J. Jalowy, “Pólya--Schur problems and free probability,” arXiv:2605.31356. 2026.
LibreCat | arXiv
 

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

2026 | Conference Paper | LibreCat-ID: 66687
S. C. Krings, E. Yigitbas, and S. 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, 2026, pp. 253–276.
LibreCat
 

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

2026 | Preprint | LibreCat-ID: 66731
M. Kiermaier and L.-A. D. Klawuhn, “Intersection numbers for designs in regular semilattices.” 2026.
LibreCat | arXiv
 

2026 | Conference Paper | LibreCat-ID: 66832
F. Tahir, U. Ullah, and E. Bodden, “Trustworthy AI: Operationalizing Responsibility in Lifecycle-Aware AI Threat Modeling through RACI,” 2026, doi: 10.5220/0015000700004088.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66833
S. Kummita, F. B. Schiebel, E. Bodden, M. Miao, and S. Wei, “Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study,” 2026, doi: 10.1109/saner67736.2026.00114.
LibreCat | DOI
 

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

2026 | Conference Paper | LibreCat-ID: 66097
A. V. Kononova 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, 2026, vol. 16525, pp. 327–344, doi: 10.1007/978-3-032-23607-4_20.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66095
U. Skvorc, N. van Stein, M. Seiler, B. Grimme, T. Bäck, and H. 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, 2026, vol. 16525, pp. 183–199, doi: 10.1007/978-3-032-23607-4_12.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 61777
G. Karaiskos, D. Rudolph, J. J. Meyer, J. Eisert, and S. Gharibian, “How hard is it to verify a classical shadow?,” in International Colloquium on Automata, Languages, and Programming (ICALP), 2026, vol. 374, no. 123, pp. 1–23.
LibreCat | arXiv
 

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

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

2026 | Conference Paper | LibreCat-ID: 64909
M. Khedkar, M. Schlichtig, and E. Bodden, “Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View,” 2026, doi: 10.1109/SANER67736.2026.00109.
LibreCat | DOI | Download (ext.)
 

2026 | Conference Paper | LibreCat-ID: 66433
F. B. Schiebel and E. Bodden, “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding,” in 40th European Conference on Object-Oriented Programming (ECOOP 2026), 2026, vol. 372, p. 23:1–23:28, doi: 10.4230/LIPIcs.ECOOP.2026.23.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66429
S. Kummita, F. B. Schiebel, E. Bodden, M. Miao, and S. Wei, “Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study,” 2026, doi: 10.1109/saner67736.2026.00114.
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed