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.
5673 Publications
2024 | Conference Paper | LibreCat-ID: 52842
@inproceedings{Igamberdiev_Vu_Kuennecke_Yu_Holmer_Habernal_2024, place={St. Julians, Malta}, title={DP-NMT: Scalable Differentially Private Machine Translation}, booktitle={Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations}, publisher={Association for Computational Linguistics}, author={Igamberdiev, Timour and Vu, Doan Nam Long and Kuennecke, Felix and Yu, Zhuo and Holmer, Jannik and Habernal, Ivan}, editor={Aletras, Nikolaos and De Clercq, Orphee}, year={2024}, pages={94–105} }
LibreCat
2024 | Conference Paper | LibreCat-ID: 53095
@inproceedings{Razavi_Ghafouri_Mühlhäuser_Jamshidi_Wang_2024, title={Sponge: Inference Serving with Dynamic SLOs Using In-Place Vertical Scaling}, booktitle={Proceedings of the 4th Workshop on Machine Learning and Systems (EuroMLSys), colocated with EuroSys 2024}, publisher={ACM}, author={Razavi, Kamran and Ghafouri, Saeid and Mühlhäuser, Max and Jamshidi, Pooyan and Wang, Lin}, year={2024} }
LibreCat
2024 | Conference Paper | LibreCat-ID: 52231 | 
@inproceedings{Blübaum_Heindorf, title={Causal Question Answering with Reinforcement Learning}, booktitle={The World Wide Web Conference (WWW)}, publisher={ACM}, author={Blübaum, Lukas and Heindorf, Stefan} }
LibreCat
| Download (ext.)
2024 | Mastersthesis | LibreCat-ID: 53374
@book{De Groote_2024, title={A Dispersion Algorithm for Robot Swarms Inside Polygonal Boundary Shapes}, author={De Groote, Carsten}, year={2024} }
LibreCat
2024 | Mastersthesis | LibreCat-ID: 53373
@book{Doddegowda_2024, title={Optimal Drone Strategies For Packet Delivery}, author={Doddegowda, Rajesh}, year={2024} }
LibreCat
2024 | Mastersthesis | LibreCat-ID: 53372
@book{Thakur_2024, title={Evaluating the Implications}, author={Thakur, Heena}, year={2024} }
LibreCat
2024 | Book Chapter | LibreCat-ID: 52759
@inbook{Preuß_Rook_Trautmann_2024, place={Cham}, title={On the Potential of Multi-objective Automated Algorithm Configuration on Multi-modal Multi-objective Optimisation Problems}, DOI={10.1007/978-3-031-56852-7_20}, booktitle={Applications of Evolutionary Computation}, publisher={Springer Nature Switzerland}, author={Preuß, Oliver Ludger and Rook, Jeroen and Trautmann, Heike}, year={2024} }
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 52749
@inproceedings{Vinzent Seiler_Rook_Heins_Preuß_Bossek_Trautmann_2024, title={Using Reinforcement Learning for Per-Instance Algorithm Configuration on the TSP}, DOI={10.1109/ssci52147.2023.10372008}, booktitle={2023 IEEE Symposium Series on Computational Intelligence (SSCI)}, publisher={IEEE}, author={Vinzent Seiler, Moritz and Rook, Jeroen and Heins, Jonathan and Preuß, Oliver Ludger and Bossek, Jakob and Trautmann, Heike}, year={2024} }
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 38031 |
@article{Philipp_Schaller_Worthmann_Peitz_Nüske_2024, title={Error bounds for kernel-based approximations of the Koopman operator}, volume={71}, DOI={10.1016/j.acha.2024.101657}, number={101657}, journal={Applied and Computational Harmonic Analysis }, publisher={Springer }, author={Philipp, Friedrich and Schaller, Manuel and Worthmann, Karl and Peitz, Sebastian and Nüske, Feliks}, year={2024} }
LibreCat
| DOI
| Download (ext.)
| arXiv
2024 | Journal Article | LibreCat-ID: 53474
@article{Lass_Kenter_Plessl_Brehm_2024, title={Characterizing Microheterogeneity in Liquid Mixtures via Local Density Fluctuations}, volume={26}, DOI={10.3390/e26040322}, number={4322}, journal={Entropy}, publisher={MDPI AG}, author={Lass, Michael and Kenter, Tobias and Plessl, Christian and Brehm, Martin}, year={2024} }
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 53503
@inproceedings{Olgu_Kenter_Nunez-Yanez_Mcintosh-Smith_2024, title={Optimisation and Evaluation of Breadth First Search with oneAPI/SYCL on Intel FPGAs: from Describing Algorithms to Describing Architectures}, DOI={10.1145/3648115.3648134}, booktitle={Proceedings of the 12th International Workshop on OpenCL and SYCL}, publisher={ACM}, author={Olgu, Kaan and Kenter, Tobias and Nunez-Yanez, Jose and Mcintosh-Smith, Simon}, year={2024} }
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 53531
@article{Ghafouri_Razavi_Salmani_Sanaee_Lorido Botran_Wang_Doyle_Jamshidi, title={IPA: Inference Pipeline Adaptation to Achieve High Accuracy and Cost-Efficiency}, journal={Journal of Systems Research (JSys)}, author={Ghafouri, Saeid and Razavi, Kamran and Salmani, Mehran and Sanaee, Alireza and Lorido Botran, Tania and Wang, Lin and Doyle, Joseph and Jamshidi, Pooyan} }
LibreCat
2024 | Journal Article | LibreCat-ID: 53622
@article{Höper_Schulte_2024, title={Empowering Students for the Data-Driven World: A Qualitative Study of the Relevance of Learning about Data-Driven Technologies}, DOI={10.15388/infedu.2024.19}, journal={Informatics in Education}, publisher={Vilnius University Press}, author={Höper, Lukas and Schulte, Carsten}, year={2024} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 35083
@article{Dann_Hermann_Bodden_2023, series={International Conference on Software Engineering (ICSE)}, title={UpCy: Safely Updating Outdated Dependencies}, author={Dann, Andreas Peter and Hermann, Ben and Bodden, Eric}, year={2023}, collection={International Conference on Software Engineering (ICSE)} }
LibreCat
2023 | Journal Article | LibreCat-ID: 21199 |
@article{Peitz_Bieker_2023, title={On the Universal Transformation of Data-Driven Models to Control Systems}, volume={149}, DOI={10.1016/j.automatica.2022.110840}, number={110840}, journal={Automatica}, publisher={Elsevier}, author={Peitz, Sebastian and Bieker, Katharina}, year={2023} }
LibreCat
| 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: 41812
@inproceedings{Luo_Piskachev_Krishnamurthy_Dolby_Schäf_Bodden_2023, title={Model Generation For Java Frameworks}, booktitle={IEEE International Conference on Software Testing, Verification and Validation (ICST)}, author={Luo, Linghui and Piskachev, Goran and Krishnamurthy, Ranjith and Dolby, Julian and Schäf, Martin and Bodden, Eric}, year={2023} }
LibreCat
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 | Preprint | LibreCat-ID: 43048
@article{Lienen_Middeke_Platzner_2023, title={fpgaDDS: An Intra-FPGA Data Distribution Service for ROS 2 Robotics Applications}, author={Lienen, Christian and Middeke, Sorel Horst and Platzner, Marco}, year={2023} }
LibreCat
| 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
2023 | Conference Paper | LibreCat-ID: 43424
@inproceedings{Yigitbas_Nowosad_Engels_2023, title={Supporting Construction and Architectural Visualization through BIM and AR/VR: A Systematic Literature Review}, booktitle={Proceedings of the 19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023)}, publisher={Springer}, author={Yigitbas, Enes and Nowosad, Alexander and Engels, Gregor}, year={2023} }
LibreCat
2023 | Conference Paper | LibreCat-ID: 30125 |
@inproceedings{Schaller_Worthmann_Philipp_Peitz_Nüske_2023, title={Towards reliable data-based optimal and predictive control using extended DMD}, volume={56}, DOI={10.1016/j.ifacol.2023.02.029}, number={1}, booktitle={IFAC-PapersOnLine}, author={Schaller, Manuel and Worthmann, Karl and Philipp, Friedrich and Peitz, Sebastian and Nüske, Feliks}, year={2023}, pages={169–174} }
LibreCat
| DOI
| Download (ext.)
| arXiv
2023 | Journal Article | LibreCat-ID: 44077
@article{Maack_2023, title={Online load balancing on uniform machines with limited migration}, volume={51}, DOI={10.1016/j.orl.2023.02.013}, number={3}, journal={Operations Research Letters}, publisher={Elsevier BV}, author={Maack, Marten}, year={2023}, pages={220–225} }
LibreCat
| DOI
2023 | Mastersthesis | LibreCat-ID: 43374 |
@book{Schürmann_2023, title={ A Formal Comparison of Advanced Digital Signature Primitives}, author={Schürmann, Patrick}, year={2023} }
LibreCat
| Files available
2023 | Conference Paper | LibreCat-ID: 20841 |
@inproceedings{Gharibian_Watson_Bausch_2023, title={The Complexity of Translationally Invariant Problems beyond Ground State Energies}, volume={254}, DOI={https://doi.org/10.4230/LIPIcs.STACS.2023.54}, booktitle={Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science (STACS)}, author={Gharibian, Sevag and Watson, James and Bausch, Johannes}, year={2023}, pages={54:1-54:21} }
LibreCat
| DOI
| Download (ext.)
| arXiv
2023 | Conference Paper | LibreCat-ID: 44194 |
@inproceedings{Ahmed_Awais_Platzner_2023, title={MAAS: Hiding Trojans in Approximate Circuits}, booktitle={The 24th International Symposium on Quality Electronic Design (ISQED’23), San Francisco, Califorina USA}, author={Ahmed, Qazi Arbab and Awais, Muhammad and Platzner, Marco}, year={2023} }
LibreCat
| Files available
2023 | Mastersthesis | LibreCat-ID: 44735
@book{Schweichhart_2023, title={Minimum Edge Cuts in Overlay Networks}, author={Schweichhart, Jonas}, year={2023} }
LibreCat
2023 | Book Chapter | LibreCat-ID: 44769
@inbook{Castenow_Harbig_Meyer auf der Heide_2023, place={Cham}, title={Unifying Gathering Protocols for Swarms of Mobile Robots}, DOI={10.1007/978-3-031-30448-4_1}, booktitle={Lecture Notes in Computer Science}, publisher={Springer International Publishing}, author={Castenow, Jannik and Harbig, Jonas and Meyer auf der Heide, Friedhelm}, year={2023} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 34294
@inproceedings{Wolters_Engels, title={Model-driven Collaborative Design of Professional Education Programmes With Extended Online Whiteboards}, DOI={10.5220/0011675700003402}, booktitle={MODELSWARD’23}, publisher={SCITEPRESS}, author={Wolters, Dennis and Engels, Gregor}, pages={133–142} }
LibreCat
| DOI
2023 | Dissertation | LibreCat-ID: 43108
@book{Pauck_2023, title={Cooperative Android App Analysis}, DOI={10.17619/UNIPB/1-1698}, publisher={Paderborn University}, author={Pauck, Felix}, year={2023} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 45188
@inproceedings{Werthmann_Scheideler_Coy_Czumaj_Schneider_2023, title={Routing Schemes for Hybrid Communication Networks}, DOI={10.48550/ARXIV.2210.05333}, author={Werthmann, Julian and Scheideler, Christian and Coy, Sam and Czumaj, Artur and Schneider, Philipp}, year={2023} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 44855
@inproceedings{Hemmrich_Bobolz_Beverungen_Blömer_2023, title={Designing Business Reputation Ecosystems — A Method for Issuing and Trading Monetary Ratings on a Blockchain}, booktitle={ECIS 2023 Research Papers}, author={Hemmrich, Simon and Bobolz, Jan and Beverungen, Daniel and Blömer, Johannes}, year={2023} }
LibreCat
| Files available
| Download (ext.)
2023 | Mastersthesis | LibreCat-ID: 45243
@book{N._2023, title={Development and Evaluation of a Model-Based UI Prototyping Experimentation Approach}, author={N., N.}, year={2023} }
LibreCat
2023 | Conference Paper | LibreCat-ID: 45312
@inproceedings{Karakaya_Bodden_2023, title={Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis}, DOI={10.1109/icst57152.2023.00036}, booktitle={2023 IEEE Conference on Software Testing, Verification and Validation (ICST)}, publisher={IEEE}, author={Karakaya, Kadiray and Bodden, Eric}, year={2023} }
LibreCat
| DOI
2023 | Bachelorsthesis | LibreCat-ID: 43375 |
@book{Koch_2023, title={Privacy-Preserving Collection and Evaluation of Log Files}, author={Koch, Angelina}, year={2023} }
LibreCat
| Files available
2023 | Journal Article | LibreCat-ID: 45484
@article{Sherif_da Silva_Pestryakova_Ahmed_Niemann_Ngomo_2023, title={IngridKG: A FAIR Knowledge Graph of Graffiti}, volume={10}, DOI={10.1038/s41597-023-02199-8}, number={1318}, journal={Scientific Data}, publisher={Springer Science and Business Media LLC}, author={Sherif, Mohamed Ahmed and da Silva, Ana Alexandra Morim and Pestryakova, Svetlana and Ahmed, Abdullah Fathi and Niemann, Sven and Ngomo, Axel-Cyrille Ngonga}, year={2023} }
LibreCat
| DOI
2023 | Dissertation | LibreCat-ID: 45580
@book{Castenow_2023, title={Local Protocols for Contracting and Expanding Robot Formation Problems}, DOI={10.17619/UNIPB/1-1750}, author={Castenow, Jannik}, year={2023} }
LibreCat
| DOI