Karakaya, K., Schott, S., Klauke, J., Bodden, E., Schmidt, M., Luo, L., &; He, D. (2024). SootUp: A Redesign of the Soot Static Analysis Framework. In Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland.https://doi.org/10.1007/978-3-031-57246-3_13 
LibreCat: /record/53942
DOI: 10.1007/978-3-031-57246-3_13

Johnson, O., Piskachev, G., Krishnamurthy, R., &; Bodden, E. (2024). Detecting Security-Relevant Methods using Multi-label Machine Learning. Proceedings of the 46th International Conference on Software Engineering, IDE Workshop.https://doi.org/10.48550/ARXIV.2403.07501 
LibreCat: /record/53958
DOI: 10.48550/ARXIV.2403.07501

Amer, A., Álvarez-Tuñón, O., Ufurlu, H. ., Le Fevre Sejersen, J., Brodskiy, Y., &; Kayacan, E. (2024). UNav-Sim: A Visually Realistic Underwater Robotics Simulator and Synthetic Data-Generation Framework. 2023 21st International Conference on Advanced Robotics (ICAR).https://doi.org/10.1109/icar58858.2023.10406819 
LibreCat: /record/53796
DOI: 10.1109/icar58858.2023.10406819

Shivarpatna Venkatesh, A. P., Sabu, S., Wang, J., Mir, A. M., Li, L., &; Bodden, E. (2024). TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference  Tools. Proceedings of the 46th International Conference on Software Engineering, Tool Demo Track.
LibreCat: /record/53959
arXiv: 2312.16882

Weich, T., &; Wolf, L. L. (2024). Temperedness of locally symmetric spaces: The product case. Geom Dedicata, 218, Article 76.https://doi.org/10.1007/s10711-024-00904-4 
LibreCat: /record/51207
DOI: https://doi.org/10.1007/s10711-024-00904-4
arXiv: 2304.09573

Lutsko, C., Weich, T., &; Wolf, L. L. (2024). Polyhedral bounds on the joint spectrum and temperedness of locally  symmetric spaces. In arXiv:2402.02530.
LibreCat: /record/51204
arXiv: 2402.02530

Biermeier, K., Scharlau, I., &; Yigitbas, E. (2024). Measuring Visual Attention Capacity Across xReality. Proceedings of the 17th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA 2024).
LibreCat: /record/53816

Häsel-Weide, U., Graf, L. M., Höveler, K., &; Nührenbörger, M. (2024). Fachbezogene Professionalisierung von fachfremd Mathematik unterrichtenden Lehrkräften: Retrospektive Selbsteinschätzungen zur Expertise im Umgang mit Schwierigkeiten beim Mathematiklernen im Anfangsunterricht der Grundschule. HLZ – Herausforderung Lehrer*innenbildung, 7(1).https://doi.org/10.11576/hlz-6727 
LibreCat: /record/54078
DOI: 10.11576/hlz-6727

Lankeit, E., &; Biehler, R. (2024). The meaning landscape of the concept of the total derivative in multivariable real analysis textbooks: an analysis based on a new model of meaning. ZDM – Mathematics Education.https://doi.org/10.1007/s11858-024-01584-w 
LibreCat: /record/54144
DOI: 10.1007/s11858-024-01584-w

Henke, L.-S. (2024). Exploring Custom FPGA Accelerators for DNN-based RF Fingerprinting.
LibreCat: /record/54245