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.
30446 Publications
2024 | Conference Paper | LibreCat-ID: 53938
Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems
K. Karakaya, E. Bodden, in: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, ACM, 2024.
LibreCat
| DOI
K. Karakaya, E. Bodden, in: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, ACM, 2024.
2024 | Journal Article | LibreCat-ID: 53935
Schulleitungen als Promotoren. Unterstützung digitalisierungsbezogener Schulentwicklungsprozesse durch Schulleitungen und deren Wahrnehmung durch Lehrpersonen.
J. Gerick, J. Kieseler, D. Herrmann, B. Eickelmann, MedienPädagogik (Occasional Papers) (2024) 175–194.
LibreCat
| DOI
J. Gerick, J. Kieseler, D. Herrmann, B. Eickelmann, MedienPädagogik (Occasional Papers) (2024) 175–194.
2024 | Conference Paper | LibreCat-ID: 53848
On the repulsion effect of coupled Lamb wave modes
M. Nicolai, J. Bulling, Y. Lugovtsova, H. Zeipert, J. Prager, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte Der Akustik - DAGA 2024, 2024, pp. 632–635.
LibreCat
M. Nicolai, J. Bulling, Y. Lugovtsova, H. Zeipert, J. Prager, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte Der Akustik - DAGA 2024, 2024, pp. 632–635.
2024 | Journal Article | LibreCat-ID: 53936 | 
Zwischen Herrschaft und Utopie . Eine theologische Reflexion über die ambivalente Mensch-Tier-Beziehung
H. Herdramm, Laudato (2024) 6–7.
LibreCat
| Download (ext.)
H. Herdramm, Laudato (2024) 6–7.
2024 | Book Chapter | LibreCat-ID: 53942
SootUp: A Redesign of the Soot Static Analysis Framework
K. Karakaya, S. Schott, J. Klauke, E. Bodden, M. Schmidt, L. Luo, D. He, in: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature Switzerland, Cham, 2024.
LibreCat
| DOI
K. Karakaya, S. Schott, J. Klauke, E. Bodden, M. Schmidt, L. Luo, D. He, in: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature Switzerland, Cham, 2024.
2024 | Conference Paper | LibreCat-ID: 53958
Detecting Security-Relevant Methods using Multi-label Machine Learning
O. Johnson, G. Piskachev, R. Krishnamurthy, E. Bodden, in: Proceedings of the 46th International Conference on Software Engineering, IDE Workshop, 2024.
LibreCat
| DOI
O. Johnson, G. Piskachev, R. Krishnamurthy, E. Bodden, in: Proceedings of the 46th International Conference on Software Engineering, IDE Workshop, 2024.
2024 | Conference Paper | LibreCat-ID: 53796
UNav-Sim: A Visually Realistic Underwater Robotics Simulator and Synthetic Data-Generation Framework
A. Amer, O. Álvarez-Tuñón, H.İ. Uğurlu, J. Le Fevre Sejersen, Y. Brodskiy, E. Kayacan, in: 2023 21st International Conference on Advanced Robotics (ICAR), IEEE, 2024.
LibreCat
| DOI
A. Amer, O. Álvarez-Tuñón, H.İ. Uğurlu, J. Le Fevre Sejersen, Y. Brodskiy, E. Kayacan, in: 2023 21st International Conference on Advanced Robotics (ICAR), IEEE, 2024.
2024 | Conference Paper | LibreCat-ID: 53959
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
A.P. Shivarpatna Venkatesh, S. Sabu, J. Wang, A.M. Mir, L. Li, E. Bodden, in: Proceedings of the 46th International Conference on Software Engineering, Tool Demo Track, 2024.
LibreCat
| arXiv
A.P. Shivarpatna Venkatesh, S. Sabu, J. Wang, A.M. Mir, L. Li, E. Bodden, in: Proceedings of the 46th International Conference on Software Engineering, Tool Demo Track, 2024.
2024 | Book Chapter | LibreCat-ID: 53624
Modellierungen außerinstitutioneller Aneignungsprozesse digital-materieller Interfaces und (musik-)pädagogische Anschlüsse
T. Neuhausen, M. Ahlers, in: D. Neuhaus, H.J. Keden (Eds.), Musik – Digitalisierung – Bildung, kopaed, München, 2024, pp. 77–96.
LibreCat
T. Neuhausen, M. Ahlers, in: D. Neuhaus, H.J. Keden (Eds.), Musik – Digitalisierung – Bildung, kopaed, München, 2024, pp. 77–96.
2024 | Book Chapter | LibreCat-ID: 53629
Singen auf TikTok und Co. Sind Gesangspraktiken in (post)digitaler Kultur (k)ein Thema für die Musikpädagogik?
M. Godau, in: M. Fuchs (Ed.), Stimme, Medien, Umwelt. Kinder- und Jugendstimme, Logos, 2024, pp. 53–81.
LibreCat
M. Godau, in: M. Fuchs (Ed.), Stimme, Medien, Umwelt. Kinder- und Jugendstimme, Logos, 2024, pp. 53–81.