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.
9719 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
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 | Book | LibreCat-ID: 41369
Mechatronik und elektrische Antriebe / Mechatronics and electrical drives
J. Böcker, Mechatronik und elektrische Antriebe / Mechatronics and electrical drives, Paderborn University, Paderborn, n.d.
LibreCat
| DOI
J. Böcker, Mechatronik und elektrische Antriebe / Mechatronics and electrical drives, Paderborn University, Paderborn, n.d.
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 | Journal Article | LibreCat-ID: 34814
A $C^k$-seeley-extension-theorem for Bastiani’s differential calculus
M. Hanusch, Canadian Journal of Mathematics 75 (2023) 170–201.
LibreCat
| DOI
M. Hanusch, Canadian Journal of Mathematics 75 (2023) 170–201.
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 | Conference Paper | LibreCat-ID: 42804
Nonlinear S-Parameter Behavioral Model of a Photonic Radar Transceiver Chipset for Automotive Applications
S. Kruse, T. Schwabe, P. Kneuper, M.-M. Meinecke, H.G. Kurz, J.C. Scheytt, in: 2023.
LibreCat
| Files available
S. Kruse, T. Schwabe, P. Kneuper, M.-M. Meinecke, H.G. Kurz, J.C. Scheytt, in: 2023.
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: 43018 |
Numerical study of light backscattering from layers of absorbing irregular particles larger than the wavelength
S. Alhaddad, J. Förstner, Y. Grynko, Journal of Quantitative Spectroscopy and Radiative Transfer 302 (2023).
LibreCat
| Files available
| DOI
S. Alhaddad, J. Förstner, Y. Grynko, Journal of Quantitative Spectroscopy and Radiative Transfer 302 (2023).
2023 | Conference Paper | LibreCat-ID: 39359
LoRa Transceiver for Load Monitoring and Control System in Microgrids
I. Mwammenywa, D. Petrov, P. Holle, U. Hilleringmann, in: 2022 International Conference on Engineering and Emerging Technologies (ICEET), IEEE, 2023.
LibreCat
| DOI
I. Mwammenywa, D. Petrov, P. Holle, U. Hilleringmann, in: 2022 International Conference on Engineering and Emerging Technologies (ICEET), IEEE, 2023.
2023 | Preprint | LibreCat-ID: 43048
fpgaDDS: An Intra-FPGA Data Distribution Service for ROS 2 Robotics Applications
C. Lienen, S.H. Middeke, M. Platzner, (2023).
LibreCat
| Download (ext.)
C. Lienen, S.H. Middeke, M. Platzner, (2023).
2023 | Conference Paper | LibreCat-ID: 31849 |
Student Teachers ’ Knowledge of Congruence before a University Course on Geometry
M. Hoffmann, R. Biehler, 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., Hannover, 2023.
LibreCat
| Files available
| Download (ext.)
M. Hoffmann, R. Biehler, 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., Hannover, 2023.
2023 | Conference Paper | LibreCat-ID: 43097 |
Innovations in university teaching based on mathematic education research
I. Florensa, M. Hoffmann, A. Romo Vázquez, M. Zandieh, R. Martínez-Planell, 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), Hannover, 2023.
LibreCat
| Files available
| Download (ext.)
I. Florensa, M. Hoffmann, A. Romo Vázquez, M. Zandieh, R. Martínez-Planell, 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), Hannover, 2023.
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.