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.
5673 Publications
2023 | Book Chapter | LibreCat-ID: 40511
Hüsing, Sven, et al. “Epistemic Programming.” Computer Science Education, Bloomsbury Academic, 2023, doi:10.5040/9781350296947.ch-022.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 33947
Castenow, Jannik, et al. “Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation.” Theoretical Computer Science, vol. 939, Elsevier BV, 2023, pp. 261–91, doi:10.1016/j.tcs.2022.10.031.
LibreCat
| DOI
| arXiv
2023 | Conference Paper | LibreCat-ID: 41812
Luo, Linghui, et al. “Model Generation For Java Frameworks.” IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 41813
Shivarpatna Venkatesh, Ashwin Prasad, et al. “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.” IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.
LibreCat
2023 | Journal Article | LibreCat-ID: 34402
Yigitbas, Enes, et al. “End-User Development of Interactive Web-Based Virtual Reality Scenes.” Journal on Computer Languages (COLA) , Elsevier, 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 33511
Yigitbas, Enes, and Gregor Engels. “Enhancing Robot Programming through Digital Twin and Augmented Reality .” 56th Hawaii International Conference on System Science (HICSS 2023) , ScholarSpace, 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 34401
Yigitbas, Enes, et al. “Towards Enhanced Guiding Mechanisms in VR Training through Process Mining.” Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) , 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 34008
Castenow, Jannik, et al. “A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility .” Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) , edited by Eshcar Hillel et al., vol. 253, Schloss Dagstuhl – Leibniz Zentrum für Informatik, 2023, p. 15:1–15:25, doi:10.4230/LIPIcs.OPODIS.2022.15.
LibreCat
| DOI
| arXiv
2023 | Preprint | LibreCat-ID: 42160 | 
Werner, Stefan, and Sebastian Peitz. “Learning a Model Is Paramount for Sample Efficiency in Reinforcement Learning Control of PDEs.” ArXiv:2302.07160, 2023.
LibreCat
| Download (ext.)
| arXiv
2023 | Conference Paper | LibreCat-ID: 31872
Gharibian, Sevag, and Dorian Rudolph. “Quantum Space, Ground Space Traversal, and How to Embed Multi-Prover Interactive Proofs into Unentanglement.” 14th Innovations in Theoretical Computer Science (ITCS), vol. 251, 2023, p. 53:1-53:23, doi:10.4230/LIPIcs.ITCS.2023.53.
LibreCat
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 27426 |
Gebken, Bennet, et al. “On the Structure of Regularization Paths for Piecewise Differentiable Regularization Terms.” Journal of Global Optimization, vol. 85, no. 3, 2023, pp. 709–41, doi:10.1007/s10898-022-01223-2.
LibreCat
| DOI
| Download (ext.)
2023 | Preprint | LibreCat-ID: 43048
Lienen, Christian, et al. FpgaDDS: An Intra-FPGA Data Distribution Service for ROS 2 Robotics Applications. 2023.
LibreCat
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 43109
Götte, Thorsten, et al. “Beep-and-Sleep: Message and Energy Efficient Set Cover.” Theor. Comput. Sci., vol. 950, 2023, p. 113756, doi:10.1016/j.tcs.2023.113756.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 43424
Yigitbas, Enes, et al. “Supporting Construction and Architectural Visualization through BIM and AR/VR: A Systematic Literature Review.” Proceedings of the 19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), Springer, 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 30125 |
Schaller, Manuel, et al. “Towards Reliable Data-Based Optimal and Predictive Control Using Extended DMD.” IFAC-PapersOnLine, vol. 56, no. 1, 2023, pp. 169–74, doi:10.1016/j.ifacol.2023.02.029.
LibreCat
| DOI
| Download (ext.)
| arXiv
2023 | Journal Article | LibreCat-ID: 44077
Maack, Marten. “Online Load Balancing on Uniform Machines with Limited Migration.” Operations Research Letters, vol. 51, no. 3, Elsevier BV, 2023, pp. 220–25, doi:10.1016/j.orl.2023.02.013.
LibreCat
| DOI
2023 | Mastersthesis | LibreCat-ID: 43374 |
Schürmann, Patrick. A Formal Comparison of Advanced Digital Signature Primitives. 2023.
LibreCat
| Files available
2023 | Conference Paper | LibreCat-ID: 20841 |
Gharibian, Sevag, et al. “The Complexity of Translationally Invariant Problems beyond Ground State Energies.” Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science (STACS), vol. 254, 2023, p. 54:1-54:21, doi:https://doi.org/10.4230/LIPIcs.STACS.2023.54.
LibreCat
| DOI
| Download (ext.)
| arXiv
2023 | Conference Paper | LibreCat-ID: 44194 |
Ahmed, Qazi Arbab, et al. “MAAS: Hiding Trojans in Approximate Circuits.” The 24th International Symposium on Quality Electronic Design (ISQED’23), San Francisco, Califorina USA, 2023.
LibreCat
| Files available
2023 | Mastersthesis | LibreCat-ID: 44735
Schweichhart, Jonas. Minimum Edge Cuts in Overlay Networks. 2023.
LibreCat
2023 | Book Chapter | LibreCat-ID: 44769
Castenow, Jannik, et al. “Unifying Gathering Protocols for Swarms of Mobile Robots.” Lecture Notes in Computer Science, Springer International Publishing, 2023, doi:10.1007/978-3-031-30448-4_1.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 34294
Wolters, Dennis, and Gregor Engels. “Model-Driven Collaborative Design of Professional Education Programmes With Extended Online Whiteboards.” MODELSWARD’23, SCITEPRESS, pp. 133–42, doi:10.5220/0011675700003402.
LibreCat
| DOI
2023 | Dissertation | LibreCat-ID: 43108
Pauck, Felix. Cooperative Android App Analysis. Paderborn University, 2023, doi:10.17619/UNIPB/1-1698.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 45188
Werthmann, Julian, et al. Routing Schemes for Hybrid Communication Networks. 2023, doi:10.48550/ARXIV.2210.05333.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 44855
Hemmrich, Simon, et al. “Designing Business Reputation Ecosystems — A Method for Issuing and Trading Monetary Ratings on a Blockchain.” ECIS 2023 Research Papers, 2023.
LibreCat
| Files available
| Download (ext.)
2023 | Mastersthesis | LibreCat-ID: 45243
N., N. Development and Evaluation of a Model-Based UI Prototyping Experimentation Approach. 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 45312
Karakaya, Kadiray, and Eric Bodden. “Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis.” 2023 IEEE Conference on Software Testing, Verification and Validation (ICST), IEEE, 2023, doi:10.1109/icst57152.2023.00036.
LibreCat
| DOI
2023 | Bachelorsthesis | LibreCat-ID: 43375 |
Koch, Angelina. Privacy-Preserving Collection and Evaluation of Log Files. 2023.
LibreCat
| Files available
2023 | Journal Article | LibreCat-ID: 45484
Sherif, Mohamed Ahmed, et al. “IngridKG: A FAIR Knowledge Graph of Graffiti.” Scientific Data, vol. 10, no. 1, 318, Springer Science and Business Media LLC, 2023, doi:10.1038/s41597-023-02199-8.
LibreCat
| DOI
2023 | Dissertation | LibreCat-ID: 45580
Castenow, Jannik. Local Protocols for Contracting and Expanding Robot Formation Problems. 2023, doi:10.17619/UNIPB/1-1750.
LibreCat
| DOI
2023 | Dissertation | LibreCat-ID: 45579
Knollmann, Till. Online Algorithms for Allocating Heterogeneous Resources. 2023, doi:10.17619/UNIPB/1-1751.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 45695 |
Hotegni, Sedjro Salomon, et al. “Approximation Algorithms for Fair Range Clustering.” Proceedings of the 40th International Conference on Machine Learning, Honolulu, Hawaii, USA. PMLR 202, 2023.
LibreCat
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 43060 |
Hebrok, Sven Niclas, et al. “We Really Need to Talk About Session Tickets: A Large-Scale Analysis of Cryptographic Dangers with TLS Session Tickets.” 32nd USENIX Security Symposium, 2023.
LibreCat
| Download (ext.)
2023 | Bachelorsthesis | LibreCat-ID: 45762
Simon-Mertens, Florian. Effizienzanalyse Leichtgewichtiger Neuronaler Netze Für FPGA-Basierte Modulationsklassifikation. 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 45793
Grigoryan, Khoren, et al. “Data-Driven Product Management: A Practitioner-Driven Research Agenda.” Procedia CIRP 33, 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 45812
Özcan, Leon, et al. Interview Study on Strategy Options for Platform Operation in B2B Markets. 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 33734 |
KOUAGOU, N’Dah Jean, et al. “Neural Class Expression Synthesis.” The Semantic Web - 20th Extended Semantic Web Conference (ESWC 2023), edited by Catia Pesquita et al., vol. 13870, Springer International Publishing, 2023, pp. 209–26, doi:https://doi.org/10.1007/978-3-031-33455-9_13.
LibreCat
| DOI
| Download (ext.)
2023 | Preprint | LibreCat-ID: 37937
Sieger, Leonie Nora, et al. “Counterfactual Explanations for Concepts in ELH.” ArXiv:2301.05109, 2023.
LibreCat
| Download (ext.)
| arXiv
2023 | Dissertation | LibreCat-ID: 44323
Kersting, Joschka. Identifizierung quantifizierbarer Bewertungsinhalte und -kategorien mittels Text Mining. Universität der Bundeswehr München , 2023.
LibreCat
| Files available
2023 | Book Chapter | LibreCat-ID: 45875 |
Götte, Thorsten, et al. “Capabilities and Limitations of Local Strategies in Dynamic Networks.” On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake et al., vol. 412, Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 1--20, doi:10.5281/zenodo.8060372.
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45895 |
Karl, Holger, et al. “On-The-Fly Compute Centers II: Execution of Composed Services in Configurable Compute Centers.” On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake et al., vol. 412, Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 183–202, doi:10.5281/zenodo.8068664.
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45901 |
Blömer, Johannes, et al. “Practical Cryptograhic Techniques for Secure and Privacy-Preserving Customer Loyalty Systems.” On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake et al., vol. 412, Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 237–46, doi:10.5281/zenodo.8068755.
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45899 |
Boschmann, Alexander, et al. “Flexible Industrial Analytics on Reconfigurable Systems-On-Chip.” On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake et al., vol. 412, Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 225–36, doi:10.5281/zenodo.8068713.
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45888 |
Wehrheim, Heike, et al. “Verifying Software and Reconfigurable Hardware Services.” On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake et al., vol. 412, Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 125–44, doi:10.5281/zenodo.8068583.
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45897 |
Gottschalk, Sebastian, et al. “Architectural Management of OTF Computing Markets.” On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake et al., vol. 412, Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 203–24, doi:10.5281/zenodo.8068691.
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45891 |
Blömer, Johannes, et al. “Robustness and Security.” On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake et al., vol. 412, Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 145–64, doi:10.5281/zenodo.8068629.
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45882 |
Bäumer, Frederik Simon, et al. “Dialogue-Based Requirement Compensation and Style-Adjusted Data-to-Text Generation.” On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake et al., vol. 412, Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 65–84, doi:10.5281/zenodo.8068456.
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45884 |
Hanselle, Jonas Manuel, et al. “Configuration and Evaluation.” On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake et al., vol. 412, Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 85–104, doi:10.5281/zenodo.8068466.
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45878 |
Haake, Claus-Jochen, et al. “The Market for Services: Incentives, Algorithms, Implementation.” On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake et al., vol. 412, Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 21–44, doi:10.5281/zenodo.8068414.
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45886 |
Wehrheim, Heike, et al. “Composition Analysis in Unknown Contexts.” On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake et al., vol. 412, Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 105–23, doi:10.5281/zenodo.8068510.
LibreCat
| Files available
| DOI