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 | OA
Fact Checking Knowledge Graphs -- A Survey
U. Qudus, M. Röder, M. Saleem, A.-C. Ngonga Ngomo, ACM Computing Surveys 58 (2025).
LibreCat | Files available | DOI | Download (ext.)
 

2025 | Journal Article | LibreCat-ID: 59912
Logics with probabilistic team semantics and the Boolean negation
M. Hannula, M. Hirvonen, J. Kontinen, Y. Mahmood, A. Meier, J. Virtema, Journal of Logic and Computation 35 (2025).
LibreCat | DOI
 

2025 | Conference Paper | LibreCat-ID: 59054
ANTS: Abstractive Entity Summarization in Knowledge Graphs
A.F. Firmansyah, H.M.A. Zahera, M. Sherif, D. Moussallem, A.-C. Ngonga Ngomo, in: ESWC2025, pringer Nature Switzerland, 2025, pp. 133--151.
LibreCat | DOI
 

2025 | Preprint | LibreCat-ID: 61066
Facets in Argumentation: A Formal Approach to Argument Significance
J. Fichte, N. Fröhlich, M. Hecher, V. Lagerkvist, Y. Mahmood, A. Meier, J. Persson, ArXiv:2505.10982 (2025).
LibreCat | arXiv
 

2025 | Preprint | LibreCat-ID: 65018
Visualizing Privacy-Relevant Data Flows in Android Applications
M. Khedkar, M. Schlichtig, S. Mohan, E. Bodden, ArXiv:2503.16640 (2025).
LibreCat | arXiv
 

2025 | Conference Paper | LibreCat-ID: 65038
Guidance on Dataspaces: Development of a Learning Environment for Industrial SMEs
J. Lick, J. Lamarz, F. Dohmann, P.J. Kulkarni, J. Zerbin, C. Koldewey, in: 2024 6th International Conference on Control and Robotics (ICCR), IEEE, 2025.
LibreCat | DOI
 

2025 | Conference Paper | LibreCat-ID: 65102
Towards Efficient Load Balancing BFS on GPUs: One Code for AMD, Intel & Nvidia
K. Olgu, T. Kenter, J. Nunez-Yanez, S. McIntosh-Smith, T. Deakin, in: Proceedings of the SC ’25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis, ACM, 2025.
LibreCat | DOI
 

2025 | Report | LibreCat-ID: 62981 | OA
Otus Supercomputer
S. Ehtesabi, M. Hossain, T. Kenter, A. Krawinkel, L. Ostermann, C. Plessl, H. Riebler, S. Rohde, R. Schade, M. Schwarz, J. Simon, N. Winnwa, A. Wiens, X. Wu, Otus Supercomputer, Paderborn Center for Parallel Computing (PC2), Paderborn, 2025.
LibreCat | Files available | DOI
 

2025 | Conference Paper | LibreCat-ID: 65466
On the Security of SSH Client Signatures
F. Bäumer, M. Brinkmann, M. Radoy, J. Schwenk, J. Somorovsky, in: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, ACM, 2025.
LibreCat | DOI
 

2025 | Conference Paper | LibreCat-ID: 65474
Advanced Use of Automatic Algorithm Configuration: Single- and Multi-Objective Approaches
J. Rook, M. López-Ibáñez, in: B. Filipic (Ed.), Proceedings of the Genetic and Evolutionary Computation Conference Companion, GECCO 2025, NH Malaga Hotel, Malaga, Spain, July 14-18, 2025, ACM, 2025, pp. 1617–1642.
LibreCat | DOI
 

2025 | Preprint | LibreCat-ID: 61778
On the complexity of estimating ground state entanglement and free energy
S. Gharibian, J. Kamminga, ArXiv:2510.06796 (2025).
LibreCat | arXiv
 

2025 | Conference Paper | LibreCat-ID: 65618 | OA
Evaluating the Strong Scaling Potential of AI Engines for Molecular Dynamics Simulations
M. Bröker, J. Menzel, C. Plessl, in: Proceedings of the 15th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, ACM, 2025.
LibreCat | DOI | Download (ext.)
 

2025 | Conference Paper | LibreCat-ID: 50272
Quantum 2-SAT on low dimensional systems is $\mathsf{QMA}_1$-complete: Direct embeddings and black-box simulation
D. Rudolph, S. Gharibian, D. Nagaj, in: 16th Innovations in Theoretical Computer Science (ITCS), 2025, pp. 1–24.
LibreCat | DOI | arXiv
 

2025 | Journal Article | LibreCat-ID: 55037
Beating Grover search for low-energy estimation and state preparation
H. Buhrman, S. Gharibian, Z. Landau, F.L. Gall, N. Schuch, S. Tamaki, Physical Review Letters 135 (2025) 030601.
LibreCat | DOI | arXiv
 

2025 | Preprint | LibreCat-ID: 61776
Energy, Bosons and Computational Complexity
U. Chabaud, S. Gharibian, S. Mehraban, A. Motamedi, H.R. Naeij, D. Rudolph, D. Sambrani, ArXiv:2510.08545 (2025).
LibreCat | arXiv
 

2025 | Preprint | LibreCat-ID: 60432
Quantum k-SAT Related Hypergraph Problems
S.-L. Kremer, D. Rudolph, S. Gharibian, ArXiv:2506.17066 (2025).
LibreCat | arXiv
 

2025 | Conference Paper | LibreCat-ID: 61256
Band Switching for Mobile Energy Optimization in 5G Networks and Beyond
M. Illian, B. Luchterhandt, L. Wang, in: Proceedings of the 20th Workshop on Mobility in the Evolving Internet Architecture (MobiArch), 2025.
LibreCat | DOI
 

2025 | Conference Paper | LibreCat-ID: 65734 | OA
Neural Reasoning for Robust Instance Retrieval in SHOIQ
L.M. Kamdem Teyou, L. Friedrichs, N.J. Kouagou, C. Demir, Y. Mahmood, S. Heindorf, A.-C. Ngonga Ngomo, in: 2025.
LibreCat | DOI | Download (ext.)
 

2025 | Conference Paper | LibreCat-ID: 61986
Key performance indicator system for evaluating the circular economy along the value chain
A. Rasor, J.M. Vehmeyer, L. Kirchberg, M. Scholtysik, C. Koldewey, R. Dumitrescu, in: Procedia CIRP, Elsevier BV, 2025, pp. 972–977.
LibreCat | DOI
 

2025 | Conference Paper | LibreCat-ID: 61955
Embedding Generative AI into Products – 10 Design Principles for Building Intelligent Systems
C. Koldewey, M.N. Rohde, G. Strobel, J.M. Vehmeyer, T. Fichtler, R. Dumitrescu, in: 2025 IEEE International Conference on Engineering, Technology, and Innovation (ICE/ITMC), IEEE, 2025.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed