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.
5685 Publications
2023 | Conference Paper | LibreCat-ID: 31872
Quantum space, ground space traversal, and how to embed multi-prover interactive proofs into unentanglement
S. Gharibian, D. Rudolph, in: 14th Innovations in Theoretical Computer Science (ITCS), 2023, p. 53:1-53:23.
LibreCat
| DOI
| arXiv
S. Gharibian, D. Rudolph, in: 14th Innovations in Theoretical Computer Science (ITCS), 2023, p. 53:1-53:23.
2023 | Journal Article | LibreCat-ID: 27426 | 
On the structure of regularization paths for piecewise differentiable regularization terms
B. Gebken, K. Bieker, S. Peitz, Journal of Global Optimization 85 (2023) 709–741.
LibreCat
| DOI
| Download (ext.)
B. Gebken, K. Bieker, S. Peitz, Journal of Global Optimization 85 (2023) 709–741.
2023 | Journal Article | LibreCat-ID: 43109
Beep-and-Sleep: Message and Energy Efficient Set Cover
T. Götte, C. Kolb, C. Scheideler, J. Werthmann, Theor. Comput. Sci. 950 (2023) 113756.
LibreCat
| DOI
T. Götte, C. Kolb, C. Scheideler, J. Werthmann, Theor. Comput. Sci. 950 (2023) 113756.
2023 | Conference Paper | LibreCat-ID: 43424
Supporting Construction and Architectural Visualization through BIM and AR/VR: A Systematic Literature Review
E. Yigitbas, A. Nowosad, G. Engels, in: Proceedings of the 19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), Springer, 2023.
LibreCat
E. Yigitbas, A. Nowosad, G. Engels, in: Proceedings of the 19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), Springer, 2023.
2023 | Conference Paper | LibreCat-ID: 30125 |
Towards reliable data-based optimal and predictive control using extended DMD
M. Schaller, K. Worthmann, F. Philipp, S. Peitz, F. Nüske, in: IFAC-PapersOnLine, 2023, pp. 169–174.
LibreCat
| DOI
| Download (ext.)
| arXiv
M. Schaller, K. Worthmann, F. Philipp, S. Peitz, F. Nüske, in: IFAC-PapersOnLine, 2023, pp. 169–174.
2023 | Journal Article | LibreCat-ID: 44077
Online load balancing on uniform machines with limited migration
M. Maack, Operations Research Letters 51 (2023) 220–225.
LibreCat
| DOI
M. Maack, Operations Research Letters 51 (2023) 220–225.
2023 | Mastersthesis | LibreCat-ID: 43374 |
A Formal Comparison of Advanced Digital Signature Primitives
P. Schürmann, A Formal Comparison of Advanced Digital Signature Primitives, 2023.
LibreCat
| Files available
P. Schürmann, A Formal Comparison of Advanced Digital Signature Primitives, 2023.
2023 | Conference Paper | LibreCat-ID: 20841 |
The Complexity of Translationally Invariant Problems beyond Ground State Energies
S. Gharibian, J. Watson, J. Bausch, in: Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science (STACS), 2023, p. 54:1-54:21.
LibreCat
| DOI
| Download (ext.)
| arXiv
S. Gharibian, J. Watson, J. Bausch, in: Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science (STACS), 2023, p. 54:1-54:21.
2023 | Conference Paper | LibreCat-ID: 44194 |
MAAS: Hiding Trojans in Approximate Circuits
Q.A. Ahmed, M. Awais, M. Platzner, in: The 24th International Symposium on Quality Electronic Design (ISQED’23), San Francisco, Califorina USA, 2023.
LibreCat
| Files available
Q.A. Ahmed, M. Awais, M. Platzner, in: The 24th International Symposium on Quality Electronic Design (ISQED’23), San Francisco, Califorina USA, 2023.
2023 | Mastersthesis | LibreCat-ID: 44735
Minimum Edge Cuts in Overlay Networks
J. Schweichhart, Minimum Edge Cuts in Overlay Networks, 2023.
LibreCat
J. Schweichhart, Minimum Edge Cuts in Overlay Networks, 2023.
2023 | Book Chapter | LibreCat-ID: 44769
Unifying Gathering Protocols for Swarms of Mobile Robots
J. Castenow, J. Harbig, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Springer International Publishing, Cham, 2023.
LibreCat
| DOI
J. Castenow, J. Harbig, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Springer International Publishing, Cham, 2023.
2023 | Conference Paper | LibreCat-ID: 34294
Model-driven Collaborative Design of Professional Education Programmes With Extended Online Whiteboards
D. Wolters, G. Engels, in: MODELSWARD’23, SCITEPRESS, n.d., pp. 133–142.
LibreCat
| DOI
D. Wolters, G. Engels, in: MODELSWARD’23, SCITEPRESS, n.d., pp. 133–142.
2023 | Dissertation | LibreCat-ID: 43108
Cooperative Android App Analysis
F. Pauck, Cooperative Android App Analysis, Paderborn University, 2023.
LibreCat
| DOI
F. Pauck, Cooperative Android App Analysis, Paderborn University, 2023.
2023 | Conference Paper | LibreCat-ID: 45188
Routing Schemes for Hybrid Communication Networks
J. Werthmann, C. Scheideler, S. Coy, A. Czumaj, P. Schneider, in: 2023.
LibreCat
| DOI
J. Werthmann, C. Scheideler, S. Coy, A. Czumaj, P. Schneider, in: 2023.
2023 | Conference Paper | LibreCat-ID: 44855
Designing Business Reputation Ecosystems — A Method for Issuing and Trading Monetary Ratings on a Blockchain
S. Hemmrich, J. Bobolz, D. Beverungen, J. Blömer, in: ECIS 2023 Research Papers, 2023.
LibreCat
| Files available
| Download (ext.)
S. Hemmrich, J. Bobolz, D. Beverungen, J. Blömer, in: ECIS 2023 Research Papers, 2023.
2023 | Mastersthesis | LibreCat-ID: 45243
Development and Evaluation of a Model-Based UI Prototyping Experimentation Approach
N. N., Development and Evaluation of a Model-Based UI Prototyping Experimentation Approach, 2023.
LibreCat
N. N., Development and Evaluation of a Model-Based UI Prototyping Experimentation Approach, 2023.
2023 | Conference Paper | LibreCat-ID: 45312
Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis
K. Karakaya, E. Bodden, in: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST), IEEE, 2023.
LibreCat
| DOI
K. Karakaya, E. Bodden, in: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST), IEEE, 2023.
2023 | Bachelorsthesis | LibreCat-ID: 43375 |
Privacy-Preserving Collection and Evaluation of Log Files
A. Koch, Privacy-Preserving Collection and Evaluation of Log Files, 2023.
LibreCat
| Files available
A. Koch, Privacy-Preserving Collection and Evaluation of Log Files, 2023.
2023 | Journal Article | LibreCat-ID: 45484
IngridKG: A FAIR Knowledge Graph of Graffiti
M.A. Sherif, A.A.M. da Silva, S. Pestryakova, A.F. Ahmed, S. Niemann, A.-C.N. Ngomo, Scientific Data 10 (2023).
LibreCat
| DOI
M.A. Sherif, A.A.M. da Silva, S. Pestryakova, A.F. Ahmed, S. Niemann, A.-C.N. Ngomo, Scientific Data 10 (2023).
2023 | Dissertation | LibreCat-ID: 45580
Local Protocols for Contracting and Expanding Robot Formation Problems
J. Castenow, Local Protocols for Contracting and Expanding Robot Formation Problems, 2023.
LibreCat
| DOI
J. Castenow, Local Protocols for Contracting and Expanding Robot Formation Problems, 2023.