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.

5792 Publications


2023 | Book Chapter | LibreCat-ID: 40511
S. Hüsing, C. Schulte, and F. Winkelnkemper, “Epistemic Programming,” in Computer Science Education, Bloomsbury Academic, 2023.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 33947
J. Castenow, J. Harbig, D. Jung, T. Knollmann, and F. Meyer auf der Heide, “Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation,” Theoretical Computer Science, vol. 939, pp. 261–291, 2023, doi: 10.1016/j.tcs.2022.10.031.
LibreCat | DOI | arXiv
 

2023 | Conference Paper | LibreCat-ID: 41812
L. Luo, G. Piskachev, R. Krishnamurthy, J. Dolby, M. Schäf, and E. Bodden, “Model Generation For Java Frameworks,” 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 41813
A. P. Shivarpatna Venkatesh, J. Wang, L. Li, and E. Bodden, “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis,” 2023.
LibreCat
 

2023 | Journal Article | LibreCat-ID: 34402
E. Yigitbas, J. Klauke, S. Gottschalk, and G. Engels, “End-User Development of Interactive Web-Based Virtual Reality Scenes,” Journal on Computer Languages (COLA) , 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 33511
E. Yigitbas and G. Engels, “Enhancing Robot Programming through Digital Twin and Augmented Reality ,” 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 34401
E. Yigitbas, S. Krois, S. Gottschalk, and G. Engels, “Towards Enhanced Guiding Mechanisms in VR Training through Process Mining,” 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 34008
J. Castenow, J. Harbig, D. Jung, P. Kling, T. Knollmann, and F. 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) , Brussels, 2023, vol. 253, p. 15:1–15:25, doi: 10.4230/LIPIcs.OPODIS.2022.15.
LibreCat | DOI | arXiv
 

2023 | Preprint | LibreCat-ID: 42160 | OA
S. Werner and S. 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
S. Gharibian and D. Rudolph, “Quantum space, ground space traversal, and how to embed multi-prover  interactive proofs into unentanglement,” in 14th Innovations in Theoretical Computer Science (ITCS), 2023, vol. 251, p. 53:1-53:23, doi: 10.4230/LIPIcs.ITCS.2023.53.
LibreCat | DOI | arXiv
 

2023 | Journal Article | LibreCat-ID: 27426 | OA
B. Gebken, K. Bieker, and S. Peitz, “On the structure of regularization paths for piecewise differentiable regularization terms,” Journal of Global Optimization, vol. 85, no. 3, pp. 709–741, 2023, doi: 10.1007/s10898-022-01223-2.
LibreCat | DOI | Download (ext.)
 

2023 | Journal Article | LibreCat-ID: 43109
T. Götte, C. Kolb, C. Scheideler, and J. Werthmann, “Beep-and-Sleep: Message and Energy Efficient Set Cover,” Theor. Comput. Sci., vol. 950, p. 113756, 2023, doi: 10.1016/j.tcs.2023.113756.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 43424
E. Yigitbas, A. Nowosad, and G. Engels, “Supporting Construction and Architectural Visualization through BIM and AR/VR: A Systematic Literature Review,” 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 30125 | OA
M. Schaller, K. Worthmann, F. Philipp, S. Peitz, and F. Nüske, “Towards reliable data-based optimal and predictive control using extended DMD,” in IFAC-PapersOnLine, 2023, vol. 56, no. 1, pp. 169–174, doi: 10.1016/j.ifacol.2023.02.029.
LibreCat | DOI | Download (ext.) | arXiv
 

2023 | Journal Article | LibreCat-ID: 44077
M. Maack, “Online load balancing on uniform machines with limited migration,” Operations Research Letters, vol. 51, no. 3, pp. 220–225, 2023, doi: 10.1016/j.orl.2023.02.013.
LibreCat | DOI
 

2023 | Mastersthesis | LibreCat-ID: 43374 | OA
P. Schürmann, A Formal Comparison of Advanced Digital Signature Primitives. 2023.
LibreCat | Files available
 

2023 | Conference Paper | LibreCat-ID: 20841 | OA
S. Gharibian, J. Watson, and J. Bausch, “The Complexity of Translationally Invariant Problems beyond Ground State Energies,” in Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science (STACS), 2023, vol. 254, p. 54:1-54:21, doi: https://doi.org/10.4230/LIPIcs.STACS.2023.54.
LibreCat | DOI | Download (ext.) | arXiv
 

2023 | Conference Paper | LibreCat-ID: 44194 | OA
Q. A. Ahmed, M. Awais, and M. Platzner, “MAAS: Hiding Trojans in Approximate Circuits,” presented at the The 24th International Symposium on Quality Electronic Design (ISQED’23), San Fransico CA 94023-0607, USA, 2023.
LibreCat | Files available
 

2023 | Mastersthesis | LibreCat-ID: 44735
J. Schweichhart, Minimum Edge Cuts in Overlay Networks. 2023.
LibreCat
 

2023 | Book Chapter | LibreCat-ID: 44769
J. Castenow, J. Harbig, and F. Meyer auf der Heide, “Unifying Gathering Protocols for Swarms of Mobile Robots,” in Lecture Notes in Computer Science, Cham: Springer International Publishing, 2023.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed