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.
9825 Publications
2022 | Journal Article | LibreCat-ID: 31060
@article{Feldmann_Padalkin_Scheideler_Dolev_2022, title={Coordinating Amoebots via Reconfigurable Circuits}, volume={29}, DOI={10.1089/cmb.2021.0363}, number={4}, journal={J. Comput. Biol.}, author={Feldmann, Michael and Padalkin, Andreas and Scheideler, Christian and Dolev, Shlomi}, year={2022}, pages={317–343} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31844
@article{Fischer_Fuhry_Kußmaul_Janneck_Kerschbaum_Bodden_2022, title={Computation on Encrypted Data Using Dataflow Authentication}, volume={25}, DOI={10.1145/3513005}, number={3}, journal={ACM Transactions on Privacy and Security}, publisher={Association for Computing Machinery (ACM)}, author={Fischer, Andreas and Fuhry, Benny and Kußmaul, Jörn and Janneck, Jonas and Kerschbaum, Florian and Bodden, Eric}, year={2022}, pages={1–36} }
LibreCat
| DOI
2022 | Bachelorsthesis | LibreCat-ID: 31947
@book{Hillebrandt_2022, title={Verteiltes Berechnen kompakter Routingtabellen in Unit Disk Graphen}, author={Hillebrandt, Henning}, year={2022} }
LibreCat
| Files available
2022 | Journal Article | LibreCat-ID: 31982
@article{Cekić_Delarue_Dyatlov_Paternain_2022, title={The Ruelle zeta function at zero for nearly hyperbolic 3-manifolds}, volume={229}, DOI={10.1007/s00222-022-01108-x}, number={1}, journal={Inventiones mathematicae}, publisher={Springer Science and Business Media LLC}, author={Cekić, Mihajlo and Delarue, Benjamin and Dyatlov, Semyon and Paternain, Gabriel P.}, year={2022}, pages={303–394} }
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32311
@inproceedings{Sharma_Melnikov_Hüllermeier_Wehrheim_2022, title={Property-Driven Testing of Black-Box Functions}, booktitle={Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE)}, publisher={IEEE}, author={Sharma, Arnab and Melnikov, Vitaly and Hüllermeier, Eyke and Wehrheim, Heike}, year={2022}, pages={113–123} }
LibreCat
2022 | Conference Paper | LibreCat-ID: 29842 | 
@inproceedings{Gottschalk_Yigitbas_Engels_2022, title={Model-driven Continuous Experimentation on Component-based Software Architectures }, DOI={10.1109/ICSA-C54293.2022.00011}, booktitle={Proceedings of the 18th International Conference on Software Architecture Companion }, publisher={IEEE}, author={Gottschalk, Sebastian and Yigitbas, Enes and Engels, Gregor}, year={2022} }
LibreCat
| Files available
| DOI
2022 | Book Chapter | LibreCat-ID: 32233
@inbook{Häsel-Weide_Wallner_Hattermann_2022, place={Frankfurt a. M.}, title={Symmetrieverständnis von Anfang an}, booktitle={Anfangsunterricht für alle Kinder - Willkommen in der Schule!}, author={Häsel-Weide, Uta and Wallner, Melina and Hattermann, M.}, editor={Gutzmann, M. and Carle, U. and Grundschulverband e. V.}, year={2022}, pages={200–215} }
LibreCat
2022 | Journal Article | LibreCat-ID: 32335
@article{PODWORNY_Hüsing_SCHULTE_2022, title={A PLACE FOR A DATA SCIENCE PROJECT IN SCHOOL: BETWEEN STATISTICS AND EPISTEMIC PROGRAMMING}, volume={21}, DOI={10.52041/serj.v21i2.46}, number={26}, journal={STATISTICS EDUCATION RESEARCH JOURNAL}, publisher={International Association for Statistical Education}, author={PODWORNY, SUSANNE and Hüsing, Sven and SCHULTE, CARSTEN}, year={2022} }
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32334
@inproceedings{Krauter_Bendfeld_Möller_2022, title={Microinverter testing update using high power modules: Efficiency, yield, and conformity to a new ”estimation formula” for variation of PV panel size}, booktitle={Proceedings of the 49th IEEE Photovoltaic Specialists Conference}, author={Krauter, Stefan and Bendfeld, Jörg and Möller, Marius Claus}, year={2022} }
LibreCat
2022 | Book Chapter | LibreCat-ID: 32339
@inbook{Häsel-Weide_Seitz_Wallner_Wilke_2022, place={Münster}, title={Professionalisierung für inklusiven Mathematikunterricht. Interdisziplinäre Seminarkonzeption zur reflexiven Professionalisierung angehender Mathematiklehrkräfte in der Sekundarstufe}, booktitle={Qualifizierung für Inklusion. Sekundarstufe}, publisher={Waxmann}, author={Häsel-Weide, Uta and Seitz, S. and Wallner, Melina and Wilke, Y.}, editor={Lutz, D. and Becker, J. and Buchhaupt, F. and Katzenbach, D. and Strecker, A. and Urban, M.}, year={2022}, pages={83–100} }
LibreCat
2022 | Journal Article | LibreCat-ID: 32338
@article{Hähn_Häsel-Weide_Scherer_2022, title={Diagnosegeleitete Förderung im inklusiven Mathematikunterricht der Grundschule – Professionalisierung durch reflektierte Handlungspraxis in der Lehrer*innenbildung.}, volume={3}, number={2}, journal={QfI - Qualifizierung für Inklusion}, author={Hähn, K. and Häsel-Weide, Uta and Scherer, P.}, year={2022} }
LibreCat
| Files available
2022 | Conference Paper | LibreCat-ID: 32333
@inproceedings{Möller_Krauter_2022, title={Model of a Self-Sufficient PV Home using a Hybrid Storage System based on Li-Ion Batteries and Hydrogen Storage with Waste Heat Utilization }, booktitle={Proceedings of the 49th IEEE Photovoltaic Specialists Conference}, author={Möller, Marius Claus and Krauter, Stefan}, editor={IEEE}, year={2022} }
LibreCat
2022 | Journal Article | LibreCat-ID: 30262
@article{Möller_Krauter_2022, title={Hybrid Energy System Model in Matlab/Simulink based on Solar Energy, Lithium-Ion Battery and Hydrogen}, volume={15 (6), 2201}, DOI={10.3390/en15062201}, journal={Energies / Special Issue “Sustainable Energy Concepts for Energy Transition”}, publisher={MDPI / Basel, Switzerland}, author={Möller, Marius Claus and Krauter, Stefan}, year={2022} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 29673 |
@article{Klus_Nüske_Peitz_2022, title={Koopman analysis of quantum systems}, volume={55}, DOI={10.1088/1751-8121/ac7d22}, number={31}, journal={Journal of Physics A: Mathematical and Theoretical}, publisher={IOP Publishing Ltd.}, author={Klus, Stefan and Nüske, Feliks and Peitz, Sebastian}, year={2022}, pages={314002} }
LibreCat
| DOI
| Download (ext.)
| arXiv
2022 | Misc | LibreCat-ID: 32409
@book{Schlichtig_Wickert_Krüger_Bodden_Mezini_2022, title={CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite}, DOI={10.48550/ARXIV.2204.06447}, author={Schlichtig, Michael and Wickert, Anna-Katharina and Krüger, Stefan and Bodden, Eric and Mezini, Mira}, year={2022} }
LibreCat
| Files available
| DOI
2022 | Dissertation | LibreCat-ID: 32414
@book{Lass_2022, place={Paderborn}, title={Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations}, DOI={10.17619/UNIPB/1-1281}, publisher={Universität Paderborn}, author={Lass, Michael}, year={2022} }
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
@inproceedings{Nachtigall_Schlichtig_Bodden_2022, title={A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools}, DOI={10.1145/3533767}, booktitle={Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis}, publisher={ACM}, author={Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric}, year={2022}, pages={532–543} }
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31133
@inproceedings{Schlichtig_Sassalla_Narasimhan_Bodden_2022, title={FUM - A Framework for API Usage constraint and Misuse Classification}, DOI={https://doi.org/10.1109/SANER53432.2022.00085}, booktitle={2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, author={Schlichtig, Michael and Sassalla, Steffen and Narasimhan, Krishna and Bodden, Eric}, year={2022}, pages={673–684} }
LibreCat
| Files available
| DOI
2022 | Bachelorsthesis | LibreCat-ID: 32399
@book{Vahle_2022, title={Modelling and Proving Security for a Secure MPC Protocol for Stable Matching}, author={Vahle, Ella}, year={2022} }
LibreCat
2022 | Misc | LibreCat-ID: 6561
@book{Hetkämper_2022, place={Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck}, title={Visualisierung von Ultraschallfeldern mittels Schlierentechnik und fraktionaler Fouriertransformation}, author={Hetkämper, Tim}, year={2022} }
LibreCat