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
MUSCAT: MUS-based Circuit Approximation Technique
L.M. Witschen, T. Wiersema, M. Artmann, M. Platzner, in: Design, Automation and Test in Europe (DATE), n.d.
LibreCat
L.M. Witschen, T. Wiersema, M. Artmann, M. Platzner, in: Design, Automation and Test in Europe (DATE), n.d.
2022 | Mastersthesis | LibreCat-ID: 30152
Evaluation of Algorithms for the Node Capacitated Clique
R. Roopa, Evaluation of Algorithms for the Node Capacitated Clique, 2022.
LibreCat
R. Roopa, Evaluation of Algorithms for the Node Capacitated Clique, 2022.
2022 | Bachelorsthesis | LibreCat-ID: 30198
Aufarbeitung und lmplementierung von DAG-Rider
S. Korzeczek, Aufarbeitung Und Lmplementierung von DAG-Rider, 2022.
LibreCat
S. Korzeczek, Aufarbeitung Und Lmplementierung von DAG-Rider, 2022.
2022 | Mastersthesis | LibreCat-ID: 30199
Hybrid Routing in Three Dimensions
M. Nachtigall, Hybrid Routing in Three Dimensions, 2022.
LibreCat
M. Nachtigall, Hybrid Routing in Three Dimensions, 2022.
2022 | Conference Paper | LibreCat-ID: 30236 | 
mobile-env: An Open Platform for Reinforcement Learning in Wireless Mobile Networks
S.B. Schneider, S. Werner, R. Khalili, A. Hecker, H. Karl, in: IEEE/IFIP Network Operations and Management Symposium (NOMS), IEEE, 2022.
LibreCat
| Files available
S.B. Schneider, S. Werner, R. Khalili, A. Hecker, H. Karl, in: IEEE/IFIP Network Operations and Management Symposium (NOMS), IEEE, 2022.
2022 | Book Chapter | LibreCat-ID: 16296 |
ROM-Based Multiobjective Optimization of Elliptic PDEs via Numerical Continuation
S. Banholzer, B. Gebken, M. Dellnitz, S. Peitz, S. Volkwein, in: H. Michael, H. Roland, K. Christian, U. Michael, U. Stefan (Eds.), Non-Smooth and Complementarity-Based Distributed Parameter Systems, Springer, Cham, 2022, pp. 43–76.
LibreCat
| DOI
| Download (ext.)
S. Banholzer, B. Gebken, M. Dellnitz, S. Peitz, S. Volkwein, in: H. Michael, H. Roland, K. Christian, U. Michael, U. Stefan (Eds.), Non-Smooth and Complementarity-Based Distributed Parameter Systems, Springer, Cham, 2022, pp. 43–76.
2022 | Book Chapter | LibreCat-ID: 30294
Efficient Virtual Design and Testing of Autonomous Vehicles
S. Peitz, M. Dellnitz, S. Bannenberg, in: H.G. Bock, K.-H. Küfer, P. Maas, A. Milde, V. Schulz (Eds.), German Success Stories in Industrial Mathematics, Springer International Publishing, Cham, 2022.
LibreCat
| DOI
S. Peitz, M. Dellnitz, S. Bannenberg, in: H.G. Bock, K.-H. Küfer, P. Maas, A. Milde, V. Schulz (Eds.), German Success Stories in Industrial Mathematics, Springer International Publishing, Cham, 2022.
2022 | Preprint | LibreCat-ID: 30868
A Survey of Methods for Automated Algorithm Configuration
E. Schede, J. Brandt, A. Tornede, M.D. Wever, V. Bengs, E. Hüllermeier, K. Tierney, ArXiv:2202.01651 (2022).
LibreCat
| arXiv
E. Schede, J. Brandt, A. Tornede, M.D. Wever, V. Bengs, E. Hüllermeier, K. Tierney, ArXiv:2202.01651 (2022).
2022 | Book Chapter | LibreCat-ID: 29928 |
Self-Adaptive Digital Assistance Systems for Work 4.0
E. Yigitbas, S. Sauer, G. Engels, in: B. Vogel-Heuser, M. Wimmer (Eds.), Digital Transformation: Core Technologies and Emerging Topics from a Computer Science Perspective, Springer-Vieweg, 2022.
LibreCat
| Files available
E. Yigitbas, S. Sauer, G. Engels, in: B. Vogel-Heuser, M. Wimmer (Eds.), Digital Transformation: Core Technologies and Emerging Topics from a Computer Science Perspective, Springer-Vieweg, 2022.
2022 | Conference Paper | LibreCat-ID: 30971
Integrating Safety Guarantees into the Learning Classifier System XCS
T. Hansmeier, M. Platzner, in: Applications of Evolutionary Computation, EvoApplications 2022, Proceedings, Springer International Publishing, 2022, pp. 386–401.
LibreCat
| DOI
T. Hansmeier, M. Platzner, in: Applications of Evolutionary Computation, EvoApplications 2022, Proceedings, Springer International Publishing, 2022, pp. 386–401.
2022 | Journal Article | LibreCat-ID: 31060
Coordinating Amoebots via Reconfigurable Circuits
M. Feldmann, A. Padalkin, C. Scheideler, S. Dolev, J. Comput. Biol. 29 (2022) 317–343.
LibreCat
| DOI
M. Feldmann, A. Padalkin, C. Scheideler, S. Dolev, J. Comput. Biol. 29 (2022) 317–343.
2022 | Journal Article | LibreCat-ID: 31844
Computation on Encrypted Data Using Dataflow Authentication
A. Fischer, B. Fuhry, J. Kußmaul, J. Janneck, F. Kerschbaum, E. Bodden, ACM Transactions on Privacy and Security 25 (2022) 1–36.
LibreCat
| DOI
A. Fischer, B. Fuhry, J. Kußmaul, J. Janneck, F. Kerschbaum, E. Bodden, ACM Transactions on Privacy and Security 25 (2022) 1–36.
2022 | Bachelorsthesis | LibreCat-ID: 31947
Verteiltes Berechnen kompakter Routingtabellen in Unit Disk Graphen
H. Hillebrandt, Verteiltes Berechnen Kompakter Routingtabellen in Unit Disk Graphen, 2022.
LibreCat
| Files available
H. Hillebrandt, Verteiltes Berechnen Kompakter Routingtabellen in Unit Disk Graphen, 2022.
2022 | Conference Paper | LibreCat-ID: 32311
Property-Driven Testing of Black-Box Functions
A. Sharma, V. Melnikov, E. Hüllermeier, H. Wehrheim, in: Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), IEEE, 2022, pp. 113–123.
LibreCat
A. Sharma, V. Melnikov, E. Hüllermeier, H. Wehrheim, in: Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), IEEE, 2022, pp. 113–123.
2022 | Conference Paper | LibreCat-ID: 29842 |
Model-driven Continuous Experimentation on Component-based Software Architectures
S. Gottschalk, E. Yigitbas, G. Engels, in: Proceedings of the 18th International Conference on Software Architecture Companion , IEEE, 2022.
LibreCat
| Files available
| DOI
S. Gottschalk, E. Yigitbas, G. Engels, in: Proceedings of the 18th International Conference on Software Architecture Companion , IEEE, 2022.
2022 | Journal Article | LibreCat-ID: 32335
A PLACE FOR A DATA SCIENCE PROJECT IN SCHOOL: BETWEEN STATISTICS AND EPISTEMIC PROGRAMMING
S. PODWORNY, S. Hüsing, C. SCHULTE, STATISTICS EDUCATION RESEARCH JOURNAL 21 (2022).
LibreCat
| DOI
S. PODWORNY, S. Hüsing, C. SCHULTE, STATISTICS EDUCATION RESEARCH JOURNAL 21 (2022).
2022 | Journal Article | LibreCat-ID: 29673 |
Koopman analysis of quantum systems
S. Klus, F. Nüske, S. Peitz, Journal of Physics A: Mathematical and Theoretical 55 (2022) 314002.
LibreCat
| DOI
| Download (ext.)
| arXiv
S. Klus, F. Nüske, S. Peitz, Journal of Physics A: Mathematical and Theoretical 55 (2022) 314002.
2022 | Misc | LibreCat-ID: 32409
CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite
M. Schlichtig, A.-K. Wickert, S. Krüger, E. Bodden, M. Mezini, CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite, 2022.
LibreCat
| Files available
| DOI
M. Schlichtig, A.-K. Wickert, S. Krüger, E. Bodden, M. Mezini, CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite, 2022.
2022 | Dissertation | LibreCat-ID: 32414
Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations
M. Lass, Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations, Universität Paderborn, Paderborn, 2022.
LibreCat
| DOI
M. Lass, Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations, Universität Paderborn, Paderborn, 2022.
2022 | Conference Paper | LibreCat-ID: 32410
A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools
M. Nachtigall, M. Schlichtig, E. Bodden, in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–543.
LibreCat
| Files available
| DOI
M. Nachtigall, M. Schlichtig, E. Bodden, in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–543.