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.
5720 Publications
2022 | Conference Paper | LibreCat-ID: 30971
@inproceedings{Hansmeier_Platzner_2022, series={Lecture Notes in Computer Science}, title={Integrating Safety Guarantees into the Learning Classifier System XCS}, volume={13224}, DOI={10.1007/978-3-031-02462-7_25}, booktitle={Applications of Evolutionary Computation, EvoApplications 2022, Proceedings}, publisher={Springer International Publishing}, author={Hansmeier, Tim and Platzner, Marco}, year={2022}, pages={386–401}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31060
@article{Feldmann_Padalkin_Scheideler_Dolev_2022, title={Coordinating Amoebots via Reconfigurable Circuits}, volume={29}, DOI={10.1089/cmb.2021.0363}, number={4}, journal={J. Comput. Biol.}, author={Feldmann, Michael and Padalkin, Andreas and Scheideler, Christian and Dolev, Shlomi}, year={2022}, pages={317–343} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31844
@article{Fischer_Fuhry_Kußmaul_Janneck_Kerschbaum_Bodden_2022, title={Computation on Encrypted Data Using Dataflow Authentication}, volume={25}, DOI={10.1145/3513005}, number={3}, journal={ACM Transactions on Privacy and Security}, publisher={Association for Computing Machinery (ACM)}, author={Fischer, Andreas and Fuhry, Benny and Kußmaul, Jörn and Janneck, Jonas and Kerschbaum, Florian and Bodden, Eric}, year={2022}, pages={1–36} }
LibreCat
| DOI
2022 | Bachelorsthesis | LibreCat-ID: 31947
@book{Hillebrandt_2022, title={Verteiltes Berechnen kompakter Routingtabellen in Unit Disk Graphen}, author={Hillebrandt, Henning}, year={2022} }
LibreCat
| Files available
2022 | Conference Paper | LibreCat-ID: 32311
@inproceedings{Sharma_Melnikov_Hüllermeier_Wehrheim_2022, title={Property-Driven Testing of Black-Box Functions}, booktitle={Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE)}, publisher={IEEE}, author={Sharma, Arnab and Melnikov, Vitaly and Hüllermeier, Eyke and Wehrheim, Heike}, year={2022}, pages={113–123} }
LibreCat
2022 | Conference Paper | LibreCat-ID: 29842 | 
@inproceedings{Gottschalk_Yigitbas_Engels_2022, title={Model-driven Continuous Experimentation on Component-based Software Architectures }, DOI={10.1109/ICSA-C54293.2022.00011}, booktitle={Proceedings of the 18th International Conference on Software Architecture Companion }, publisher={IEEE}, author={Gottschalk, Sebastian and Yigitbas, Enes and Engels, Gregor}, year={2022} }
LibreCat
| Files available
| DOI
2022 | Journal Article | LibreCat-ID: 32335
@article{PODWORNY_Hüsing_SCHULTE_2022, title={A PLACE FOR A DATA SCIENCE PROJECT IN SCHOOL: BETWEEN STATISTICS AND EPISTEMIC PROGRAMMING}, volume={21}, DOI={10.52041/serj.v21i2.46}, number={26}, journal={STATISTICS EDUCATION RESEARCH JOURNAL}, publisher={International Association for Statistical Education}, author={PODWORNY, SUSANNE and Hüsing, Sven and SCHULTE, CARSTEN}, year={2022} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 29673 |
@article{Klus_Nüske_Peitz_2022, title={Koopman analysis of quantum systems}, volume={55}, DOI={10.1088/1751-8121/ac7d22}, number={31}, journal={Journal of Physics A: Mathematical and Theoretical}, publisher={IOP Publishing Ltd.}, author={Klus, Stefan and Nüske, Feliks and Peitz, Sebastian}, year={2022}, pages={314002} }
LibreCat
| DOI
| Download (ext.)
| arXiv
2022 | Misc | LibreCat-ID: 32409
@book{Schlichtig_Wickert_Krüger_Bodden_Mezini_2022, title={CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite}, DOI={10.48550/ARXIV.2204.06447}, author={Schlichtig, Michael and Wickert, Anna-Katharina and Krüger, Stefan and Bodden, Eric and Mezini, Mira}, year={2022} }
LibreCat
| Files available
| DOI
2022 | Dissertation | LibreCat-ID: 32414
@book{Lass_2022, place={Paderborn}, title={Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations}, DOI={10.17619/UNIPB/1-1281}, publisher={Universität Paderborn}, author={Lass, Michael}, year={2022} }
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
@inproceedings{Nachtigall_Schlichtig_Bodden_2022, title={A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools}, DOI={10.1145/3533767}, booktitle={Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis}, publisher={ACM}, author={Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric}, year={2022}, pages={532–543} }
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31133
@inproceedings{Schlichtig_Sassalla_Narasimhan_Bodden_2022, title={FUM - A Framework for API Usage constraint and Misuse Classification}, DOI={https://doi.org/10.1109/SANER53432.2022.00085}, booktitle={2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, author={Schlichtig, Michael and Sassalla, Steffen and Narasimhan, Krishna and Bodden, Eric}, year={2022}, pages={673–684} }
LibreCat
| Files available
| DOI
2022 | Bachelorsthesis | LibreCat-ID: 32399
@book{Vahle_2022, title={Modelling and Proving Security for a Secure MPC Protocol for Stable Matching}, author={Vahle, Ella}, year={2022} }
LibreCat
2022 | Conference Paper | LibreCat-ID: 31847
@inproceedings{Castenow_Feldkord_Knollmann_Malatyali_Meyer auf der Heide_2022, title={The k-Server with Preferences Problem}, DOI={10.1145/3490148.3538595}, booktitle={Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures}, publisher={Association for Computing Machinery}, author={Castenow, Jannik and Feldkord, Björn and Knollmann, Till and Malatyali, Manuel and Meyer auf der Heide, Friedhelm}, year={2022}, pages={345–356} }
LibreCat
| DOI
| arXiv
2022 | Book Chapter | LibreCat-ID: 34023
@inbook{Kirchhoff_Engels_2022, place={Cham}, series={Lecture Notes in Business Information Processing}, title={Anti-pattern Detection in Process-Driven Decision Support Systems}, volume={463}, DOI={10.1007/978-3-031-20706-8_16}, booktitle={Software Business}, publisher={Springer International Publishing}, author={Kirchhoff, Jonas and Engels, Gregor}, year={2022}, pages={227--243}, collection={Lecture Notes in Business Information Processing} }
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 34040
@inproceedings{Polevoy_Dziubiński_2022, title={Fair, Individually Rational and Cheap Adjustment}, DOI={10.24963/ijcai.2022/64}, booktitle={Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence}, publisher={International Joint Conferences on Artificial Intelligence Organization}, author={Polevoy, Gleb and Dziubiński, Marcin}, editor={De Raedt, Luc}, year={2022} }
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 33085
@inproceedings{Epstein_Lassota_Levin_Maack_Rohwedder_2022, series={LIPIcs}, title={Cardinality Constrained Scheduling in Online Models}, volume={219}, DOI={10.4230/LIPIcs.STACS.2022.28}, booktitle={39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference)}, publisher={Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, author={Epstein, Leah and Lassota, Alexandra and Levin, Asaf and Maack, Marten and Rohwedder, Lars}, editor={Berenbrink, Petra and Monmege, Benjamin}, year={2022}, pages={28:1–28:15}, collection={LIPIcs} }
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 30840
@inproceedings{Alshomary_El Baff_Gurcke_Wachsmuth_2022, title={The Moral Debater: A Study on the Computational Generation of Morally Framed Arguments}, booktitle={Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics}, author={Alshomary, Milad and El Baff, Roxanne and Gurcke, Timon and Wachsmuth, Henning}, year={2022}, pages={8782–8797} }
LibreCat
2022 | Conference Paper | LibreCat-ID: 33004
@inproceedings{Wachsmuth_Alshomary_2022, title={“Mama Always Had a Way of Explaining Things So I Could Understand”: A Dialogue Corpus for Learning How to Explain}, booktitle={Proceedings of the 29th International Conference on Computational Linguistics}, author={Wachsmuth, Henning and Alshomary, Milad}, year={2022}, pages={344–354} }
LibreCat
2022 | Journal Article | LibreCat-ID: 34049
@article{Lauscher_Wachsmuth_Gurevych_Glavaš_2022, title={On the Role of Knowledge in Computational Argumentation}, journal={Transactions of the Association for Computational Linguistics}, author={Lauscher, Anne and Wachsmuth, Henning and Gurevych, Iryna and Glavaš, Goran}, year={2022} }
LibreCat