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 | 
S. Klus, F. Nüske, and S. Peitz, “Koopman analysis of quantum systems,” Journal of Physics A: Mathematical and Theoretical, vol. 55, no. 31, p. 314002, 2022, doi: 10.1088/1751-8121/ac7d22.
LibreCat
| DOI
| Download (ext.)
| arXiv
2022 | Misc | LibreCat-ID: 32409
M. Schlichtig, A.-K. Wickert, S. Krüger, E. Bodden, and M. Mezini, CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite. 2022.
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
M. Nachtigall, M. Schlichtig, and E. Bodden, “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, 2022, pp. 532–543, doi: 10.1145/3533767.
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31133
M. Schlichtig, S. Sassalla, K. Narasimhan, and E. Bodden, “FUM - A Framework for API Usage constraint and Misuse Classification,” in 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, pp. 673–684, doi: https://doi.org/10.1109/SANER53432.2022.00085.
LibreCat
| Files available
| DOI
2022 | Bachelorsthesis | LibreCat-ID: 32399
E. Vahle, Modelling and Proving Security for a Secure MPC Protocol for Stable Matching. 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 31847
J. Castenow, B. Feldkord, T. Knollmann, M. Malatyali, and F. Meyer auf der Heide, “The k-Server with Preferences Problem,” in Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, 2022, pp. 345–356, doi: 10.1145/3490148.3538595.
LibreCat
| DOI
| arXiv
2022 | Conference Paper | LibreCat-ID: 34040
G. Polevoy and M. Dziubiński, “Fair, Individually Rational and Cheap Adjustment,” in Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, Vienna, 2022, doi: 10.24963/ijcai.2022/64.
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 33085
L. Epstein, A. Lassota, A. Levin, M. Maack, and L. Rohwedder, “Cardinality Constrained Scheduling in Online Models,” in 39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference), 2022, vol. 219, p. 28:1–28:15, doi: 10.4230/LIPIcs.STACS.2022.28.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 33004
H. Wachsmuth and M. Alshomary, “‘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, pp. 344–354.
LibreCat
2022 | Journal Article | LibreCat-ID: 34049
A. Lauscher, H. Wachsmuth, I. Gurevych, and G. Glavaš, “On the Role of Knowledge in Computational Argumentation,” Transactions of the Association for Computational Linguistics, 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 22157
J. Kiesel, M. Alshomary, N. Handke, X. Cai, H. Wachsmuth, and B. Stein, “Identifying the Human Values behind Arguments,” in Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics, 2022, pp. 4459–4471.
LibreCat
2022 | Conference Paper | LibreCat-ID: 34057
F. Pasic and M. Becker, “Domain-specific Language for Condition Monitoring Software Development,” 2022, doi: 10.1109/etfa52439.2022.9921730.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 34047
M. Spliethöver, M. Keiff, and H. Wachsmuth, “No Word Embedding Model Is Perfect: Evaluating the Representation Accuracy for Social Bias in the Media,” presented at the The 2022 Conference on Empirical Methods in Natural Language Processing (EMNLP 2022), Abu Dhabi, 2022.
LibreCat
| arXiv
2022 | Conference Paper | LibreCat-ID: 32602
A. Padalkin, C. Scheideler, and D. Warner, “The Structural Power of Reconfigurable Circuits in the Amoebot Model,” in 28th International Conference on DNA Computing and Molecular Programming (DNA 28), 2022, vol. 238, p. 8:1–8:22, doi: 10.4230/LIPIcs.DNA.28.8.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32603
I. Kostitsyna, C. Scheideler, and D. Warner, “Fault-Tolerant Shape Formation in the Amoebot Model,” in 28th International Conference on DNA Computing and Molecular Programming (DNA 28), 2022, vol. 238, p. 9:1–9:22, doi: 10.4230/LIPIcs.DNA.28.9.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 30511 |
P. Schubert et al., “Static data-flow analysis for software product lines in C,” Automated Software Engineering, vol. 29, no. 1, Art. no. 35, 2022, doi: 10.1007/s10515-022-00333-1.
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 32811
A. Redder, A. Ramaswamy, and H. Karl, “Age of Information Process under Strongly Mixing Communication -- Moment Bound, Mixing Rate and Strong Law,” presented at the 58th Allerton Conference on Communication, Control, and Computing, 2022.
LibreCat