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.
6169 Publications
2023 | Conference Paper | LibreCat-ID: 54997
Turhan, Anni-Yasmin. “Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk).” Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) Co-Located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, edited by Oliver Kutz et al., vol. 3515, CEUR-WS.org, 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 37553
Schrader, Elena, et al. “Examples of AI-Based Assistance Systems in Context of Model-Based Systems Engineering.” 2022 IEEE International Symposium on Systems Engineering (ISSE), IEEE, 2023, doi:10.1109/isse54508.2022.10005487.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 35426 | 
Richter, Cedric, et al. “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?” 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023, doi:10.1145/3551349.3561156.
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 36848
Schott, Stefan, and Felix Pauck. “Benchmark Fuzzing for Android Taint Analyses.” 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023, doi:10.1109/scam55253.2022.00007.
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 35427 |
Pauck, Felix. “Scaling Arbitrary Android App Analyses.” 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023, doi:10.1145/3551349.3561339.
LibreCat
| DOI
| Download (ext.)
2023 | Mastersthesis | LibreCat-ID: 40440
Pilot, Matthias. Updatable Privacy-Preserving Reputation System Based on Blockchain. 2023.
LibreCat
2023 | Book Chapter | LibreCat-ID: 40511
Hüsing, Sven, et al. “Epistemic Programming.” Computer Science Education, Bloomsbury Academic, 2023, doi:10.5040/9781350296947.ch-022.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 33947
Castenow, Jannik, et al. “Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation.” Theoretical Computer Science, vol. 939, Elsevier BV, 2023, pp. 261–91, doi:10.1016/j.tcs.2022.10.031.
LibreCat
| DOI
| arXiv
2023 | Conference Paper | LibreCat-ID: 41813
Shivarpatna Venkatesh, Ashwin Prasad, et al. “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.” IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.
LibreCat
2023 | Journal Article | LibreCat-ID: 34402
Yigitbas, Enes, et al. “End-User Development of Interactive Web-Based Virtual Reality Scenes.” Journal on Computer Languages (COLA) , Elsevier, 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 33511
Yigitbas, Enes, and Gregor Engels. “Enhancing Robot Programming through Digital Twin and Augmented Reality .” 56th Hawaii International Conference on System Science (HICSS 2023) , ScholarSpace, 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 34401
Yigitbas, Enes, et al. “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) , 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 34008
Castenow, Jannik, et al. “A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility .” Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) , edited by Eshcar Hillel et al., vol. 253, Schloss Dagstuhl – Leibniz Zentrum für Informatik, 2023, p. 15:1–15:25, doi: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.” 14th Innovations in Theoretical Computer Science (ITCS), vol. 251, 2023, p. 53:1-53:23, doi:10.4230/LIPIcs.ITCS.2023.53.
LibreCat
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 27426 |
Gebken, Bennet, et al. “On the Structure of Regularization Paths for Piecewise Differentiable Regularization Terms.” Journal of Global Optimization, vol. 85, no. 3, 2023, pp. 709–41, doi:10.1007/s10898-022-01223-2.
LibreCat
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 43109
Götte, Thorsten, et al. “Beep-and-Sleep: Message and Energy Efficient Set Cover.” Theor. Comput. Sci., vol. 950, 2023, p. 113756, doi:10.1016/j.tcs.2023.113756.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 43424
Yigitbas, Enes, et al. “Supporting Construction and Architectural Visualization through BIM and AR/VR: A Systematic Literature Review.” Proceedings of the 19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), Springer, 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 30125 |
Schaller, Manuel, et al. “Towards Reliable Data-Based Optimal and Predictive Control Using Extended DMD.” IFAC-PapersOnLine, vol. 56, no. 1, 2023, pp. 169–74, doi:10.1016/j.ifacol.2023.02.029.
LibreCat
| DOI
| Download (ext.)
| arXiv
2023 | Journal Article | LibreCat-ID: 44077
Maack, Marten. “Online Load Balancing on Uniform Machines with Limited Migration.” Operations Research Letters, vol. 51, no. 3, Elsevier BV, 2023, pp. 220–25, doi:10.1016/j.orl.2023.02.013.
LibreCat
| DOI