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