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, Tobias Wiersema, Matthias Artmann, and Marco Platzner. “MUSCAT: MUS-Based Circuit Approximation Technique.” In Design, Automation and Test in Europe (DATE), n.d.
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 | OA
Schneider, Stefan Balthasar, Stefan Werner, Ramin Khalili, Artur Hecker, and Holger Karl. “Mobile-Env: An Open Platform for Reinforcement Learning in Wireless Mobile Networks.” In IEEE/IFIP Network Operations and Management Symposium (NOMS). IEEE, 2022.
LibreCat | Files available
 

2022 | Book Chapter | LibreCat-ID: 16296 | OA
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 | Preprint | LibreCat-ID: 30868
Schede, Elias, Jasmin Brandt, Alexander Tornede, Marcel Dominik Wever, Viktor Bengs, Eyke Hüllermeier, and Kevin Tierney. “A Survey of Methods for Automated Algorithm Configuration.” ArXiv:2202.01651, 2022.
LibreCat | arXiv
 

2022 | Book Chapter | LibreCat-ID: 29928 | OA
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 | OA
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 | OA
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
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed