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.
5950 Publications
2022 | Book Chapter | LibreCat-ID: 16296 | 
Banholzer, Stefan, Bennet Gebken, Michael Dellnitz, Sebastian Peitz, and Stefan Volkwein. “ROM-Based Multiobjective Optimization of Elliptic PDEs via Numerical Continuation.” In Non-Smooth and Complementarity-Based Distributed Parameter Systems, edited by Hintermüller Michael, Herzog Roland, Kanzow Christian, Ulbrich Michael, and Ulbrich Stefan, 43–76. Cham: Springer, 2022. https://doi.org/10.1007/978-3-030-79393-7_3.
LibreCat
| DOI
| Download (ext.)
2022 | Book Chapter | LibreCat-ID: 30294
Peitz, Sebastian, Michael Dellnitz, and Sebastian Bannenberg. “Efficient Virtual Design and Testing of Autonomous Vehicles.” In German Success Stories in Industrial Mathematics, edited by H. G. Bock, K.-H. Küfer, P. Maas, A. Milde, and V. Schulz, Vol. 35. Mathematics in Industry. Cham: Springer International Publishing, 2022. https://doi.org/10.1007/978-3-030-81455-7_23.
LibreCat
| DOI
2022 | Book Chapter | LibreCat-ID: 29928 |
Yigitbas, Enes, Stefan Sauer, and Gregor Engels. “Self-Adaptive Digital Assistance Systems for Work 4.0.” In Digital Transformation: Core Technologies and Emerging Topics from a Computer Science Perspective, edited by Birgit Vogel-Heuser and Manuel Wimmer. Springer-Vieweg, 2022.
LibreCat
| Files available
2022 | Conference Paper | LibreCat-ID: 30971
Hansmeier, Tim, and Marco Platzner. “Integrating Safety Guarantees into the Learning Classifier System XCS.” In Applications of Evolutionary Computation, EvoApplications 2022, Proceedings, 13224:386–401. Lecture Notes in Computer Science. Springer International Publishing, 2022. https://doi.org/10.1007/978-3-031-02462-7_25.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31060
Feldmann, Michael, Andreas Padalkin, Christian Scheideler, and Shlomi Dolev. “Coordinating Amoebots via Reconfigurable Circuits.” J. Comput. Biol. 29, no. 4 (2022): 317–343. https://doi.org/10.1089/cmb.2021.0363.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31844
Fischer, Andreas, Benny Fuhry, Jörn Kußmaul, Jonas Janneck, Florian Kerschbaum, and Eric Bodden. “Computation on Encrypted Data Using Dataflow Authentication.” ACM Transactions on Privacy and Security 25, no. 3 (2022): 1–36. https://doi.org/10.1145/3513005.
LibreCat
| DOI
2022 | Bachelorsthesis | LibreCat-ID: 31947
Hillebrandt, Henning. Verteiltes Berechnen Kompakter Routingtabellen in Unit Disk Graphen, 2022.
LibreCat
| Files available
2022 | Conference Paper | LibreCat-ID: 32311
Sharma, Arnab, Vitaly Melnikov, Eyke Hüllermeier, and Heike Wehrheim. “Property-Driven Testing of Black-Box Functions.” In Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), 113–23. IEEE, 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 29842 |
Gottschalk, Sebastian, Enes Yigitbas, and Gregor Engels. “Model-Driven Continuous Experimentation on Component-Based Software Architectures .” In Proceedings of the 18th International Conference on Software Architecture Companion . IEEE, 2022. https://doi.org/10.1109/ICSA-C54293.2022.00011.
LibreCat
| Files available
| DOI
2022 | Journal Article | LibreCat-ID: 32335
PODWORNY, SUSANNE, Sven Hüsing, and CARSTEN SCHULTE. “A PLACE FOR A DATA SCIENCE PROJECT IN SCHOOL: BETWEEN STATISTICS AND EPISTEMIC PROGRAMMING.” STATISTICS EDUCATION RESEARCH JOURNAL 21, no. 2 (2022). https://doi.org/10.52041/serj.v21i2.46.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 29673 |
Klus, Stefan, Feliks Nüske, and Sebastian Peitz. “Koopman Analysis of Quantum Systems.” Journal of Physics A: Mathematical and Theoretical 55, no. 31 (2022): 314002. https://doi.org/10.1088/1751-8121/ac7d22.
LibreCat
| DOI
| Download (ext.)
| arXiv
2022 | Misc | LibreCat-ID: 32409
Schlichtig, Michael, Anna-Katharina Wickert, Stefan Krüger, Eric Bodden, and Mira Mezini. CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite, 2022. https://doi.org/10.48550/ARXIV.2204.06447.
LibreCat
| Files available
| DOI
2022 | Dissertation | LibreCat-ID: 32414
Lass, Michael. Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations. Paderborn: Universität Paderborn, 2022. https://doi.org/10.17619/UNIPB/1-1281.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
Nachtigall, Marcus, Michael Schlichtig, and Eric 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, 532–43. ACM, 2022. https://doi.org/10.1145/3533767.
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31133
Schlichtig, Michael, Steffen Sassalla, Krishna Narasimhan, and Eric Bodden. “FUM - A Framework for API Usage Constraint and Misuse Classification.” In 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 673–84, 2022. https://doi.org/10.1109/SANER53432.2022.00085.
LibreCat
| Files available
| DOI
2022 | Bachelorsthesis | LibreCat-ID: 32399
Vahle, Ella. Modelling and Proving Security for a Secure MPC Protocol for Stable Matching, 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 31847
Castenow, Jannik, Björn Feldkord, Till Knollmann, Manuel Malatyali, and Friedhelm Meyer auf der Heide. “The K-Server with Preferences Problem.” In Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, 345–56. Association for Computing Machinery, 2022. https://doi.org/10.1145/3490148.3538595.
LibreCat
| DOI
| arXiv
2022 | Book Chapter | LibreCat-ID: 34023
Kirchhoff, Jonas, and Gregor Engels. “Anti-Pattern Detection in Process-Driven Decision Support Systems.” In Software Business, 463:227--243. Lecture Notes in Business Information Processing. Cham: Springer International Publishing, 2022. https://doi.org/10.1007/978-3-031-20706-8_16.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 34040
Polevoy, Gleb, and Marcin Dziubiński. “Fair, Individually Rational and Cheap Adjustment.” In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, edited by Luc De Raedt. International Joint Conferences on Artificial Intelligence Organization, 2022. https://doi.org/10.24963/ijcai.2022/64.
LibreCat
| DOI
| Download (ext.)