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.
31981 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.
2024 | Journal Article | LibreCat-ID: 53856 |
“I Guess this is Growing Up” Analysis of Pop-Punk’s Regained Popularity and Its Shift From Bands to Personas.
N. Ruth, C. Jacke, Persona Studies 10 (2024) 53–76.
LibreCat
| Files available
| Download (ext.)
N. Ruth, C. Jacke, Persona Studies 10 (2024) 53–76.
2024 | Journal Article | LibreCat-ID: 53852
Stars, Anti-Stars, Anti-Star-Stars Transmedia Texts and Contexts of Popular Music and Media. Some Theoretical Assumptions
C. Jacke, Persona Studies 10 (2024) 53–76.
LibreCat
| Files available
C. Jacke, Persona Studies 10 (2024) 53–76.
2024 | Journal Article | LibreCat-ID: 53854 |
Stars, Anti-Stars, Anti-Star-Stars. Transmedia Texts and Contexts of Popular Music and Media. Some Theoretical Assumptions.
C. Jacke, Persona Studies 10 (2024) 53–76.
LibreCat
| Files available
| Download (ext.)
C. Jacke, Persona Studies 10 (2024) 53–76.
2024 | Journal Article | LibreCat-ID: 54024
Detection and Characterization of Hydride Ligands in Copper Complexes by Hard X‐ray Spectroscopy
L. Fritsch, P. Rehsies, W. Barakat, D.P. Estes, M. Bauer, Chemistry – A European Journal (2024).
LibreCat
| DOI
L. Fritsch, P. Rehsies, W. Barakat, D.P. Estes, M. Bauer, Chemistry – A European Journal (2024).
2024 | Journal Article | LibreCat-ID: 53598
Liveness-Norm in der Musikpädagogik – warum die Orientierung an Live-Musik kulturelle Vielfalt und Digitalisierung verhindert
M. Godau, P. Gosmann, Seminar 30 (2024) 76–91.
LibreCat
| DOI
M. Godau, P. Gosmann, Seminar 30 (2024) 76–91.
2024 | Journal Article | LibreCat-ID: 51207
Temperedness of locally symmetric spaces: The product case
T. Weich, L.L. Wolf, Geom Dedicata 218 (2024).
LibreCat
| DOI
| arXiv
T. Weich, L.L. Wolf, Geom Dedicata 218 (2024).
2024 | Preprint | LibreCat-ID: 51204
Polyhedral bounds on the joint spectrum and temperedness of locally symmetric spaces
C. Lutsko, T. Weich, L.L. Wolf, ArXiv:2402.02530 (2024).
LibreCat
| arXiv
C. Lutsko, T. Weich, L.L. Wolf, ArXiv:2402.02530 (2024).
2024 | Book Chapter | LibreCat-ID: 50318
Street Signs, New York (2018).
S. Autsch, in: Festschrift für Thomas Krettenauer, n.d.
LibreCat
S. Autsch, in: Festschrift für Thomas Krettenauer, n.d.
2024 | Book Chapter | LibreCat-ID: 49561
Pop-Ikonen. Transformationen des Heiligen in der deutschen Pop(musik)kultur.
C. Jacke, H. Schroeter-Wittke, in: M. Edigi, L. Peters, J. Schmidt (Eds.), (Un)verfügbar. Kulturen des Heiligen., Transcript, Bielefeld, 2024, pp. 273–300.
LibreCat
C. Jacke, H. Schroeter-Wittke, in: M. Edigi, L. Peters, J. Schmidt (Eds.), (Un)verfügbar. Kulturen des Heiligen., Transcript, Bielefeld, 2024, pp. 273–300.
2024 | Journal Article | LibreCat-ID: 51258
Homiletischer "freejazz". Des Gerechten Gebet vermag viel. Eine Partytour
H. Schroeter-Wittke, M. Scheidegger, Pastoraltheoogie 113 (2024) 211–218.
LibreCat
H. Schroeter-Wittke, M. Scheidegger, Pastoraltheoogie 113 (2024) 211–218.