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.
9153 Publications
2023 | Book Chapter | LibreCat-ID: 40511
Hüsing, Sven, Carsten Schulte, and Felix Winkelnkemper. “Epistemic Programming.” In Computer Science Education. Bloomsbury Academic, 2023. https://doi.org/10.5040/9781350296947.ch-022.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 33947
Castenow, Jannik, Jonas Harbig, Daniel Jung, Till Knollmann, and Friedhelm Meyer auf der Heide. “Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation.” Theoretical Computer Science 939 (2023): 261–91. https://doi.org/10.1016/j.tcs.2022.10.031.
LibreCat
| DOI
| arXiv
2023 | Book | LibreCat-ID: 36558
Matz, Frauke, Michael Rogge, and Dominik Rumlich. Die mündliche Prüfung. Eine Einführung. Tübingen: Narr, 2023.
LibreCat
2023 | Book | LibreCat-ID: 41369
Böcker, Joachim. Mechatronik und elektrische Antriebe / Mechatronics and electrical drives. Paderborn: Paderborn University, n.d. https://doi.org/10.17619/UNIPB/1-1640.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 41456
Kolbaum, Anna Elena, Sebastian Ptok, Christian Jung, Lars Libuda, and Oliver Lindtner. “Reusability of Germany´s Total Diet Study Food List upon Availability of New Food Consumption Data—Comparison of Three Update Strategies.” Journal of Exposure Science & Environmental Epidemiology, 2023. https://doi.org/10.1038/s41370-023-00522-4.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 41812
Luo, Linghui, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Martin Schäf, and Eric Bodden. “Model Generation For Java Frameworks.” In IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 41813
Shivarpatna Venkatesh, Ashwin Prasad, Jiawei Wang, Li Li, and Eric Bodden. “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.” In IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.
LibreCat
2023 | Dissertation | LibreCat-ID: 41970
Dunst, Paul. Modellierung und Optimierung reibungsbasierter Ultraschall-Pulvertransportprozesse. Vol. 14. Schriften des Lehrstuhls für Dynamik und Mechatronik. Shaker, 2023.
LibreCat
| Files available
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 34402
Yigitbas, Enes, Jonas Klauke, Sebastian Gottschalk, and Gregor Engels. “End-User Development of Interactive Web-Based Virtual Reality Scenes.” Journal on Computer Languages (COLA) , 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 33511
Yigitbas, Enes, and Gregor Engels. “Enhancing Robot Programming through Digital Twin and Augmented Reality .” In 56th Hawaii International Conference on System Science (HICSS 2023) . ScholarSpace, 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 34401
Yigitbas, Enes, Sebastian Krois, Sebastian Gottschalk, and Gregor Engels. “Towards Enhanced Guiding Mechanisms in VR Training through Process Mining.” In Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) , 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 34008
Castenow, Jannik, Jonas Harbig, Daniel Jung, Peter Kling, Till Knollmann, and Friedhelm Meyer auf der Heide. “A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility .” In Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) , edited by Eshcar Hillel, Roberto Palmieri, and Etienne Riviére, 253:15:1–15:25. Leibniz International Proceedings in Informatics (LIPIcs). Brussels: Schloss Dagstuhl – Leibniz Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.OPODIS.2022.15.
LibreCat
| DOI
| arXiv
2023 | Preprint | LibreCat-ID: 42160 | 
Werner, Stefan, and Sebastian Peitz. “Learning a Model Is Paramount for Sample Efficiency in Reinforcement Learning Control of PDEs.” ArXiv:2302.07160, 2023.
LibreCat
| Download (ext.)
| arXiv
2023 | Conference Paper | LibreCat-ID: 31872
Gharibian, Sevag, and Dorian Rudolph. “Quantum Space, Ground Space Traversal, and How to Embed Multi-Prover Interactive Proofs into Unentanglement.” In 14th Innovations in Theoretical Computer Science (ITCS), 251:53:1-53:23, 2023. https://doi.org/10.4230/LIPIcs.ITCS.2023.53.
LibreCat
| DOI
| arXiv
2023 | Book (Editor) | LibreCat-ID: 42680
Beverungen, Daniel, Jörg Becker, Andera Gadeib, and Gertrud Schmitz, eds. Interaktive Einkaufserlebnisse in Innenstädten. Berlin, Heidelberg: Springer Berlin Heidelberg, 2023. https://doi.org/10.1007/978-3-662-65814-7.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 27426 |
Gebken, Bennet, Katharina Bieker, and Sebastian Peitz. “On the Structure of Regularization Paths for Piecewise Differentiable Regularization Terms.” Journal of Global Optimization 85, no. 3 (2023): 709–41. https://doi.org/10.1007/s10898-022-01223-2.
LibreCat
| DOI
| Download (ext.)
2023 | Bachelorsthesis | LibreCat-ID: 43058
Tiessen, Michelle. Zur Effektivität des europäischen Kronzeugenprogramms - Der Fall des LKW-Kartells, 2023.
LibreCat
2023 | Journal Article | LibreCat-ID: 43109
Götte, Thorsten, Christina Kolb, Christian Scheideler, and Julian Werthmann. “Beep-and-Sleep: Message and Energy Efficient Set Cover.” Theor. Comput. Sci. 950 (2023): 113756. https://doi.org/10.1016/j.tcs.2023.113756.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 43424
Yigitbas, Enes, Alexander Nowosad, and Gregor Engels. “Supporting Construction and Architectural Visualization through BIM and AR/VR: A Systematic Literature Review.” In Proceedings of the 19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023). Springer, 2023.
LibreCat
2023 | Dissertation | LibreCat-ID: 43829
Badalov, Sabuhi. Modelling Electron Exchange and Correlation for Catalyst Electronic Structure Simulations, 2023. https://doi.org/10.17619/UNIPB/1-1680.
LibreCat
| DOI
| Download (ext.)