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.
5927 Publications
2023 | Conference Paper | LibreCat-ID: 55406
Sengupta M, Alshomary M, Scharlau I, Wachsmuth H. Modeling Highlighting of Metaphors in Multitask Contrastive Learning Paradigms. In: Bouamor H, Pino J, Bali K, eds. Findings of the Association for Computational Linguistics: EMNLP 2023. Association for Computational Linguistics; 2023:4636–4659. doi:10.18653/v1/2023.findings-emnlp.308
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 54997
Turhan A-Y. Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk). In: Kutz O, Lutz C, Ozaki A, eds. 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. Vol 3515. CEUR Workshop Proceedings. CEUR-WS.org; 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 46500
Pottebaum J, Rossel J, Somorovsky J, et al. Re-Envisioning Industrial Control Systems Security by Considering Human Factors as a Core Element of Defense-in-Depth. In: 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). IEEE; 2023:379-385. doi:10.1109/eurospw59978.2023.00048
LibreCat
| Files available
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 48012 | 
Rossel J, Mladenov V, Somorovsky J. Security Analysis of the 3MF Data Format. In: Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses. ACM; 2023. doi:10.1145/3607199.3607216
LibreCat
| Files available
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 37553
Schrader E, Bernijazov R, Foullois M, Hillebrand M, Kaiser L, Dumitrescu R. Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering. In: 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 C, Haltermann JF, Jakobs M-C, Pauck F, Schott S, Wehrheim H. Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? In: 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 S, Pauck F. Benchmark Fuzzing for Android Taint Analyses. In: 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 F. Scaling Arbitrary Android App Analyses. In: 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 M. Updatable Privacy-Preserving Reputation System Based on Blockchain.; 2023.
LibreCat
2023 | Book Chapter | LibreCat-ID: 40511
Hüsing S, Schulte C, Winkelnkemper F. Epistemic Programming. In: Computer Science Education. Bloomsbury Academic; 2023. doi:10.5040/9781350296947.ch-022
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 33947
Castenow J, Harbig J, Jung D, Knollmann T, Meyer auf der Heide F. Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation. Theoretical Computer Science. 2023;939:261-291. doi:10.1016/j.tcs.2022.10.031
LibreCat
| DOI
| arXiv
2023 | Conference Paper | LibreCat-ID: 41813
Shivarpatna Venkatesh AP, Wang J, Li L, Bodden E. Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. In: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). ; 2023.
LibreCat
2023 | Journal Article | LibreCat-ID: 34402
Yigitbas E, Klauke J, Gottschalk S, Engels G. End-User Development of Interactive Web-Based Virtual Reality Scenes. Journal on Computer Languages (COLA) . Published online 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 33511
Yigitbas E, Engels G. 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 E, Krois S, Gottschalk S, Engels G. 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 J, Harbig J, Jung D, Kling P, Knollmann T, Meyer auf der Heide F. A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility . In: Hillel E, Palmieri R, Riviére E, eds. Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) . Vol 253. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz Zentrum für Informatik; 2023:15:1–15:25. doi:10.4230/LIPIcs.OPODIS.2022.15
LibreCat
| DOI
| arXiv
2023 | Preprint | LibreCat-ID: 42160 |
Werner S, Peitz S. Learning a model is paramount for sample efficiency in reinforcement learning control of PDEs. arXiv:230207160. Published online 2023.
LibreCat
| Download (ext.)
| arXiv
2023 | Conference Paper | LibreCat-ID: 31872
Gharibian S, Rudolph D. Quantum space, ground space traversal, and how to embed multi-prover interactive proofs into unentanglement. In: 14th Innovations in Theoretical Computer Science (ITCS). Vol 251. ; 2023:53:1-53:23. doi:10.4230/LIPIcs.ITCS.2023.53
LibreCat
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 27426 |
Gebken B, Bieker K, Peitz S. On the structure of regularization paths for piecewise differentiable regularization terms. Journal of Global Optimization. 2023;85(3):709-741. doi:10.1007/s10898-022-01223-2
LibreCat
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 43109
Götte T, Kolb C, Scheideler C, Werthmann J. Beep-and-Sleep: Message and Energy Efficient Set Cover. Theor Comput Sci. 2023;950:113756. doi:10.1016/j.tcs.2023.113756
LibreCat
| DOI