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
2024 | Journal Article | LibreCat-ID: 53531
IPA: Inference Pipeline Adaptation to Achieve High Accuracy and Cost-Efficiency
S. Ghafouri, K. Razavi, M. Salmani, A. Sanaee, T. Lorido Botran, L. Wang, J. Doyle, P. Jamshidi, Journal of Systems Research (JSys) (n.d.).
LibreCat
S. Ghafouri, K. Razavi, M. Salmani, A. Sanaee, T. Lorido Botran, L. Wang, J. Doyle, P. Jamshidi, Journal of Systems Research (JSys) (n.d.).
2024 | Journal Article | LibreCat-ID: 53622
Empowering Students for the Data-Driven World: A Qualitative Study of the Relevance of Learning about Data-Driven Technologies
L. Höper, C. Schulte, Informatics in Education (2024).
LibreCat
| DOI
L. Höper, C. Schulte, Informatics in Education (2024).
2024 | Journal Article | LibreCat-ID: 53663 | 
Noctua 2 Supercomputer
C. Bauer, T. Kenter, M. Lass, L. Mazur, M. Meyer, H. Nitsche, H. Riebler, R. Schade, M. Schwarz, N. Winnwa, A. Wiens, X. Wu, C. Plessl, J. Simon, Journal of Large-Scale Research Facilities 9 (2024).
LibreCat
| Files available
| DOI
C. Bauer, T. Kenter, M. Lass, L. Mazur, M. Meyer, H. Nitsche, H. Riebler, R. Schade, M. Schwarz, N. Winnwa, A. Wiens, X. Wu, C. Plessl, J. Simon, Journal of Large-Scale Research Facilities 9 (2024).
2024 | Conference Paper | LibreCat-ID: 53807
A Little Certainty is All We Need: Discovery and Synchronization Acceleration in Battery-Free IoT
G. Liu, V. Nigade, H. Bal, L. Wang, in: Proceedings of the 8th ACM Asia Pacific Workshop on Networking (APNET), 2024.
LibreCat
G. Liu, V. Nigade, H. Bal, L. Wang, in: Proceedings of the 8th ACM Asia Pacific Workshop on Networking (APNET), 2024.
2024 | Journal Article | LibreCat-ID: 50476
TARPS: A Toolbox for Enhancing Privacy and Security for Collaborative AR
S.C. Krings, E. Yigitbas, Proceedings of the ACM on Human-Computer Interaction, EICS 8 (2024) 22.
LibreCat
S.C. Krings, E. Yigitbas, Proceedings of the ACM on Human-Computer Interaction, EICS 8 (2024) 22.
2024 | Conference Paper | LibreCat-ID: 53815
Augmented and Virtual Reality for Diet and Nutritional Education: A Systematic Literature Review
E. Yigitbas, J. Mazur, in: Proceedings of the 17th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA 2024), 2024.
LibreCat
E. Yigitbas, J. Mazur, in: Proceedings of the 17th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA 2024), 2024.
2024 | Journal Article | LibreCat-ID: 53813
Development and Usability Evaluation of Transitional Cross-Reality Interfaces
L. Schmidt, E. Yigitbas, Proceedings of the ACM on Human-Computer Interaction, EICS 8 (2024) 31.
LibreCat
L. Schmidt, E. Yigitbas, Proceedings of the ACM on Human-Computer Interaction, EICS 8 (2024) 31.
2024 | Conference Paper | LibreCat-ID: 53816
Measuring Visual Attention Capacity Across xReality
K. Biermeier, I. Scharlau, E. Yigitbas, in: Proceedings of the 17th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA 2024), 2024.
LibreCat
K. Biermeier, I. Scharlau, E. Yigitbas, in: Proceedings of the 17th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA 2024), 2024.
2024 | Conference Paper | LibreCat-ID: 53814
Gamification- and Virtual Reality-Based Learning Environment for UML Class Diagram Modeling
E. Yigitbas, M. Schmidt, A. Bucchiarone, S. Bassanelli, G. Engels, in: IEEE Global Engineering Education Conference 2024, 2024.
LibreCat
E. Yigitbas, M. Schmidt, A. Bucchiarone, S. Bassanelli, G. Engels, in: IEEE Global Engineering Education Conference 2024, 2024.
2024 | Conference Paper | LibreCat-ID: 53821
Effects of Human Avatar Representation in Virtual Reality on Inter-Brain Connections
E. Yigitbas, C. Kaltschmidt, in: Proceedings of the 8th International Conference on Artificial Intelligence and Virtual Reality (AIVR’24), Springer, 2024.
LibreCat
E. Yigitbas, C. Kaltschmidt, in: Proceedings of the 8th International Conference on Artificial Intelligence and Virtual Reality (AIVR’24), Springer, 2024.
2024 | Conference Paper | LibreCat-ID: 53818
Interaction Techniques for Remote Maintenance in an AR Shared Environment
S.C. Krings, K. Biermeier, E. Yigitbas, in: Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE’24), 2024.
LibreCat
S.C. Krings, K. Biermeier, E. Yigitbas, in: Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE’24), 2024.
2024 | Conference Paper | LibreCat-ID: 53820
An Exploratory Study of Fear-Inducing Factors in Virtual Reality Experiences
J. Leichtweiß, E. Yigitbas, in: Proceedings of the 12th International Conference on Serious Games and Applications for Health (SeGAH’24), 2024.
LibreCat
J. Leichtweiß, E. Yigitbas, in: Proceedings of the 12th International Conference on Serious Games and Applications for Health (SeGAH’24), 2024.
2024 | Conference Paper | LibreCat-ID: 53817
Prototyping Cross-Reality Escape Rooms
S. Krois, E. Yigitbas, in: Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE’24), 2024.
LibreCat
S. Krois, E. Yigitbas, in: Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE’24), 2024.
2024 | Conference Paper | LibreCat-ID: 53819
Developing a VR Factory Walkthrough for Use in Schools
S.C. Krings, E. Yigitbas, S. Sauer, in: Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE’24), 2024.
LibreCat
S.C. Krings, E. Yigitbas, S. Sauer, in: Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE’24), 2024.
2023 | Conference Paper | LibreCat-ID: 35083
UpCy: Safely Updating Outdated Dependencies
A.P. Dann, B. Hermann, E. Bodden, (2023).
LibreCat
A.P. Dann, B. Hermann, E. Bodden, (2023).
2023 | Journal Article | LibreCat-ID: 21199 |
On the Universal Transformation of Data-Driven Models to Control Systems
S. Peitz, K. Bieker, Automatica 149 (2023).
LibreCat
| DOI
| Download (ext.)
S. Peitz, K. Bieker, Automatica 149 (2023).
2023 | Conference Paper | LibreCat-ID: 37553
Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering
E. Schrader, R. Bernijazov, M. Foullois, M. Hillebrand, L. Kaiser, R. Dumitrescu, in: 2022 IEEE International Symposium on Systems Engineering (ISSE), IEEE, 2023.
LibreCat
| DOI
E. Schrader, R. Bernijazov, M. Foullois, M. Hillebrand, L. Kaiser, R. Dumitrescu, in: 2022 IEEE International Symposium on Systems Engineering (ISSE), IEEE, 2023.
2023 | Conference Paper | LibreCat-ID: 35426 |
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
C. Richter, J.F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
LibreCat
| DOI
| Download (ext.)
C. Richter, J.F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
2023 | Conference Paper | LibreCat-ID: 36848
Benchmark Fuzzing for Android Taint Analyses
S. Schott, F. Pauck, in: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023.
LibreCat
| DOI
| Download (ext.)
S. Schott, F. Pauck, in: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023.
2023 | Conference Paper | LibreCat-ID: 35427 |
Scaling Arbitrary Android App Analyses
F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
LibreCat
| DOI
| Download (ext.)
F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
2023 | Mastersthesis | LibreCat-ID: 40440
Updatable Privacy-Preserving Reputation System based on Blockchain
M. Pilot, Updatable Privacy-Preserving Reputation System Based on Blockchain, 2023.
LibreCat
M. Pilot, Updatable Privacy-Preserving Reputation System Based on Blockchain, 2023.
2023 | Book Chapter | LibreCat-ID: 40511
Epistemic Programming
S. Hüsing, C. Schulte, F. Winkelnkemper, in: Computer Science Education, Bloomsbury Academic, 2023.
LibreCat
| DOI
S. Hüsing, C. Schulte, F. Winkelnkemper, in: Computer Science Education, Bloomsbury Academic, 2023.
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
J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, Theoretical Computer Science 939 (2023) 261–291.
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
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.
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
A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.
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
E. Yigitbas, J. Klauke, S. Gottschalk, G. Engels, Journal on Computer Languages (COLA) (2023).
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
E. Yigitbas, G. Engels, in: 56th Hawaii International Conference on System Science (HICSS 2023) , ScholarSpace, 2023.
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
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.
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
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.
2023 | Preprint | LibreCat-ID: 42160 |
Learning a model is paramount for sample efficiency in reinforcement learning control of PDEs
S. Werner, S. Peitz, ArXiv:2302.07160 (2023).
LibreCat
| Download (ext.)
| arXiv
S. Werner, S. Peitz, ArXiv:2302.07160 (2023).
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.