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