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.
9901 Publications
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 | Journal Article | LibreCat-ID: 31982
Cekić M, Delarue B, Dyatlov S, Paternain GP. The Ruelle zeta function at zero for nearly hyperbolic 3-manifolds. Inventiones mathematicae. 2022;229(1):303-394. doi:10.1007/s00222-022-01108-x
LibreCat
| DOI
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 | Book Chapter | LibreCat-ID: 32233
Häsel-Weide U, Wallner M, Hattermann M. Symmetrieverständnis von Anfang an. In: Gutzmann M, Carle U, Grundschulverband e. V., eds. Anfangsunterricht für alle Kinder - Willkommen in der Schule!. ; 2022:200-215.
LibreCat
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 | Conference Paper | LibreCat-ID: 32334
Krauter S, Bendfeld J, Möller MC. 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 | Book Chapter | LibreCat-ID: 32339
Häsel-Weide U, Seitz S, Wallner M, Wilke Y. Professionalisierung für inklusiven Mathematikunterricht. Interdisziplinäre Seminarkonzeption zur reflexiven Professionalisierung angehender Mathematiklehrkräfte in der Sekundarstufe. In: Lutz D, Becker J, Buchhaupt F, Katzenbach D, Strecker A, Urban M, eds. Qualifizierung für Inklusion. Sekundarstufe. Waxmann; 2022:83-100.
LibreCat
2022 | Journal Article | LibreCat-ID: 32338
Hähn K, Häsel-Weide U, Scherer P. Diagnosegeleitete Förderung im inklusiven Mathematikunterricht der Grundschule – Professionalisierung durch reflektierte Handlungspraxis in der Lehrer*innenbildung. QfI - Qualifizierung für Inklusion. 2022;3(2).
LibreCat
| Files available
2022 | Conference Paper | LibreCat-ID: 32333
Möller MC, Krauter S. 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. ; 2022.
LibreCat
2022 | Journal Article | LibreCat-ID: 30262
Möller MC, Krauter S. 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.” 2022;15 (6), 2201. doi:10.3390/en15062201
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
2022 | Dissertation | LibreCat-ID: 32414
Lass M. Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations. Universität Paderborn; 2022. doi:10.17619/UNIPB/1-1281
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
Nachtigall M, Schlichtig M, Bodden E. 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. ACM; 2022:532-543. doi:10.1145/3533767
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31133
Schlichtig M, Sassalla S, Narasimhan K, Bodden E. FUM - A Framework for API Usage constraint and Misuse Classification. In: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). ; 2022:673-684. doi:https://doi.org/10.1109/SANER53432.2022.00085
LibreCat
| Files available
| DOI
2022 | Bachelorsthesis | LibreCat-ID: 32399
Vahle E. Modelling and Proving Security for a Secure MPC Protocol for Stable Matching.; 2022.
LibreCat