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
@inbook{Hüsing_Schulte_Winkelnkemper_2023, title={Epistemic Programming}, DOI={10.5040/9781350296947.ch-022}, booktitle={Computer Science Education}, publisher={Bloomsbury Academic}, author={Hüsing, Sven and Schulte, Carsten and Winkelnkemper, Felix}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 33947
@article{Castenow_Harbig_Jung_Knollmann_Meyer auf der Heide_2023, title={Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation}, volume={939}, DOI={10.1016/j.tcs.2022.10.031}, journal={Theoretical Computer Science}, publisher={Elsevier BV}, author={Castenow, Jannik and Harbig, Jonas and Jung, Daniel and Knollmann, Till and Meyer auf der Heide, Friedhelm}, year={2023}, pages={261–291} }
LibreCat
| DOI
| arXiv
2023 | Book | LibreCat-ID: 41369
@book{Böcker, place={Paderborn}, title={Mechatronik und elektrische Antriebe / Mechatronics and electrical drives}, DOI={10.17619/UNIPB/1-1640}, publisher={Paderborn University}, author={Böcker, Joachim} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 41812
@inproceedings{Luo_Piskachev_Krishnamurthy_Dolby_Schäf_Bodden_2023, title={Model Generation For Java Frameworks}, booktitle={IEEE International Conference on Software Testing, Verification and Validation (ICST)}, author={Luo, Linghui and Piskachev, Goran and Krishnamurthy, Ranjith and Dolby, Julian and Schäf, Martin and Bodden, Eric}, year={2023} }
LibreCat
2023 | Conference Paper | LibreCat-ID: 41813
@inproceedings{Shivarpatna Venkatesh_Wang_Li_Bodden_2023, title={Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis}, booktitle={IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, author={Shivarpatna Venkatesh, Ashwin Prasad and Wang, Jiawei and Li, Li and Bodden, Eric}, year={2023} }
LibreCat
2023 | Journal Article | LibreCat-ID: 34402
@article{Yigitbas_Klauke_Gottschalk_Engels_2023, title={End-User Development of Interactive Web-Based Virtual Reality Scenes}, journal={Journal on Computer Languages (COLA) }, publisher={Elsevier}, author={Yigitbas, Enes and Klauke, Jonas and Gottschalk, Sebastian and Engels, Gregor}, year={2023} }
LibreCat
2023 | Conference Paper | LibreCat-ID: 33511
@inproceedings{Yigitbas_Engels_2023, title={Enhancing Robot Programming through Digital Twin and Augmented Reality }, booktitle={56th Hawaii International Conference on System Science (HICSS 2023) }, publisher={ScholarSpace}, author={Yigitbas, Enes and Engels, Gregor}, year={2023} }
LibreCat
2023 | Conference Paper | LibreCat-ID: 34401
@inproceedings{Yigitbas_Krois_Gottschalk_Engels_2023, title={Towards Enhanced Guiding Mechanisms in VR Training through Process Mining}, booktitle={Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) }, author={Yigitbas, Enes and Krois, Sebastian and Gottschalk, Sebastian and Engels, Gregor}, year={2023} }
LibreCat
2023 | Conference Paper | LibreCat-ID: 34008
@inproceedings{Castenow_Harbig_Jung_Kling_Knollmann_Meyer auf der Heide_2023, place={Brussels}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility }, volume={253}, DOI={10.4230/LIPIcs.OPODIS.2022.15}, booktitle={Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) }, publisher={Schloss Dagstuhl – Leibniz Zentrum für Informatik}, author={Castenow, Jannik and Harbig, Jonas and Jung, Daniel and Kling, Peter and Knollmann, Till and Meyer auf der Heide, Friedhelm}, editor={Hillel, Eshcar and Palmieri, Roberto and Riviére, Etienne}, year={2023}, pages={15:1–15:25}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
| arXiv
2023 | Preprint | LibreCat-ID: 42160 | 
@article{Werner_Peitz_2023, title={Learning a model is paramount for sample efficiency in reinforcement learning control of PDEs}, journal={arXiv:2302.07160}, author={Werner, Stefan and Peitz, Sebastian}, year={2023} }
LibreCat
| Download (ext.)
| arXiv
2023 | Journal Article | LibreCat-ID: 34814
@article{Hanusch_2023, title={A $C^k$-seeley-extension-theorem for Bastiani’s differential calculus}, volume={75}, DOI={10.4153/s0008414x21000596}, number={1}, journal={Canadian Journal of Mathematics}, publisher={Canadian Mathematical Society}, author={Hanusch, Maximilian}, year={2023}, pages={170–201} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 31872
@inproceedings{Gharibian_Rudolph_2023, title={Quantum space, ground space traversal, and how to embed multi-prover interactive proofs into unentanglement}, volume={251}, DOI={10.4230/LIPIcs.ITCS.2023.53}, booktitle={14th Innovations in Theoretical Computer Science (ITCS)}, author={Gharibian, Sevag and Rudolph, Dorian}, year={2023}, pages={53:1-53:23} }
LibreCat
| DOI
| arXiv
2023 | Conference Paper | LibreCat-ID: 42804
@inproceedings{Kruse_Schwabe_Kneuper_Meinecke_Kurz_Scheytt_2023, title={Nonlinear S-Parameter Behavioral Model of a Photonic Radar Transceiver Chipset for Automotive Applications}, author={Kruse, Stephan and Schwabe, Tobias and Kneuper, Pascal and Meinecke, Marc-Michael and Kurz, Heiko G. and Scheytt, J. Christoph}, year={2023} }
LibreCat
| Files available
2023 | Journal Article | LibreCat-ID: 27426 |
@article{Gebken_Bieker_Peitz_2023, title={On the structure of regularization paths for piecewise differentiable regularization terms}, volume={85}, DOI={10.1007/s10898-022-01223-2}, number={3}, journal={Journal of Global Optimization}, author={Gebken, Bennet and Bieker, Katharina and Peitz, Sebastian}, year={2023}, pages={709–741} }
LibreCat
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 43018 |
@article{Alhaddad_Förstner_Grynko_2023, title={Numerical study of light backscattering from layers of absorbing irregular particles larger than the wavelength}, volume={302}, DOI={10.1016/j.jqsrt.2023.108557}, number={108557}, journal={Journal of Quantitative Spectroscopy and Radiative Transfer}, publisher={Elsevier BV}, author={Alhaddad, Samer and Förstner, Jens and Grynko, Yevgen}, year={2023} }
LibreCat
| Files available
| DOI
2023 | Conference Paper | LibreCat-ID: 39359
@inproceedings{Mwammenywa_Petrov_Holle_Hilleringmann_2023, title={LoRa Transceiver for Load Monitoring and Control System in Microgrids}, DOI={10.1109/iceet56468.2022.10007274}, booktitle={2022 International Conference on Engineering and Emerging Technologies (ICEET)}, publisher={IEEE}, author={Mwammenywa, Ibrahim and Petrov, Dmitry and Holle, Philipp and Hilleringmann, Ulrich}, year={2023} }
LibreCat
| DOI
2023 | Preprint | LibreCat-ID: 43048
@article{Lienen_Middeke_Platzner_2023, title={fpgaDDS: An Intra-FPGA Data Distribution Service for ROS 2 Robotics Applications}, author={Lienen, Christian and Middeke, Sorel Horst and Platzner, Marco}, year={2023} }
LibreCat
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 31849 |
@inproceedings{Hoffmann_Biehler_2023, place={Hannover}, title={Student Teachers ’ Knowledge of Congruence before a University Course on Geometry}, booktitle={Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022)}, publisher={University of Hannover and INDRUM.}, author={Hoffmann, Max and Biehler, Rolf}, editor={Trigueros, Marı́a and Barquero, Berta and Hochmuth, Reinhard and Peters, Jana}, year={2023} }
LibreCat
| Files available
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 43097 |
@inproceedings{Florensa_Hoffmann_Romo Vázquez_Zandieh_Martínez-Planell_2023, place={Hannover}, title={Innovations in university teaching based on mathematic education research}, booktitle={Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022)}, author={Florensa, Ignasio and Hoffmann, Max and Romo Vázquez, Avenilde and Zandieh, Michelle and Martínez-Planell, Rafael}, editor={Trigueros, Marı́a and Barquero, Berta and Hochmuth, Reinhard and Peters, Jana}, year={2023} }
LibreCat
| Files available
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 43109
@article{Götte_Kolb_Scheideler_Werthmann_2023, title={Beep-and-Sleep: Message and Energy Efficient Set Cover}, volume={950}, DOI={10.1016/j.tcs.2023.113756}, journal={Theor. Comput. Sci.}, author={Götte, Thorsten and Kolb, Christina and Scheideler, Christian and Werthmann, Julian}, year={2023}, pages={113756} }
LibreCat
| DOI