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, et al. “TETRISC on Rocket Chip: A Scalable and Adaptive RISC-V Multicore Architecture.” 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, et al. “Fast Distributed Computation of Compact Routing Schemes.” 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, John, et al. “Supervised Distributed Computing: Efficiency and Robustness under a Majority of Adversarial Workers.” 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, Olga, et al. 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, vol. 199, 104996, Elsevier BV, 2026, doi:10.1016/j.spa.2026.104996.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66687
Krings, Sarah Claudia, et al. “Perspectives on Privacy and Security in Collaborative AR - Insights from a Scoping Review and an Expert Interview Study.” Blending Experiences in Interaction Design, edited by Cristiano Maciel et al., Springer Nature Switzerland, 2026, pp. 253–276.
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 , Gesellschaft für Informatik, Bonn, 2026, doi: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, et al. “Trustworthy AI: Operationalizing Responsibility in Lifecycle-Aware AI Threat Modeling through RACI.” 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, Sriteja, et al. “Static Analysis Traces Can Help Dynamic Symbolic Execution: A Replication Study.” 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, Irina, et al. “Distributed Rhombus Formation of Sliding Squares.” Theoretical Computer Science, vol. 1085, 116196, Elsevier BV, 2026, doi:10.1016/j.tcs.2026.116196.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66097
Kononova, Anna V., et al. “Benchmarking That Matters: Rethinking Benchmarking in Continuous Optimisation for Practical Impact.” 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 et al., vol. 16525, Springer, 2026, pp. 327–344, doi:10.1007/978-3-032-23607-4_20.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66095
Skvorc, Urban, et al. “LLM Driven Design of Continuous Optimization Problems with Controllable High-Level Properties.” 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 et al., vol. 16525, Springer, 2026, pp. 183–199, doi:10.1007/978-3-032-23607-4_12.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 61777
Karaiskos, Georgios, et al. “How Hard Is It to Verify a Classical Shadow?” International Colloquium on Automata, Languages, and Programming (ICALP), vol. 374, no. 123, 2026, pp. 1–23.
LibreCat | arXiv
 

2026 | Journal Article | LibreCat-ID: 56116
Glöckner, Helge, et al. “Boundary Values of Diffeomorphisms of Simple Polytopes, and Controllability.” Differential Geometry and Its Applications, vol. 104, 102404, 2026, doi:10.1016/j.difgeo.2026.102404.
LibreCat | DOI | arXiv
 

2026 | Journal Article | LibreCat-ID: 66121
Bruns, Julia, et al. “Leadership Practices in Implementing Early Mathematics Education as a Curriculum Innovation into Vocational Training of Early Childhood Education.” Research in Mathematics Education, Informa UK Limited, 2026, pp. 1–21, doi:10.1080/14794802.2026.2689902.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 64909
Khedkar, Mugdha, et al. “Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View.” 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, Fabian Benedikt, and Eric Bodden. “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding.” 40th European Conference on Object-Oriented Programming (ECOOP 2026), edited by Robbert Krebbers and Alexandra Silva, vol. 372, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026, p. 23:1–23:28, doi:10.4230/LIPIcs.ECOOP.2026.23.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66429
Kummita, Sriteja, et al. “Static Analysis Traces Can Help Dynamic Symbolic Execution: A Replication Study.” 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: MLA

Export / Embed