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.
10484 Publications
2023 | Conference Paper | LibreCat-ID: 35426 | 
Richter, C., Haltermann, J. F., Jakobs, M.-C., Pauck, F., Schott, S., & Wehrheim, H. (2023). Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? 37th IEEE/ACM International Conference on Automated Software Engineering. https://doi.org/10.1145/3551349.3561156
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 36848
Schott, S., & Pauck, F. (2023). Benchmark Fuzzing for Android Taint Analyses. 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM). https://doi.org/10.1109/scam55253.2022.00007
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 35427 |
Pauck, F. (2023). Scaling Arbitrary Android App Analyses. 37th IEEE/ACM International Conference on Automated Software Engineering. https://doi.org/10.1145/3551349.3561339
LibreCat
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 38280
Noé, R. (2023). Consistent Optical and Electrical Noise Figure. Journal of Lightwave Technology, 41(1), 137–148. https://doi.org/10.1109/JLT.2022.3212936
LibreCat
| DOI
2023 | Mastersthesis | LibreCat-ID: 40440
Pilot, M. (2023). Updatable Privacy-Preserving Reputation System based on Blockchain.
LibreCat
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 | Book | LibreCat-ID: 41369
Böcker, J. (n.d.). Mechatronik und elektrische Antriebe / Mechatronics and electrical drives. Paderborn University. https://doi.org/10.17619/UNIPB/1-1640
LibreCat
| DOI
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 | Journal Article | LibreCat-ID: 34814
Hanusch, M. (2023). A $C^k$-seeley-extension-theorem for Bastiani’s differential calculus. Canadian Journal of Mathematics, 75(1), 170–201. https://doi.org/10.4153/s0008414x21000596
LibreCat
| DOI
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 | Journal Article | LibreCat-ID: 43018 |
Alhaddad, S., Förstner, J., & Grynko, Y. (2023). Numerical study of light backscattering from layers of absorbing irregular particles larger than the wavelength. Journal of Quantitative Spectroscopy and Radiative Transfer, 302, Article 108557. https://doi.org/10.1016/j.jqsrt.2023.108557
LibreCat
| Files available
| DOI
2023 | Conference Paper | LibreCat-ID: 31849 |
Hoffmann, M., & Biehler, R. (2023). Student Teachers ’ Knowledge of Congruence before a University Course on Geometry. In M. Trigueros, B. Barquero, R. Hochmuth, & J. Peters (Eds.), Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022). University of Hannover and INDRUM.
LibreCat
| Files available
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 43097 |
Florensa, I., Hoffmann, M., Romo Vázquez, A., Zandieh, M., & Martínez-Planell, R. (2023). Innovations in university teaching based on mathematic education research. In M. Trigueros, B. Barquero, R. Hochmuth, & J. Peters (Eds.), Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022).
LibreCat
| Files available
| Download (ext.)