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.
9816 Publications
2022 | Conference Paper | LibreCat-ID: 30971
Hansmeier, T., & Platzner, M. (2022). Integrating Safety Guarantees into the Learning Classifier System XCS. Applications of Evolutionary Computation, EvoApplications 2022, Proceedings, 13224, 386–401. https://doi.org/10.1007/978-3-031-02462-7_25
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31060
Feldmann, M., Padalkin, A., Scheideler, C., & Dolev, S. (2022). Coordinating Amoebots via Reconfigurable Circuits. J. Comput. Biol., 29(4), 317–343. https://doi.org/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. (2022). Computation on Encrypted Data Using Dataflow Authentication. ACM Transactions on Privacy and Security, 25(3), 1–36. https://doi.org/10.1145/3513005
LibreCat
| DOI
2022 | Bachelorsthesis | LibreCat-ID: 31947
Hillebrandt, H. (2022). Verteiltes Berechnen kompakter Routingtabellen in Unit Disk Graphen.
LibreCat
| Files available
2022 | Journal Article | LibreCat-ID: 31982
Cekić, M., Delarue, B., Dyatlov, S., & Paternain, G. P. (2022). The Ruelle zeta function at zero for nearly hyperbolic 3-manifolds. Inventiones Mathematicae, 229(1), 303–394. https://doi.org/10.1007/s00222-022-01108-x
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32311
Sharma, A., Melnikov, V., Hüllermeier, E., & Wehrheim, H. (2022). Property-Driven Testing of Black-Box Functions. Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), 113–123.
LibreCat
2022 | Conference Paper | LibreCat-ID: 29842 | 
Gottschalk, S., Yigitbas, E., & Engels, G. (2022). Model-driven Continuous Experimentation on Component-based Software Architectures . Proceedings of the 18th International Conference on Software Architecture Companion . 18th International Conference on Software Architecture , Hawaii. https://doi.org/10.1109/ICSA-C54293.2022.00011
LibreCat
| Files available
| DOI
2022 | Book Chapter | LibreCat-ID: 32233
Häsel-Weide, U., Wallner, M., & Hattermann, M. (2022). Symmetrieverständnis von Anfang an. In M. Gutzmann, U. Carle, & Grundschulverband e. V. (Eds.), Anfangsunterricht für alle Kinder - Willkommen in der Schule! (pp. 200–215).
LibreCat
2022 | Journal Article | LibreCat-ID: 32335
PODWORNY, S., Hüsing, S., & SCHULTE, C. (2022). A PLACE FOR A DATA SCIENCE PROJECT IN SCHOOL: BETWEEN STATISTICS AND EPISTEMIC PROGRAMMING. STATISTICS EDUCATION RESEARCH JOURNAL, 21(2), Article 6. https://doi.org/10.52041/serj.v21i2.46
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32334
Krauter, S., Bendfeld, J., & Möller, M. C. (2022). Microinverter testing update using high power modules: Efficiency, yield, and conformity to a new ”estimation formula” for variation of PV panel size. Proceedings of the 49th IEEE Photovoltaic Specialists Conference. 49th IEEE Photovoltaic Specialists Conference, Philadelphia, PA, USA.
LibreCat
2022 | Book Chapter | LibreCat-ID: 32339
Häsel-Weide, U., Seitz, S., Wallner, M., & Wilke, Y. (2022). Professionalisierung für inklusiven Mathematikunterricht. Interdisziplinäre Seminarkonzeption zur reflexiven Professionalisierung angehender Mathematiklehrkräfte in der Sekundarstufe. In D. Lutz, J. Becker, F. Buchhaupt, D. Katzenbach, A. Strecker, & M. Urban (Eds.), Qualifizierung für Inklusion. Sekundarstufe (pp. 83–100). Waxmann.
LibreCat
2022 | Journal Article | LibreCat-ID: 32338
Hähn, K., Häsel-Weide, U., & Scherer, P. (2022). Diagnosegeleitete Förderung im inklusiven Mathematikunterricht der Grundschule – Professionalisierung durch reflektierte Handlungspraxis in der Lehrer*innenbildung. QfI - Qualifizierung für Inklusion, 3(2).
LibreCat
| Files available
2022 | Conference Paper | LibreCat-ID: 32333
Möller, M. C., & Krauter, S. (2022). 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 IEEE (Ed.), Proceedings of the 49th IEEE Photovoltaic Specialists Conference.
LibreCat
2022 | Journal Article | LibreCat-ID: 30262
Möller, M. C., & Krauter, S. (2022). 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. https://doi.org/10.3390/en15062201
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 29673 |
Klus, S., Nüske, F., & Peitz, S. (2022). Koopman analysis of quantum systems. Journal of Physics A: Mathematical and Theoretical, 55(31), 314002. https://doi.org/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. (2022). CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite. https://doi.org/10.48550/ARXIV.2204.06447
LibreCat
| Files available
| DOI
2022 | Dissertation | LibreCat-ID: 32414
Lass, M. (2022). Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-1281
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
Nachtigall, M., Schlichtig, M., & Bodden, E. (2022). 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, 532–543. https://doi.org/10.1145/3533767
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31133
Schlichtig, M., Sassalla, S., Narasimhan, K., & Bodden, E. (2022). FUM - A Framework for API Usage constraint and Misuse Classification. 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 673–684. https://doi.org/10.1109/SANER53432.2022.00085
LibreCat
| Files available
| DOI
2022 | Bachelorsthesis | LibreCat-ID: 32399
Vahle, E. (2022). Modelling and Proving Security for a Secure MPC Protocol for Stable Matching.
LibreCat