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.
11318 Publications
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 | Book Chapter | LibreCat-ID: 32233
Häsel-Weide, Uta, Melina Wallner, and M. Hattermann. “Symmetrieverständnis von Anfang an.” In Anfangsunterricht für alle Kinder - Willkommen in der Schule!, edited by M. Gutzmann, U. Carle, and Grundschulverband e. V., 200–215. Frankfurt a. M., 2022.
LibreCat
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 | Book Chapter | LibreCat-ID: 32339
Häsel-Weide, Uta, S. Seitz, Melina 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, edited by D. Lutz, J. Becker, F. Buchhaupt, D. Katzenbach, A. Strecker, and M. Urban, 83–100. Münster: Waxmann, 2022.
LibreCat
2022 | Journal Article | LibreCat-ID: 32338
Hähn, K., Uta 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 3, no. 2 (2022).
LibreCat
| Files available
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 | 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
2022 | Misc | LibreCat-ID: 6561
Hetkämper, Tim. Visualisierung von Ultraschallfeldern Mittels Schlierentechnik Und Fraktionaler Fouriertransformation. Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2022.
LibreCat
2022 | Misc | LibreCat-ID: 6592
Claes, Leander. Messverfahren Für Die Akustische Absorption Zur Bestimmung Der Volumenviskosität. Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 31847
Castenow, Jannik, Björn Feldkord, Till Knollmann, Manuel Malatyali, and Friedhelm Meyer auf der Heide. “The K-Server with Preferences Problem.” In Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, 345–56. Association for Computing Machinery, 2022. https://doi.org/10.1145/3490148.3538595.
LibreCat
| DOI
| arXiv
2022 | Book Chapter | LibreCat-ID: 34023
Kirchhoff, Jonas, and Gregor Engels. “Anti-Pattern Detection in Process-Driven Decision Support Systems.” In Software Business, 463:227--243. Lecture Notes in Business Information Processing. Cham: Springer International Publishing, 2022. https://doi.org/10.1007/978-3-031-20706-8_16.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 34040
Polevoy, Gleb, and Marcin Dziubiński. “Fair, Individually Rational and Cheap Adjustment.” In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, edited by Luc De Raedt. International Joint Conferences on Artificial Intelligence Organization, 2022. https://doi.org/10.24963/ijcai.2022/64.
LibreCat
| DOI
| Download (ext.)