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.
9750 Publications
2022 | Journal Article | LibreCat-ID: 31982
The Ruelle zeta function at zero for nearly hyperbolic 3-manifolds
M. Cekić, B. Delarue, S. Dyatlov, G.P. Paternain, Inventiones Mathematicae 229 (2022) 303–394.
LibreCat
| DOI
M. Cekić, B. Delarue, S. Dyatlov, G.P. Paternain, Inventiones Mathematicae 229 (2022) 303–394.
2022 | Conference Paper | LibreCat-ID: 32311
Property-Driven Testing of Black-Box Functions
A. Sharma, V. Melnikov, E. Hüllermeier, H. Wehrheim, in: Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), IEEE, 2022, pp. 113–123.
LibreCat
A. Sharma, V. Melnikov, E. Hüllermeier, H. Wehrheim, in: Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), IEEE, 2022, pp. 113–123.
2022 | Conference Paper | LibreCat-ID: 29842 | 
Model-driven Continuous Experimentation on Component-based Software Architectures
S. Gottschalk, E. Yigitbas, G. Engels, in: Proceedings of the 18th International Conference on Software Architecture Companion , IEEE, 2022.
LibreCat
| Files available
| DOI
S. Gottschalk, E. Yigitbas, G. Engels, in: Proceedings of the 18th International Conference on Software Architecture Companion , IEEE, 2022.
2022 | Book Chapter | LibreCat-ID: 32233
Symmetrieverständnis von Anfang an
U. Häsel-Weide, M. Wallner, M. Hattermann, in: M. Gutzmann, U. Carle, Grundschulverband e. V. (Eds.), Anfangsunterricht für alle Kinder - Willkommen in der Schule!, Frankfurt a. M., 2022, pp. 200–215.
LibreCat
U. Häsel-Weide, M. Wallner, M. Hattermann, in: M. Gutzmann, U. Carle, Grundschulverband e. V. (Eds.), Anfangsunterricht für alle Kinder - Willkommen in der Schule!, Frankfurt a. M., 2022, pp. 200–215.
2022 | Journal Article | LibreCat-ID: 32335
A PLACE FOR A DATA SCIENCE PROJECT IN SCHOOL: BETWEEN STATISTICS AND EPISTEMIC PROGRAMMING
S. PODWORNY, S. Hüsing, C. SCHULTE, STATISTICS EDUCATION RESEARCH JOURNAL 21 (2022).
LibreCat
| DOI
S. PODWORNY, S. Hüsing, C. SCHULTE, STATISTICS EDUCATION RESEARCH JOURNAL 21 (2022).
2022 | Conference Paper | LibreCat-ID: 32334
Microinverter testing update using high power modules: Efficiency, yield, and conformity to a new ”estimation formula” for variation of PV panel size
S. Krauter, J. Bendfeld, M.C. Möller, in: Proceedings of the 49th IEEE Photovoltaic Specialists Conference, 2022.
LibreCat
S. Krauter, J. Bendfeld, M.C. Möller, in: Proceedings of the 49th IEEE Photovoltaic Specialists Conference, 2022.
2022 | Book Chapter | LibreCat-ID: 32339
Professionalisierung für inklusiven Mathematikunterricht. Interdisziplinäre Seminarkonzeption zur reflexiven Professionalisierung angehender Mathematiklehrkräfte in der Sekundarstufe
U. Häsel-Weide, S. Seitz, M. Wallner, Y. Wilke, in: D. Lutz, J. Becker, F. Buchhaupt, D. Katzenbach, A. Strecker, M. Urban (Eds.), Qualifizierung für Inklusion. Sekundarstufe, Waxmann, Münster, 2022, pp. 83–100.
LibreCat
U. Häsel-Weide, S. Seitz, M. Wallner, Y. Wilke, in: D. Lutz, J. Becker, F. Buchhaupt, D. Katzenbach, A. Strecker, M. Urban (Eds.), Qualifizierung für Inklusion. Sekundarstufe, Waxmann, Münster, 2022, pp. 83–100.
2022 | Journal Article | LibreCat-ID: 32338
Diagnosegeleitete Förderung im inklusiven Mathematikunterricht der Grundschule – Professionalisierung durch reflektierte Handlungspraxis in der Lehrer*innenbildung.
K. Hähn, U. Häsel-Weide, P. Scherer, QfI - Qualifizierung für Inklusion 3 (2022).
LibreCat
| Files available
K. Hähn, U. Häsel-Weide, P. Scherer, QfI - Qualifizierung für Inklusion 3 (2022).
2022 | Conference Paper | LibreCat-ID: 32333
Model of a Self-Sufficient PV Home using a Hybrid Storage System based on Li-Ion Batteries and Hydrogen Storage with Waste Heat Utilization
M.C. Möller, S. Krauter, in: IEEE (Ed.), Proceedings of the 49th IEEE Photovoltaic Specialists Conference, 2022.
LibreCat
M.C. Möller, S. Krauter, in: IEEE (Ed.), Proceedings of the 49th IEEE Photovoltaic Specialists Conference, 2022.
2022 | Journal Article | LibreCat-ID: 30262
Hybrid Energy System Model in Matlab/Simulink based on Solar Energy, Lithium-Ion Battery and Hydrogen
M.C. Möller, S. Krauter, Energies / Special Issue “Sustainable Energy Concepts for Energy Transition” 15 (6), 2201 (2022).
LibreCat
| DOI
M.C. Möller, S. Krauter, Energies / Special Issue “Sustainable Energy Concepts for Energy Transition” 15 (6), 2201 (2022).
2022 | Journal Article | LibreCat-ID: 29673 |
Koopman analysis of quantum systems
S. Klus, F. Nüske, S. Peitz, Journal of Physics A: Mathematical and Theoretical 55 (2022) 314002.
LibreCat
| DOI
| Download (ext.)
| arXiv
S. Klus, F. Nüske, S. Peitz, Journal of Physics A: Mathematical and Theoretical 55 (2022) 314002.
2022 | Misc | LibreCat-ID: 32409
CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite
M. Schlichtig, A.-K. Wickert, S. Krüger, E. Bodden, M. Mezini, CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite, 2022.
LibreCat
| Files available
| DOI
M. Schlichtig, A.-K. Wickert, S. Krüger, E. Bodden, M. Mezini, CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite, 2022.
2022 | Dissertation | LibreCat-ID: 32414
Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations
M. Lass, Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations, Universität Paderborn, Paderborn, 2022.
LibreCat
| DOI
M. Lass, Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations, Universität Paderborn, Paderborn, 2022.
2022 | Conference Paper | LibreCat-ID: 32410
A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools
M. Nachtigall, M. Schlichtig, E. Bodden, in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–543.
LibreCat
| Files available
| DOI
M. Nachtigall, M. Schlichtig, E. Bodden, in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–543.
2022 | Conference Paper | LibreCat-ID: 31133
FUM - A Framework for API Usage constraint and Misuse Classification
M. Schlichtig, S. Sassalla, K. Narasimhan, E. Bodden, in: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, pp. 673–684.
LibreCat
| Files available
| DOI
M. Schlichtig, S. Sassalla, K. Narasimhan, E. Bodden, in: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, pp. 673–684.
2022 | Bachelorsthesis | LibreCat-ID: 32399
Modelling and Proving Security for a Secure MPC Protocol for Stable Matching
E. Vahle, Modelling and Proving Security for a Secure MPC Protocol for Stable Matching, 2022.
LibreCat
E. Vahle, Modelling and Proving Security for a Secure MPC Protocol for Stable Matching, 2022.
2022 | Misc | LibreCat-ID: 6561
Visualisierung von Ultraschallfeldern mittels Schlierentechnik und fraktionaler Fouriertransformation
T. Hetkämper, Visualisierung von Ultraschallfeldern Mittels Schlierentechnik Und Fraktionaler Fouriertransformation, Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2022.
LibreCat
T. Hetkämper, Visualisierung von Ultraschallfeldern Mittels Schlierentechnik Und Fraktionaler Fouriertransformation, Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2022.
2022 | Misc | LibreCat-ID: 6592
Messverfahren für die akustische Absorption zur Bestimmung der Volumenviskosität
L. Claes, Messverfahren Für Die Akustische Absorption Zur Bestimmung Der Volumenviskosität, Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2022.
LibreCat
L. Claes, Messverfahren Für Die Akustische Absorption Zur Bestimmung Der Volumenviskosität, Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2022.
2022 | Conference Paper | LibreCat-ID: 31847
The k-Server with Preferences Problem
J. Castenow, B. Feldkord, T. Knollmann, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2022, pp. 345–356.
LibreCat
| DOI
| arXiv
J. Castenow, B. Feldkord, T. Knollmann, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2022, pp. 345–356.
2022 | Book Chapter | LibreCat-ID: 34023
Anti-pattern Detection in Process-Driven Decision Support Systems
J. Kirchhoff, G. Engels, in: Software Business, Springer International Publishing, Cham, 2022, pp. 227--243.
LibreCat
| DOI
J. Kirchhoff, G. Engels, in: Software Business, Springer International Publishing, Cham, 2022, pp. 227--243.