Pilot, M. (2023). Updatable Privacy-Preserving Reputation System based on Blockchain.
LibreCat: /record/40440

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: /record/40511
DOI: 10.5040/9781350296947.ch-022

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: /record/33947
DOI: 10.1016/j.tcs.2022.10.031
arXiv: 2010.04424 

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: /record/41812

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: /record/41813

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: /record/34402

Yigitbas, E., &; Engels, G. (2023). Enhancing Robot Programming through Digital Twin and Augmented Reality . 56th Hawaii International Conference on System Science (HICSS 2023) .
LibreCat: /record/33511

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: /record/34401

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: /record/34008
DOI: 10.4230/LIPIcs.OPODIS.2022.15
arXiv: 2206.07567 

Werner, S., &; Peitz, S. (2023). Learning a model is paramount for sample efficiency in reinforcement  learning control of PDEs. In arXiv:2302.07160.
LibreCat: /record/42160
arXiv: 2302.07160

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: /record/31872
DOI: 10.4230/LIPIcs.ITCS.2023.53
arXiv: 2206.05243

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: /record/27426
DOI: 10.1007/s10898-022-01223-2

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: /record/43109
DOI: 10.1016/j.tcs.2023.113756

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 T International Conference on Human-Computer Interaction (INTERACT 2023).
LibreCat: /record/43424

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: /record/30125
DOI: 10.1016/j.ifacol.2023.02.029
arXiv: 2202.09084

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: /record/44077
DOI: 10.1016/j.orl.2023.02.013

Schürmann, P. (2023).  A Formal Comparison of Advanced Digital Signature Primitives.
LibreCat: /record/43374

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: /record/20841
DOI: https://doi.org/10.4230/LIPIcs.STACS.2023.54
arXiv: 2012.12717

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: /record/44194

Schweichhart, J. (2023). Minimum Edge Cuts in Overlay Networks.
LibreCat: /record/44735