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.
5774 Publications
2022 | Conference Paper | LibreCat-ID: 29865
Witschen, Linus Matthias, et al. “MUSCAT: MUS-Based Circuit Approximation Technique.” Design, Automation and Test in Europe (DATE).
LibreCat
2022 | Mastersthesis | LibreCat-ID: 30152
Roopa, Rajanna. Evaluation of Algorithms for the Node Capacitated Clique. 2022.
LibreCat
2022 | Bachelorsthesis | LibreCat-ID: 30198
Korzeczek, Sebastian. Aufarbeitung Und Lmplementierung von DAG-Rider. 2022.
LibreCat
2022 | Mastersthesis | LibreCat-ID: 30199
Nachtigall, Marcel. Hybrid Routing in Three Dimensions. 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 30236 | 
Schneider, Stefan Balthasar, et al. “Mobile-Env: An Open Platform for Reinforcement Learning in Wireless Mobile Networks.” IEEE/IFIP Network Operations and Management Symposium (NOMS), IEEE, 2022.
LibreCat
| Files available
2022 | Book Chapter | LibreCat-ID: 16296 |
Banholzer, Stefan, et al. “ROM-Based Multiobjective Optimization of Elliptic PDEs via Numerical Continuation.” Non-Smooth and Complementarity-Based Distributed Parameter Systems, edited by Hintermüller Michael et al., Springer, 2022, pp. 43–76, doi:10.1007/978-3-030-79393-7_3.
LibreCat
| DOI
| Download (ext.)
2022 | Book Chapter | LibreCat-ID: 30294
Peitz, Sebastian, et al. “Efficient Virtual Design and Testing of Autonomous Vehicles.” German Success Stories in Industrial Mathematics, edited by H. G. Bock et al., vol. 35, Springer International Publishing, 2022, doi:10.1007/978-3-030-81455-7_23.
LibreCat
| DOI
2022 | Book Chapter | LibreCat-ID: 29928 |
Yigitbas, Enes, et al. “Self-Adaptive Digital Assistance Systems for Work 4.0.” 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.” Applications of Evolutionary Computation, EvoApplications 2022, Proceedings, vol. 13224, Springer International Publishing, 2022, pp. 386–401, doi:10.1007/978-3-031-02462-7_25.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31060
Feldmann, Michael, et al. “Coordinating Amoebots via Reconfigurable Circuits.” J. Comput. Biol., vol. 29, no. 4, 2022, pp. 317–343, doi:10.1089/cmb.2021.0363.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31844
Fischer, Andreas, et al. “Computation on Encrypted Data Using Dataflow Authentication.” ACM Transactions on Privacy and Security, vol. 25, no. 3, Association for Computing Machinery (ACM), 2022, pp. 1–36, doi: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, et al. “Property-Driven Testing of Black-Box Functions.” Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), IEEE, 2022, pp. 113–23.
LibreCat
2022 | Conference Paper | LibreCat-ID: 29842 |
Gottschalk, Sebastian, et al. “Model-Driven Continuous Experimentation on Component-Based Software Architectures .” Proceedings of the 18th International Conference on Software Architecture Companion , IEEE, 2022, doi:10.1109/ICSA-C54293.2022.00011.
LibreCat
| Files available
| DOI
2022 | Journal Article | LibreCat-ID: 32335
PODWORNY, SUSANNE, et al. “A PLACE FOR A DATA SCIENCE PROJECT IN SCHOOL: BETWEEN STATISTICS AND EPISTEMIC PROGRAMMING.” STATISTICS EDUCATION RESEARCH JOURNAL, vol. 21, no. 2, 6, International Association for Statistical Education, 2022, doi:10.52041/serj.v21i2.46.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 29673 |
Klus, Stefan, et al. “Koopman Analysis of Quantum Systems.” Journal of Physics A: Mathematical and Theoretical, vol. 55, no. 31, IOP Publishing Ltd., 2022, p. 314002, doi:10.1088/1751-8121/ac7d22.
LibreCat
| DOI
| Download (ext.)
| arXiv
2022 | Misc | LibreCat-ID: 32409
Schlichtig, Michael, et al. 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, Michael. 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, Marcus, et al. “A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools.” Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–43, doi:10.1145/3533767.
LibreCat
| Files available
| DOI