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.
12208 Publications
2022 | Conference Paper | LibreCat-ID: 6590
Nicolai, Marcel, Henning Zeipert, Yevgeniya Lugovtsova, Jannis Bulling, Sarah Johannesmann, Jens Prager, and Bernd Henning. “Quantification of the Adhesive Coupling of Layered Structures Using Guided Ultrasonic Waves.” In Fortschritte Der Akustik - DAGA 2022, 1394–97, 2022.
LibreCat
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 | Journal Article | LibreCat-ID: 31982
Cekić, Mihajlo, Benjamin Delarue, Semyon Dyatlov, and Gabriel P. Paternain. “The Ruelle Zeta Function at Zero for Nearly Hyperbolic 3-Manifolds.” Inventiones Mathematicae 229, no. 1 (2022): 303–94. https://doi.org/10.1007/s00222-022-01108-x.
LibreCat
| DOI
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 | Conference Paper | LibreCat-ID: 32334
Krauter, Stefan, Jörg Bendfeld, and Marius Claus Möller. “Microinverter Testing Update Using High Power Modules: Efficiency, Yield, and Conformity to a New ”estimation Formula” for Variation of PV Panel Size.” In Proceedings of the 49th IEEE Photovoltaic Specialists Conference, 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 32333
Möller, Marius Claus, and Stefan Krauter. “Model of a Self-Sufficient PV Home Using a Hybrid Storage System Based on Li-Ion Batteries and Hydrogen Storage with Waste Heat Utilization .” In Proceedings of the 49th IEEE Photovoltaic Specialists Conference, edited by IEEE, 2022.
LibreCat
2022 | Journal Article | LibreCat-ID: 30262
Möller, Marius Claus, and Stefan Krauter. “Hybrid Energy System Model in Matlab/Simulink Based on Solar Energy, Lithium-Ion Battery and Hydrogen.” Energies / Special Issue “Sustainable Energy Concepts for Energy Transition” 15 (6), 2201 (2022). https://doi.org/10.3390/en15062201.
LibreCat
| DOI
2022 | Book Chapter | LibreCat-ID: 32363
Heiden, Philipp zur, Jennifer Priefer, and Daniel Beverungen. “Smart Service für die prädiktive Instandhaltung zentraler Komponenten des Mittelspannungs-Netzes.” In Forum Dienstleistungsmanagement, edited by Manfred Bruhn and Karsten Hadwich, 435–57. Forum Dienstleistungsmanagement. Wiesbaden: Springer Fachmedien Wiesbaden, 2022. https://doi.org/10.1007/978-3-658-37344-3_14.
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