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.
10080 Publications
2022 | Conference Paper | LibreCat-ID: 32311
A. Sharma, V. Melnikov, E. Hüllermeier, and H. Wehrheim, “Property-Driven Testing of Black-Box Functions,” in Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), 2022, pp. 113–123.
LibreCat
2022 | Conference Paper | LibreCat-ID: 29842 | 
S. Gottschalk, E. Yigitbas, and G. Engels, “Model-driven Continuous Experimentation on Component-based Software Architectures ,” presented at the 18th International Conference on Software Architecture , Hawaii, 2022, doi: 10.1109/ICSA-C54293.2022.00011.
LibreCat
| Files available
| DOI
2022 | Journal Article | LibreCat-ID: 32319
M. Kißling, “„Beim Ausschneiden zeigen die Wörter mir ihre Bestandteile.“ Memoria als Deutungsöffnung bei Herta Müller,” Der Deutschunterricht (1) , pp. 46–52, 2022.
LibreCat
2022 | Journal Article | LibreCat-ID: 32320
M. Kißling, “Bildungsverantwortung im Deutschunterricht. Thesen zu einem bildungsgerechten Literaturunterricht,” IMST-Newsletter (53), pp. 26–28, 2022.
LibreCat
| Download (ext.)
2022 | Journal Article | LibreCat-ID: 32335
S. PODWORNY, S. Hüsing, and C. SCHULTE, “A PLACE FOR A DATA SCIENCE PROJECT IN SCHOOL: BETWEEN STATISTICS AND EPISTEMIC PROGRAMMING,” STATISTICS EDUCATION RESEARCH JOURNAL, vol. 21, no. 2, Art. no. 6, 2022, doi: 10.52041/serj.v21i2.46.
LibreCat
| DOI
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 | Book Chapter | LibreCat-ID: 32419
J. Tönsing, “Chancen für einen rassismussensiblen Literaturunterricht - didaktische Perspektiven für das Lesen von Menschenzoogeschichten in der Grundschule am Beispiel von Rainer Maria Rilkes Gedicht ‘Die Aschanti. Jardin d´acclimatation’ (1902),” in Rassismussensibler Literaturunterricht. Neue Perspektiven einer kulturwissenschaftlichen Literaturdidaktik, M. Hofmann and K. Becker, Eds. Würzburg.
LibreCat
2022 | Book Chapter | LibreCat-ID: 32417
J. Tönsing, “(K)eine kinderleichte Gattung: Konsequenzen einer kulturwissenschaftlich informierten Märchendidaktik,” in Interpretationsverfahruen der germanistischen Literaturdidaktik und didaktische Referenzkonzepte, S. Bernhardt and T. Hardtke, Eds. Berlin.
LibreCat
2022 | Book Chapter | LibreCat-ID: 32418
J. Tönsing, “Über „Gleis 11“ [Dokumentarfilm von 2021],” in Sammelband über den deutsch-türkischen Film, S. Schulte-Eickholt and M. Hofmann, Eds. Würzburg.
LibreCat
2022 | Book Chapter | LibreCat-ID: 32423
J. Tönsing, “Weiblichkeitsdiskurse in der Gegenwartsliteratur und deren Thematisierung im genderorientierten Unterricht,” in Neue Perspektiven einer kulturwissenschaftlichen Literaturdidaktik, M. Hofmann, Ed. Würzburg.
LibreCat
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