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.
6261 Publications
2025 | Journal Article | LibreCat-ID: 61123 | 
Qudus U, Röder M, Saleem M, Ngonga Ngomo A-C. Fact Checking Knowledge Graphs -- A Survey. ACM Computing Surveys. 2025;58. doi:10.1145/3749838
LibreCat
| Files available
| DOI
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 59912
Hannula M, Hirvonen M, Kontinen J, Mahmood Y, Meier A, Virtema J. Logics with probabilistic team semantics and the Boolean negation. Journal of Logic and Computation. 2025;35(3). doi:10.1093/logcom/exaf021
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59054
Firmansyah AF, Zahera HMA, Sherif M, Moussallem D, Ngonga Ngomo A-C. ANTS: Abstractive Entity Summarization in Knowledge Graphs. In: ESWC2025. The Semantic Web. pringer Nature Switzerland; 2025:133--151. doi:10.1007/978-3-031-94575-5_8
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 65038
Lick J, Lamarz J, Dohmann F, Kulkarni PJ, Zerbin J, Koldewey C. Guidance on Dataspaces: Development of a Learning Environment for Industrial SMEs. In: 2024 6th International Conference on Control and Robotics (ICCR). IEEE; 2025. doi:10.1109/iccr64365.2024.10927580
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 65102
Olgu K, Kenter T, Nunez-Yanez J, McIntosh-Smith S, Deakin T. Towards Efficient Load Balancing BFS on GPUs: One Code for AMD, Intel & Nvidia. In: Proceedings of the SC ’25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis. ACM; 2025. doi:10.1145/3731599.3767570
LibreCat
| DOI
2025 | Report | LibreCat-ID: 62981 |
Ehtesabi S, Hossain M, Kenter T, et al. Otus Supercomputer. Vol 1. Paderborn Center for Parallel Computing (PC2); 2025. doi:10.48550/ARXIV.2512.07401
LibreCat
| Files available
| DOI
2025 | Conference Paper | LibreCat-ID: 65466
Bäumer F, Brinkmann M, Radoy M, Schwenk J, Somorovsky J. On the Security of SSH Client Signatures. In: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. ACM; 2025. doi:10.1145/3719027.3765079
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 65474
Rook J, López-Ibáñez M. Advanced Use of Automatic Algorithm Configuration: Single- and Multi-Objective Approaches. In: Filipic B, ed. Proceedings of the Genetic and Evolutionary Computation Conference Companion, GECCO 2025, NH Malaga Hotel, Malaga, Spain, July 14-18, 2025. ACM; 2025:1617–1642. doi:10.1145/3712255.3716537
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 65618 |
Bröker M, Menzel J, Plessl C. Evaluating the Strong Scaling Potential of AI Engines for Molecular Dynamics Simulations. In: Proceedings of the 15th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies. ACM; 2025. doi:10.1145/3728179.3728187
LibreCat
| DOI
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 50272
Rudolph D, Gharibian S, Nagaj D. Quantum 2-SAT on low dimensional systems is $\mathsf{QMA}_1$-complete: Direct embeddings and black-box simulation. In: 16th Innovations in Theoretical Computer Science (ITCS). Vol 325. ; 2025:1-24. doi:10.4230/LIPIcs.ITCS.2025.85
LibreCat
| DOI
| arXiv
2025 | Journal Article | LibreCat-ID: 55037
Buhrman H, Gharibian S, Landau Z, Gall FL, Schuch N, Tamaki S. Beating Grover search for low-energy estimation and state preparation. Physical Review Letters. 2025;135:030601. doi:10.1103/29qw-bssx
LibreCat
| DOI
| arXiv
2025 | Conference Paper | LibreCat-ID: 61256
Illian M, Luchterhandt B, Wang L. Band Switching for Mobile Energy Optimization in 5G Networks and Beyond. In: Proceedings of the 20th Workshop on Mobility in the Evolving Internet Architecture (MobiArch). ; 2025. doi:10.1145/3737897.3767294
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 65734 |
Kamdem Teyou LM, Friedrichs L, Kouagou NJ, et al. Neural Reasoning for Robust Instance Retrieval in SHOIQ. In: ; 2025. doi:https://doi.org/10.1145/3731443.377134
LibreCat
| DOI
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 61986
Rasor A, Vehmeyer JM, Kirchberg L, Scholtysik M, Koldewey C, Dumitrescu R. Key performance indicator system for evaluating the circular economy along the value chain. In: Procedia CIRP. Vol 135. Elsevier BV; 2025:972-977. doi:10.1016/j.procir.2025.01.084
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 61955
Koldewey C, Rohde MN, Strobel G, Vehmeyer JM, Fichtler T, Dumitrescu R. Embedding Generative AI into Products – 10 Design Principles for Building Intelligent Systems. In: 2025 IEEE International Conference on Engineering, Technology, and Innovation (ICE/ITMC). IEEE; 2025. doi:10.1109/ice/itmc65658.2025.11106522
LibreCat
| DOI