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
Epistemic Programming
S. Hüsing, C. Schulte, F. Winkelnkemper, in: Computer Science Education, Bloomsbury Academic, 2023.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 33947
Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation
J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, Theoretical Computer Science 939 (2023) 261–291.
LibreCat | DOI | arXiv
 

2023 | Conference Paper | LibreCat-ID: 41812
Model Generation For Java Frameworks
L. Luo, G. Piskachev, R. Krishnamurthy, J. Dolby, M. Schäf, E. Bodden, in: IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 41813
Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis
A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.
LibreCat
 

2023 | Journal Article | LibreCat-ID: 34402
End-User Development of Interactive Web-Based Virtual Reality Scenes
E. Yigitbas, J. Klauke, S. Gottschalk, G. Engels, Journal on Computer Languages (COLA) (2023).
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 33511
Enhancing Robot Programming through Digital Twin and Augmented Reality
E. Yigitbas, G. Engels, in: 56th Hawaii International Conference on System Science (HICSS 2023) , ScholarSpace, 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 34401
Towards Enhanced Guiding Mechanisms in VR Training through Process Mining
E. Yigitbas, S. Krois, S. Gottschalk, G. Engels, in: Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) , 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 34008
A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility
J. Castenow, J. Harbig, D. Jung, P. Kling, T. Knollmann, F. Meyer auf der Heide, in: E. Hillel, R. Palmieri, E. Riviére (Eds.), Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) , Schloss Dagstuhl – Leibniz Zentrum für Informatik, Brussels, 2023, p. 15:1–15:25.
LibreCat | DOI | arXiv
 

2023 | Preprint | LibreCat-ID: 42160 | OA LibreCat | Download (ext.) | arXiv
 

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
 

2023 | Journal Article | LibreCat-ID: 27426 | OA
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.)
 

2023 | Preprint | LibreCat-ID: 43048 LibreCat | Download (ext.)
 

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
 

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
 

2023 | Conference Paper | LibreCat-ID: 30125 | OA
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
 

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
 

2023 | Mastersthesis | LibreCat-ID: 43374 | OA
A Formal Comparison of Advanced Digital Signature Primitives
P. Schürmann, A Formal Comparison of Advanced Digital Signature Primitives, 2023.
LibreCat | Files available
 

2023 | Conference Paper | LibreCat-ID: 20841 | OA
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
 

2023 | Conference Paper | LibreCat-ID: 44194 | OA
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
 

2023 | Mastersthesis | LibreCat-ID: 44735
Minimum Edge Cuts in Overlay Networks
J. Schweichhart, Minimum Edge Cuts in Overlay Networks, 2023.
LibreCat
 

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
 

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
 

2023 | Dissertation | LibreCat-ID: 43108
Cooperative Android App Analysis
F. Pauck, Cooperative Android App Analysis, Paderborn University, 2023.
LibreCat | DOI
 

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
 

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.)
 

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
 

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
 

2023 | Bachelorsthesis | LibreCat-ID: 43375 | OA
Privacy-Preserving Collection and Evaluation of Log Files
A. Koch, Privacy-Preserving Collection and Evaluation of Log Files, 2023.
LibreCat | Files available
 

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
 

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
 

2023 | Dissertation | LibreCat-ID: 45579
Online Algorithms for Allocating Heterogeneous Resources
T. Knollmann, Online Algorithms for Allocating Heterogeneous Resources, 2023.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 45695 | OA
Approximation Algorithms for Fair Range Clustering
S.S. Hotegni, S. Mahabadi, A. Vakilian, in: Proceedings of the 40th International Conference on Machine Learning, Honolulu, Hawaii, USA. PMLR 202, 2023., n.d.
LibreCat | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 43060 | OA
We Really Need to Talk About Session Tickets: A Large-Scale Analysis of Cryptographic Dangers with TLS Session Tickets
S.N. Hebrok, S. Nachtigall, M. Maehren, N. Erinola, R. Merget, J. Somorovsky, J. Schwenk, in: 32nd USENIX Security Symposium, 2023.
LibreCat | Download (ext.)
 

2023 | Bachelorsthesis | LibreCat-ID: 45762
Effizienzanalyse leichtgewichtiger Neuronaler Netze für FPGA-basierte Modulationsklassifikation
F. Simon-Mertens, Effizienzanalyse Leichtgewichtiger Neuronaler Netze Für FPGA-Basierte Modulationsklassifikation, 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 45793
Data-Driven Product Management: A Practitioner-Driven Research Agenda
K. Grigoryan, T. Fichtler, N. Schreiner, M. Rabe, M. Panzner, A. Kühn, R. Dumitrescu, C. Koldewey, in: Procedia CIRP 33, 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 45812
Interview Study on Strategy Options for Platform Operation in B2B Markets
L. Özcan, T. Fichtler, B. Kasten, C. Koldewey, R. Dumitrescu, in: 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 33734 | OA
Neural Class Expression Synthesis
N.J. KOUAGOU, S. Heindorf, C. Demir, A.-C. Ngonga Ngomo, 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), Springer International Publishing, 2023, pp. 209–226.
LibreCat | DOI | Download (ext.)
 

2023 | Preprint | LibreCat-ID: 37937
Counterfactual Explanations for Concepts in ELH
L.N. Sieger, S. Heindorf, L. Blübaum, A.-C. Ngonga Ngomo, ArXiv:2301.05109 (2023).
LibreCat | Download (ext.) | arXiv
 

2023 | Dissertation | LibreCat-ID: 44323
Identifizierung quantifizierbarer Bewertungsinhalte und -kategorien mittels Text Mining
J. Kersting, Identifizierung quantifizierbarer Bewertungsinhalte und -kategorien mittels Text Mining, Universität der Bundeswehr München , Neubiberg, 2023.
LibreCat | Files available
 

2023 | Book Chapter | LibreCat-ID: 45875 | OA
Capabilities and Limitations of Local Strategies in Dynamic Networks
T. Götte, T. Knollmann, F. Meyer auf der Heide, C. Scheideler, J. Werthmann, 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, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 1--20.
LibreCat | Files available | DOI
 

2023 | Book Chapter | LibreCat-ID: 45895 | OA
On-The-Fly Compute Centers II: Execution of Composed Services in Configurable Compute Centers
H. Karl, M. Maack, F. Meyer auf der Heide, S. Pukrop, A. Redder, 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, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 183–202.
LibreCat | Files available | DOI
 

2023 | Book Chapter | LibreCat-ID: 45901 | OA
Practical Cryptograhic Techniques for Secure and Privacy-Preserving Customer Loyalty Systems
J. Blömer, J. Bobolz, F. Eidens, T. Jager, P. Kramer, 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, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 237–246.
LibreCat | Files available | DOI
 

2023 | Book Chapter | LibreCat-ID: 45899 | OA
Flexible Industrial Analytics on Reconfigurable Systems-On-Chip
A. Boschmann, L. Clausing, F. Jentzsch, H. Ghasemzadeh Mohammadi, M. Platzner, 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, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 225–236.
LibreCat | Files available | DOI
 

2023 | Book Chapter | LibreCat-ID: 45888 | OA
Verifying Software and Reconfigurable Hardware Services
H. Wehrheim, M. Platzner, E. Bodden, P. Schubert, F. Pauck, M.-C. Jakobs, 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, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 125–144.
LibreCat | Files available | DOI
 

2023 | Book Chapter | LibreCat-ID: 45897 | OA
Architectural Management of OTF Computing Markets
S. Gottschalk, C. Vorbohle, D. Kundisch, G. Engels, N.V. Wünderlich, 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, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 203–224.
LibreCat | Files available | DOI
 

2023 | Book Chapter | LibreCat-ID: 45891 | OA
Robustness and Security
J. Blömer, F. Eidens, T. Jager, D. Niehues, C. Scheideler, 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, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 145–164.
LibreCat | Files available | DOI
 

2023 | Book Chapter | LibreCat-ID: 45882 | OA
Dialogue-based Requirement Compensation and Style-adjusted Data-to-text Generation
F.S. Bäumer, W.-F. Chen, M. Geierhos, J. Kersting, H. Wachsmuth, 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, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 65–84.
LibreCat | Files available | DOI
 

2023 | Book Chapter | LibreCat-ID: 45884 | OA
Configuration and Evaluation
J.M. Hanselle, E. Hüllermeier, F. Mohr, A.-C. Ngonga Ngomo, M. Sherif, A. Tornede, M.D. Wever, 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, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 85–104.
LibreCat | Files available | DOI
 

2023 | Book Chapter | LibreCat-ID: 45878 | OA
The Market for Services: Incentives, Algorithms, Implementation
C.-J. Haake, B. Hehenkamp, G. Polevoy, 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, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 21–44.
LibreCat | Files available | DOI
 

2023 | Book Chapter | LibreCat-ID: 45886 | OA
Composition Analysis in Unknown Contexts
H. Wehrheim, E. Hüllermeier, S. Becker, M. Becker, C. Richter, A. Sharma, 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, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 105–123.
LibreCat | Files available | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed