K. Karakaya et al., “SootUp: A Redesign of the Soot Static Analysis Framework,” in Tools and Algorithms for the Construction and Analysis of Systems, Cham: Springer Nature Switzerland, 2024.
LibreCat: /record/53942
DOI: 10.1007/978-3-031-57246-3_13

O. Johnson, G. Piskachev, R. Krishnamurthy, and E. Bodden, “Detecting Security-Relevant Methods using Multi-label Machine Learning,”10.48550/ARXIV.2403.07501__2024, doi:10.48550/ARXIV.2403.07501 .
LibreCat: /record/53958
DOI: 10.48550/ARXIV.2403.07501

A. Amer, O. Álvarez-Tuñón, H. . Ufurlu, J. Le Fevre Sejersen, Y. Brodskiy, and E. Kayacan, “UNav-Sim: A Visually Realistic Underwater Robotics Simulator and Synthetic Data-Generation Framework,”10.1109/icar58858.2023.10406819__2024, doi:10.1109/icar58858.2023.10406819 .
LibreCat: /record/53796
DOI: 10.1109/icar58858.2023.10406819

A. P. Shivarpatna Venkatesh, S. Sabu, J. Wang, A. M. Mir, L. Li, and E. Bodden, “TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference  Tools,” 2024.
LibreCat: /record/53959
arXiv: 2312.16882

T. Weich and L. L. Wolf, “Temperedness of locally symmetric spaces: The product case,”https://doi.org/10.1007/s10711-024-00904-4__Geom Dedicata, vol. 218, Art. no. 76, 2024, doi: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

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

K. Biermeier, I. Scharlau, and E. Yigitbas, “Measuring Visual Attention Capacity Across xReality,” 2024.
LibreCat: /record/53816

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

E. Lankeit and R. Biehler, “The meaning landscape of the concept of the total derivative in multivariable real analysis textbooks: an analysis based on a new model of meaning,”10.1007/s11858-024-01584-w__ZDM – Mathematics Education, 2024, doi:10.1007/s11858-024-01584-w .
LibreCat: /record/54144
DOI: 10.1007/s11858-024-01584-w

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