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
@inproceedings{Sengupta_Alshomary_Scharlau_Wachsmuth_2023, place={Singapore}, title={Modeling Highlighting of Metaphors in Multitask Contrastive Learning Paradigms}, DOI={10.18653/v1/2023.findings-emnlp.308}, booktitle={Findings of the Association for Computational Linguistics: EMNLP 2023}, publisher={Association for Computational Linguistics}, author={Sengupta, Meghdut and Alshomary, Milad and Scharlau, Ingrid and Wachsmuth, Henning}, editor={Bouamor, Houda and Pino, Juan and Bali, Kalika}, year={2023}, pages={4636–4659} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 54997
@inproceedings{Turhan_2023, series={CEUR Workshop Proceedings}, title={Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk)}, volume={3515}, booktitle={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}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin}, editor={Kutz, Oliver and Lutz, Carsten and Ozaki, Ana}, year={2023}, collection={CEUR Workshop Proceedings} }
LibreCat
2023 | Conference Paper | LibreCat-ID: 46500
@inproceedings{Pottebaum_Rossel_Somorovsky_Acar_Fahr_Arias Cabarcos_Bodden_Gräßler_2023, title={Re-Envisioning Industrial Control Systems Security by Considering Human Factors as a Core Element of Defense-in-Depth}, DOI={10.1109/eurospw59978.2023.00048}, booktitle={2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)}, publisher={IEEE}, author={Pottebaum, Jens and Rossel, Jost and Somorovsky, Juraj and Acar, Yasemin and Fahr, René and Arias Cabarcos, Patricia and Bodden, Eric and Gräßler, Iris}, year={2023}, pages={379–385} }
LibreCat
| Files available
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 48012 | 
@inproceedings{Rossel_Mladenov_Somorovsky_2023, title={Security Analysis of the 3MF Data Format}, DOI={10.1145/3607199.3607216}, booktitle={Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses}, publisher={ACM}, author={Rossel, Jost and Mladenov, Vladislav and Somorovsky, Juraj}, year={2023} }
LibreCat
| Files available
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 37553
@inproceedings{Schrader_Bernijazov_Foullois_Hillebrand_Kaiser_Dumitrescu_2023, title={Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering}, DOI={10.1109/isse54508.2022.10005487}, booktitle={2022 IEEE International Symposium on Systems Engineering (ISSE)}, publisher={IEEE}, author={Schrader, Elena and Bernijazov, Ruslan and Foullois, Marc and Hillebrand, Michael and Kaiser, Lydia and Dumitrescu, Roman}, year={2023} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 35426 |
@inproceedings{Richter_Haltermann_Jakobs_Pauck_Schott_Wehrheim_2023, title={Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?}, DOI={10.1145/3551349.3561156}, booktitle={37th IEEE/ACM International Conference on Automated Software Engineering}, publisher={ACM}, author={Richter, Cedric and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Pauck, Felix and Schott, Stefan and Wehrheim, Heike}, year={2023} }
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 36848
@inproceedings{Schott_Pauck_2023, title={Benchmark Fuzzing for Android Taint Analyses}, DOI={10.1109/scam55253.2022.00007}, booktitle={2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)}, publisher={IEEE}, author={Schott, Stefan and Pauck, Felix}, year={2023} }
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 35427 |
@inproceedings{Pauck_2023, title={Scaling Arbitrary Android App Analyses}, DOI={10.1145/3551349.3561339}, booktitle={37th IEEE/ACM International Conference on Automated Software Engineering}, publisher={ACM}, author={Pauck, Felix}, year={2023} }
LibreCat
| DOI
| Download (ext.)
2023 | Mastersthesis | LibreCat-ID: 40440
@book{Pilot_2023, title={Updatable Privacy-Preserving Reputation System based on Blockchain}, author={Pilot, Matthias}, year={2023} }
LibreCat
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 | 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 | 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 | 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: 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