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.
5786 Publications
2022 | Conference Paper | LibreCat-ID: 29926
Yigitbas E, Gorissen S, Weidmann N, Engels G. Collaborative Software Modeling in Virtual Reality. In: Grunske L, Siegmund J, Vogelsang A, eds. Software Engineering 2022, Fachtagung Des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell. Vol {P-320}. LNI. Gesellschaft für Informatik e.V.; 2022:93–94. doi:10.18420/se2022-ws-032
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 29945
Witschen LM, Wiersema T, Reuter LD, Platzner M. Search Space Characterization for Approximate Logic Synthesis . In: 2022 59th ACM/IEEE Design Automation Conference (DAC).
LibreCat
2022 | Conference Paper | LibreCat-ID: 29865
Witschen LM, Wiersema T, Artmann M, Platzner M. MUSCAT: MUS-based Circuit Approximation Technique. In: Design, Automation and Test in Europe (DATE).
LibreCat
2022 | Mastersthesis | LibreCat-ID: 30152
Roopa R. Evaluation of Algorithms for the Node Capacitated Clique.; 2022.
LibreCat
2022 | Bachelorsthesis | LibreCat-ID: 30198
Korzeczek S. Aufarbeitung Und Lmplementierung von DAG-Rider.; 2022.
LibreCat
2022 | Mastersthesis | LibreCat-ID: 30199
Nachtigall M. Hybrid Routing in Three Dimensions.; 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 30236 | 
Schneider SB, Werner S, Khalili R, Hecker A, Karl H. 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 |
Banholzer S, Gebken B, Dellnitz M, Peitz S, Volkwein S. ROM-Based Multiobjective Optimization of Elliptic PDEs via Numerical Continuation. In: Michael H, Roland H, Christian K, Michael U, Stefan U, eds. Non-Smooth and Complementarity-Based Distributed Parameter Systems. Springer; 2022:43-76. doi:10.1007/978-3-030-79393-7_3
LibreCat
| DOI
| Download (ext.)
2022 | Book Chapter | LibreCat-ID: 30294
Peitz S, Dellnitz M, Bannenberg S. Efficient Virtual Design and Testing of Autonomous Vehicles. In: Bock HG, Küfer K-H, Maas P, Milde A, Schulz V, eds. German Success Stories in Industrial Mathematics. Vol 35. Mathematics in Industry. Springer International Publishing; 2022. doi:10.1007/978-3-030-81455-7_23
LibreCat
| DOI
2022 | Book Chapter | LibreCat-ID: 29928 |
Yigitbas E, Sauer S, Engels G. Self-Adaptive Digital Assistance Systems for Work 4.0. In: Vogel-Heuser B, Wimmer M, eds. Digital Transformation: Core Technologies and Emerging Topics from a Computer Science Perspective. Springer-Vieweg; 2022.
LibreCat
| Files available
2022 | Conference Paper | LibreCat-ID: 30971
Hansmeier T, Platzner M. Integrating Safety Guarantees into the Learning Classifier System XCS. In: Applications of Evolutionary Computation, EvoApplications 2022, Proceedings. Vol 13224. Lecture Notes in Computer Science. Springer International Publishing; 2022:386-401. doi:10.1007/978-3-031-02462-7_25
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31060
Feldmann M, Padalkin A, Scheideler C, Dolev S. Coordinating Amoebots via Reconfigurable Circuits. J Comput Biol. 2022;29(4):317–343. doi:10.1089/cmb.2021.0363
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31844
Fischer A, Fuhry B, Kußmaul J, Janneck J, Kerschbaum F, Bodden E. Computation on Encrypted Data Using Dataflow Authentication. ACM Transactions on Privacy and Security. 2022;25(3):1-36. doi:10.1145/3513005
LibreCat
| DOI
2022 | Bachelorsthesis | LibreCat-ID: 31947
Hillebrandt H. Verteiltes Berechnen Kompakter Routingtabellen in Unit Disk Graphen.; 2022.
LibreCat
| Files available
2022 | Conference Paper | LibreCat-ID: 32311
Sharma A, Melnikov V, Hüllermeier E, Wehrheim H. Property-Driven Testing of Black-Box Functions. In: Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE). IEEE; 2022:113-123.
LibreCat
2022 | Conference Paper | LibreCat-ID: 29842 |
Gottschalk S, Yigitbas E, Engels G. Model-driven Continuous Experimentation on Component-based Software Architectures . In: 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 S, Hüsing S, SCHULTE C. A PLACE FOR A DATA SCIENCE PROJECT IN SCHOOL: BETWEEN STATISTICS AND EPISTEMIC PROGRAMMING. STATISTICS EDUCATION RESEARCH JOURNAL. 2022;21(2). doi:10.52041/serj.v21i2.46
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 29673 |
Klus S, Nüske F, Peitz S. Koopman analysis of quantum systems. Journal of Physics A: Mathematical and Theoretical. 2022;55(31):314002. doi:10.1088/1751-8121/ac7d22
LibreCat
| DOI
| Download (ext.)
| arXiv
2022 | Misc | LibreCat-ID: 32409
Schlichtig M, Wickert A-K, Krüger S, Bodden E, Mezini M. CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite.; 2022. doi:10.48550/ARXIV.2204.06447
LibreCat
| Files available
| DOI