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
2022 | Journal Article | LibreCat-ID: 29673 | 
Klus S, Nüske F, Peitz S. Koopman analysis of quantum systems. Journal of Physics A: Mathematical and Theoretical. 2022;55(31):314002. doi:10.1088/1751-8121/ac7d22
LibreCat
| DOI
| Download (ext.)
| arXiv
2022 | Misc | LibreCat-ID: 32409
Schlichtig M, Wickert A-K, Krüger S, Bodden E, Mezini M. CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite.; 2022. doi:10.48550/ARXIV.2204.06447
LibreCat
| Files available
| DOI
2022 | Dissertation | LibreCat-ID: 32414
Lass M. Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations. Universität Paderborn; 2022. doi:10.17619/UNIPB/1-1281
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
Nachtigall M, Schlichtig M, Bodden E. A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools. In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM; 2022:532-543. doi:10.1145/3533767
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31133
Schlichtig M, Sassalla S, Narasimhan K, Bodden E. FUM - A Framework for API Usage constraint and Misuse Classification. In: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). ; 2022:673-684. doi:https://doi.org/10.1109/SANER53432.2022.00085
LibreCat
| Files available
| DOI
2022 | Bachelorsthesis | LibreCat-ID: 32399
Vahle E. Modelling and Proving Security for a Secure MPC Protocol for Stable Matching.; 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 31847
Castenow J, Feldkord B, Knollmann T, Malatyali M, Meyer auf der Heide F. The k-Server with Preferences Problem. In: Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery; 2022:345-356. doi:10.1145/3490148.3538595
LibreCat
| DOI
| arXiv
2022 | Book Chapter | LibreCat-ID: 34023
Kirchhoff J, Engels G. Anti-pattern Detection in Process-Driven Decision Support Systems. In: Software Business. Vol 463. Lecture Notes in Business Information Processing. Springer International Publishing; 2022:227--243. doi:10.1007/978-3-031-20706-8_16
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 34040
Polevoy G, Dziubiński M. Fair, Individually Rational and Cheap Adjustment. In: De Raedt L, ed. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization; 2022. doi:10.24963/ijcai.2022/64
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 33085
Epstein L, Lassota A, Levin A, Maack M, Rohwedder L. Cardinality Constrained Scheduling in Online Models. In: Berenbrink P, Monmege B, eds. 39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference). Vol 219. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022:28:1–28:15. doi:10.4230/LIPIcs.STACS.2022.28
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 33004
Wachsmuth H, Alshomary M. “Mama Always Had a Way of Explaining Things So I Could Understand”: A Dialogue Corpus for Learning How to Explain. In: Proceedings of the 29th International Conference on Computational Linguistics. ; 2022:344-354.
LibreCat
2022 | Journal Article | LibreCat-ID: 34049
Lauscher A, Wachsmuth H, Gurevych I, Glavaš G. On the Role of Knowledge in Computational Argumentation. Transactions of the Association for Computational Linguistics. Published online 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 22157
Kiesel J, Alshomary M, Handke N, Cai X, Wachsmuth H, Stein B. Identifying the Human Values behind Arguments. In: Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics. ; 2022:4459-4471.
LibreCat
2022 | Conference Paper | LibreCat-ID: 34057
Pasic F, Becker M. Domain-specific Language for Condition Monitoring Software Development. In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE; 2022. doi:10.1109/etfa52439.2022.9921730
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 34047
Spliethöver M, Keiff M, Wachsmuth H. No Word Embedding Model Is Perfect: Evaluating the Representation Accuracy for Social Bias in the Media. In: Proceedings of The 2022 Conference on Empirical Methods in Natural Language Processing (EMNLP 2022). Association for Computational Linguistics; 2022.
LibreCat
| arXiv
2022 | Book Chapter | LibreCat-ID: 34077
Bondarenko A, Fröbe M, Kiesel J, et al. Overview of Touché 2022: Argument Retrieval. In: Lecture Notes in Computer Science. Springer International Publishing; 2022. doi:10.1007/978-3-030-99739-7_43
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32602
Padalkin A, Scheideler C, Warner D. The Structural Power of Reconfigurable Circuits in the Amoebot Model. In: Ouldridge TE, Wickham SFJ, eds. 28th International Conference on DNA Computing and Molecular Programming (DNA 28). Vol 238. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2022:8:1–8:22. doi:10.4230/LIPIcs.DNA.28.8
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32603
Kostitsyna I, Scheideler C, Warner D. Fault-Tolerant Shape Formation in the Amoebot Model. In: Ouldridge TE, Wickham SFJ, eds. 28th International Conference on DNA Computing and Molecular Programming (DNA 28). Vol 238. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2022:9:1–9:22. doi:10.4230/LIPIcs.DNA.28.9
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 30511 |
Schubert P, Gazzillo P, Patterson Z, et al. Static data-flow analysis for software product lines in C. Automated Software Engineering. 2022;29(1). doi:10.1007/s10515-022-00333-1
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 32811
Redder A, Ramaswamy A, Karl H. Age of Information Process under Strongly Mixing Communication -- Moment Bound, Mixing Rate and Strong Law. In: Proceedings of the 58th Allerton Conference on Communication, Control, and Computing. ; 2022.
LibreCat