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, S., Schulte, C., & Winkelnkemper, F. (2023). Epistemic Programming. In Computer Science Education. Bloomsbury Academic. https://doi.org/10.5040/9781350296947.ch-022
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 33947
Castenow, J., Harbig, J., Jung, D., Knollmann, T., & Meyer auf der Heide, F. (2023). Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation. Theoretical Computer Science, 939, 261–291. https://doi.org/10.1016/j.tcs.2022.10.031
LibreCat
| DOI
| arXiv
2023 | Conference Paper | LibreCat-ID: 41812
Luo, L., Piskachev, G., Krishnamurthy, R., Dolby, J., Schäf, M., & Bodden, E. (2023). Model Generation For Java Frameworks. IEEE International Conference on Software Testing, Verification and Validation (ICST).
LibreCat
2023 | Conference Paper | LibreCat-ID: 41813
Shivarpatna Venkatesh, A. P., Wang, J., Li, L., & Bodden, E. (2023). Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER).
LibreCat
2023 | Journal Article | LibreCat-ID: 34402
Yigitbas, E., Klauke, J., Gottschalk, S., & Engels, G. (2023). End-User Development of Interactive Web-Based Virtual Reality Scenes. Journal on Computer Languages (COLA) .
LibreCat
2023 | Conference Paper | LibreCat-ID: 33511
Yigitbas, E., & Engels, G. (2023). Enhancing Robot Programming through Digital Twin and Augmented Reality . 56th Hawaii International Conference on System Science (HICSS 2023) .
LibreCat
2023 | Conference Paper | LibreCat-ID: 34401
Yigitbas, E., Krois, S., Gottschalk, S., & Engels, G. (2023). 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) .
LibreCat
2023 | Conference Paper | LibreCat-ID: 34008
Castenow, J., Harbig, J., Jung, D., Kling, P., Knollmann, T., & Meyer auf der Heide, F. (2023). A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility . In E. Hillel, R. Palmieri, & E. Riviére (Eds.), Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) (Vol. 253, p. 15:1–15:25). Schloss Dagstuhl – Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.OPODIS.2022.15
LibreCat
| DOI
| arXiv
2023 | Preprint | LibreCat-ID: 42160 | 
Werner, S., & Peitz, S. (2023). Learning a model is paramount for sample efficiency in reinforcement learning control of PDEs. In arXiv:2302.07160.
LibreCat
| Download (ext.)
| arXiv
2023 | Conference Paper | LibreCat-ID: 31872
Gharibian, S., & Rudolph, D. (2023). Quantum space, ground space traversal, and how to embed multi-prover interactive proofs into unentanglement. 14th Innovations in Theoretical Computer Science (ITCS), 251, 53:1-53:23. https://doi.org/10.4230/LIPIcs.ITCS.2023.53
LibreCat
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 27426 |
Gebken, B., Bieker, K., & Peitz, S. (2023). On the structure of regularization paths for piecewise differentiable regularization terms. Journal of Global Optimization, 85(3), 709–741. https://doi.org/10.1007/s10898-022-01223-2
LibreCat
| DOI
| Download (ext.)
2023 | Preprint | LibreCat-ID: 43048
Lienen, C., Middeke, S. H., & Platzner, M. (2023). fpgaDDS: An Intra-FPGA Data Distribution Service for ROS 2 Robotics Applications.
LibreCat
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 43109
Götte, T., Kolb, C., Scheideler, C., & Werthmann, J. (2023). Beep-and-Sleep: Message and Energy Efficient Set Cover. Theor. Comput. Sci., 950, 113756. https://doi.org/10.1016/j.tcs.2023.113756
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 43424
Yigitbas, E., Nowosad, A., & Engels, G. (2023). 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).
LibreCat
2023 | Conference Paper | LibreCat-ID: 30125 |
Schaller, M., Worthmann, K., Philipp, F., Peitz, S., & Nüske, F. (2023). Towards reliable data-based optimal and predictive control using extended DMD. IFAC-PapersOnLine, 56(1), 169–174. https://doi.org/10.1016/j.ifacol.2023.02.029
LibreCat
| DOI
| Download (ext.)
| arXiv
2023 | Journal Article | LibreCat-ID: 44077
Maack, M. (2023). Online load balancing on uniform machines with limited migration. Operations Research Letters, 51(3), 220–225. https://doi.org/10.1016/j.orl.2023.02.013
LibreCat
| DOI
2023 | Mastersthesis | LibreCat-ID: 43374 |
Schürmann, P. (2023). A Formal Comparison of Advanced Digital Signature Primitives.
LibreCat
| Files available
2023 | Conference Paper | LibreCat-ID: 20841 |
Gharibian, S., Watson, J., & Bausch, J. (2023). The Complexity of Translationally Invariant Problems beyond Ground State Energies. Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science (STACS), 254, 54:1-54:21. https://doi.org/10.4230/LIPIcs.STACS.2023.54
LibreCat
| DOI
| Download (ext.)
| arXiv
2023 | Conference Paper | LibreCat-ID: 44194 |
Ahmed, Q. A., Awais, M., & Platzner, M. (2023). MAAS: Hiding Trojans in Approximate Circuits. The 24th International Symposium on Quality Electronic Design (ISQED’23), San Francisco, Califorina USA. The 24th International Symposium on Quality Electronic Design (ISQED’23), San Fransico CA 94023-0607, USA.
LibreCat
| Files available
2023 | Mastersthesis | LibreCat-ID: 44735
Schweichhart, J. (2023). Minimum Edge Cuts in Overlay Networks.
LibreCat
2023 | Book Chapter | LibreCat-ID: 44769
Castenow, J., Harbig, J., & Meyer auf der Heide, F. (2023). Unifying Gathering Protocols for Swarms of Mobile Robots. In Lecture Notes in Computer Science. Springer International Publishing. https://doi.org/10.1007/978-3-031-30448-4_1
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 34294
Wolters, D., & Engels, G. (n.d.). Model-driven Collaborative Design of Professional Education Programmes With Extended Online Whiteboards. MODELSWARD’23, 133–142. https://doi.org/10.5220/0011675700003402
LibreCat
| DOI
2023 | Dissertation | LibreCat-ID: 43108
Pauck, F. (2023). Cooperative Android App Analysis. Paderborn University. https://doi.org/10.17619/UNIPB/1-1698
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 45188
Werthmann, J., Scheideler, C., Coy, S., Czumaj, A., & Schneider, P. (2023). Routing Schemes for Hybrid Communication Networks. https://doi.org/10.48550/ARXIV.2210.05333
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 44855
Hemmrich, S., Bobolz, J., Beverungen, D., & Blömer, J. (2023). Designing Business Reputation Ecosystems — A Method for Issuing and Trading Monetary Ratings on a Blockchain. ECIS 2023 Research Papers. ECIS 2023.
LibreCat
| Files available
| Download (ext.)
2023 | Mastersthesis | LibreCat-ID: 45243
N., N. (2023). Development and Evaluation of a Model-Based UI Prototyping Experimentation Approach.
LibreCat
2023 | Conference Paper | LibreCat-ID: 45312
Karakaya, K., & Bodden, E. (2023). Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis. 2023 IEEE Conference on Software Testing, Verification and Validation (ICST). https://doi.org/10.1109/icst57152.2023.00036
LibreCat
| DOI
2023 | Bachelorsthesis | LibreCat-ID: 43375 |
Koch, A. (2023). Privacy-Preserving Collection and Evaluation of Log Files.
LibreCat
| Files available
2023 | Journal Article | LibreCat-ID: 45484
Sherif, M. A., da Silva, A. A. M., Pestryakova, S., Ahmed, A. F., Niemann, S., & Ngomo, A.-C. N. (2023). IngridKG: A FAIR Knowledge Graph of Graffiti. Scientific Data, 10(1), Article 318. https://doi.org/10.1038/s41597-023-02199-8
LibreCat
| DOI
2023 | Dissertation | LibreCat-ID: 45580
Castenow, J. (2023). Local Protocols for Contracting and Expanding Robot Formation Problems. https://doi.org/10.17619/UNIPB/1-1750
LibreCat
| DOI
2023 | Dissertation | LibreCat-ID: 45579
Knollmann, T. (2023). Online Algorithms for Allocating Heterogeneous Resources. https://doi.org/10.17619/UNIPB/1-1751
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 45695 |
Hotegni, S. S., Mahabadi, S., & Vakilian, A. (n.d.). Approximation Algorithms for Fair Range Clustering. Proceedings of the 40th International Conference on Machine Learning, Honolulu, Hawaii, USA. PMLR 202, 2023. International Conference on Machine Learning, Honolulu, Hawaii, USA.
LibreCat
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 43060 |
Hebrok, S. N., Nachtigall, S., Maehren, M., Erinola, N., Merget, R., Somorovsky, J., & Schwenk, J. (2023). We Really Need to Talk About Session Tickets: A Large-Scale Analysis of Cryptographic Dangers with TLS Session Tickets. 32nd USENIX Security Symposium.
LibreCat
| Download (ext.)
2023 | Bachelorsthesis | LibreCat-ID: 45762
Simon-Mertens, F. (2023). Effizienzanalyse leichtgewichtiger Neuronaler Netze für FPGA-basierte Modulationsklassifikation.
LibreCat
2023 | Conference Paper | LibreCat-ID: 45793
Grigoryan, K., Fichtler, T., Schreiner, N., Rabe, M., Panzner, M., Kühn, A., Dumitrescu, R., & Koldewey, C. (2023). Data-Driven Product Management: A Practitioner-Driven Research Agenda. Procedia CIRP 33. 33rd CIRP Design Conference, Sydney.
LibreCat
2023 | Conference Paper | LibreCat-ID: 45812
Özcan, L., Fichtler, T., Kasten, B., Koldewey, C., & Dumitrescu, R. (2023). Interview Study on Strategy Options for Platform Operation in B2B Markets. ISPIM Innovation Conference, Ljubljana.
LibreCat
2023 | Conference Paper | LibreCat-ID: 33734 |
KOUAGOU, N. J., Heindorf, S., Demir, C., & Ngonga Ngomo, A.-C. (2023). Neural Class Expression Synthesis. In C. Pesquita, E. Jimenez-Ruiz, J. McCusker, D. Faria, M. Dragoni, A. Dimou, R. Troncy, & S. Hertling (Eds.), The Semantic Web - 20th Extended Semantic Web Conference (ESWC 2023) (Vol. 13870, pp. 209–226). Springer International Publishing. https://doi.org/10.1007/978-3-031-33455-9_13
LibreCat
| DOI
| Download (ext.)
2023 | Preprint | LibreCat-ID: 37937
Sieger, L. N., Heindorf, S., Blübaum, L., & Ngonga Ngomo, A.-C. (2023). Counterfactual Explanations for Concepts in ELH. In arXiv:2301.05109.
LibreCat
| Download (ext.)
| arXiv
2023 | Dissertation | LibreCat-ID: 44323
Kersting, J. (2023). Identifizierung quantifizierbarer Bewertungsinhalte und -kategorien mittels Text Mining. Universität der Bundeswehr München .
LibreCat
| Files available
2023 | Book Chapter | LibreCat-ID: 45875 |
Götte, T., Knollmann, T., Meyer auf der Heide, F., Scheideler, C., & Werthmann, J. (2023). Capabilities and Limitations of Local Strategies in Dynamic Networks. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, & H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 1--20). Heinz Nixdorf Institut, Universität Paderborn. https://doi.org/10.5281/zenodo.8060372
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45895 |
Karl, H., Maack, M., Meyer auf der Heide, F., Pukrop, S., & Redder, A. (2023). On-The-Fly Compute Centers II: Execution of Composed Services in Configurable Compute Centers. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, & H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 183–202). Heinz Nixdorf Institut, Universität Paderborn. https://doi.org/10.5281/zenodo.8068664
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45901 |
Blömer, J., Bobolz, J., Eidens, F., Jager, T., & Kramer, P. (2023). Practical Cryptograhic Techniques for Secure and Privacy-Preserving Customer Loyalty Systems. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, & H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 237–246). Heinz Nixdorf Institut, Universität Paderborn. https://doi.org/10.5281/zenodo.8068755
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45899 |
Boschmann, A., Clausing, L., Jentzsch, F., Ghasemzadeh Mohammadi, H., & Platzner, M. (2023). Flexible Industrial Analytics on Reconfigurable Systems-On-Chip. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, & H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 225–236). Heinz Nixdorf Institut, Universität Paderborn. https://doi.org/10.5281/zenodo.8068713
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45888 |
Wehrheim, H., Platzner, M., Bodden, E., Schubert, P., Pauck, F., & Jakobs, M.-C. (2023). Verifying Software and Reconfigurable Hardware Services. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, & H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 125–144). Heinz Nixdorf Institut, Universität Paderborn. https://doi.org/10.5281/zenodo.8068583
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45897 |
Gottschalk, S., Vorbohle, C., Kundisch, D., Engels, G., & Wünderlich, N. V. (2023). Architectural Management of OTF Computing Markets. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, & H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 203–224). Heinz Nixdorf Institut, Universität Paderborn. https://doi.org/10.5281/zenodo.8068691
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45891 |
Blömer, J., Eidens, F., Jager, T., Niehues, D., & Scheideler, C. (2023). Robustness and Security. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, & H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 145–164). Heinz Nixdorf Institut, Universität Paderborn. https://doi.org/10.5281/zenodo.8068629
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45882 |
Bäumer, F. S., Chen, W.-F., Geierhos, M., Kersting, J., & Wachsmuth, H. (2023). Dialogue-based Requirement Compensation and Style-adjusted Data-to-text Generation. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, & H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 65–84). Heinz Nixdorf Institut, Universität Paderborn. https://doi.org/10.5281/zenodo.8068456
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45884 |
Hanselle, J. M., Hüllermeier, E., Mohr, F., Ngonga Ngomo, A.-C., Sherif, M., Tornede, A., & Wever, M. D. (2023). Configuration and Evaluation. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, & H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 85–104). Heinz Nixdorf Institut, Universität Paderborn. https://doi.org/10.5281/zenodo.8068466
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45878 |
Haake, C.-J., Hehenkamp, B., & Polevoy, G. (2023). The Market for Services: Incentives, Algorithms, Implementation. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, & H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 21–44). Heinz Nixdorf Institut, Universität Paderborn. https://doi.org/10.5281/zenodo.8068414
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45886 |
Wehrheim, H., Hüllermeier, E., Becker, S., Becker, M., Richter, C., & Sharma, A. (2023). Composition Analysis in Unknown Contexts. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, & H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 105–123). Heinz Nixdorf Institut, Universität Paderborn. https://doi.org/10.5281/zenodo.8068510
LibreCat
| Files available
| DOI