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.
37282 Publications
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 | 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 | 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: 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 | 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 | Book Chapter | LibreCat-ID: 53937
Erinnerung als Formproblem. Feridun Zaimoglus Versuche, deutsche Geschichte ‚zu schreiben‘: „Führer“ (2021) und „Bewältigung“ (2022)
N. Eke, in: S. Kreuzer (Ed.), Feridun Zaimoglu. Kasseler Grimm-Poetikprofessur 2023, Königshausen & Neumann , Würzburg, 2024, pp. 179–200.
LibreCat
N. Eke, in: S. Kreuzer (Ed.), Feridun Zaimoglu. Kasseler Grimm-Poetikprofessur 2023, Königshausen & Neumann , Würzburg, 2024, pp. 179–200.
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 | 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 | Journal Article | LibreCat-ID: 52587
Evaluating Security Through Isolation and Defense in Depth
E. Bodden, J. Pottebaum, M. Fockel, I. Gräßler, IEEE Security & Privacy 22 (2024) 69–72.
LibreCat
| DOI
E. Bodden, J. Pottebaum, M. Fockel, I. Gräßler, IEEE Security & Privacy 22 (2024) 69–72.
2024 | Preprint | LibreCat-ID: 53858 |
Common pitfalls to avoid while using multiobjective optimization in machine learning
J. Akhter, P.D. Fährmann, K. Sonntag, S. Peitz, ArXiv (2024).
LibreCat
| Download (ext.)
J. Akhter, P.D. Fährmann, K. Sonntag, S. Peitz, ArXiv (2024).
2024 | Conference Paper | LibreCat-ID: 53828
Beschreibung des akustischen Verhaltens verklebter plattenförmiger Strukturen mittels Kopplungsmodellen
H. Zeipert, J. Hölscher, L. Claes, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte Der Akustik - DAGA 2024, 2024, pp. 640–643.
LibreCat
H. Zeipert, J. Hölscher, L. Claes, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte Der Akustik - DAGA 2024, 2024, pp. 640–643.
2024 | Journal Article | LibreCat-ID: 51270 |
Métodos de la mediación de cultura en el entrenamiento práctico de futuros/as profesores/as de Alemán como Lengua Extranjera
A. Treder, Revista Lengua y Cultura 5 (2024) 56–68.
LibreCat
| DOI
| Download (ext.)
A. Treder, Revista Lengua y Cultura 5 (2024) 56–68.
2024 | Conference Paper | LibreCat-ID: 53819
Developing a VR Factory Walkthrough for Use in Schools
S.C. Krings, E. Yigitbas, S. Sauer, in: Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE’24), 2024.
LibreCat
S.C. Krings, E. Yigitbas, S. Sauer, in: Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE’24), 2024.
2024 | Book Chapter | LibreCat-ID: 53850
Authenticité et patrimoine culturel. Genèse et adoption du critère d‘authenticité par la Convention du Patrimoine mondia
E.-M. Seng, in: J.-R. Morice, G. Saupin, J. Vincent, N. Vivier (Eds.), Nouvelles lectures patrimoniales. Le Pays de la Loire au miroir de l’Europe , Rennes, 2024, pp. 25–34.
LibreCat
E.-M. Seng, in: J.-R. Morice, G. Saupin, J. Vincent, N. Vivier (Eds.), Nouvelles lectures patrimoniales. Le Pays de la Loire au miroir de l’Europe , Rennes, 2024, pp. 25–34.
2024 | Book Chapter | LibreCat-ID: 53847
Die Leiden des jungen (Datenaus-) Werthers - Einblicke in die Praxis der empirischen Rechtsforschung
D. Bartlitz, in: D. Bartlitz, F. Eckert, F. Kurz, D. Lang, P. Meichelbeck, D. Meier, K. Neubert, J. Odrig (Eds.), Rechtstatsachen im Privatrecht, Nomos Verlag, Baden-Baden, n.d.
LibreCat
D. Bartlitz, in: D. Bartlitz, F. Eckert, F. Kurz, D. Lang, P. Meichelbeck, D. Meier, K. Neubert, J. Odrig (Eds.), Rechtstatsachen im Privatrecht, Nomos Verlag, Baden-Baden, n.d.
2024 | Book (Editor) | LibreCat-ID: 53845
Rechtstatsachen im Privatrecht
D. Bartlitz, F. Eckert, F. Kurz, D. Lang, P. Meichelbeck, D. Meier, K. Neubert, J. Odrig, eds., Rechtstatsachen im Privatrecht, Nomos Verlag, Baden-Baden, n.d.
LibreCat
D. Bartlitz, F. Eckert, F. Kurz, D. Lang, P. Meichelbeck, D. Meier, K. Neubert, J. Odrig, eds., Rechtstatsachen im Privatrecht, Nomos Verlag, Baden-Baden, n.d.
2024 | Conference Paper | LibreCat-ID: 53822 |
Untersuchung piezoelektrischer Materialeigenschaften unter hydrostatischer Last
O. Friesen, M.A. Pasha, M. Schwengelbeck, L. Claes, E. Baumhögger, B. Henning, in: Fortschritte der Akustik - DAGA 2024, 2024, pp. 1117–1120.
LibreCat
| Files available
O. Friesen, M.A. Pasha, M. Schwengelbeck, L. Claes, E. Baumhögger, B. Henning, in: Fortschritte der Akustik - DAGA 2024, 2024, pp. 1117–1120.
2024 | Conference Paper | LibreCat-ID: 53823 |
Einfluss der periodischen Struktur auf geführte Wellen in gewebeverstärkten Polymeren
L. Claes, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte Der Akustik - DAGA 2024, 2024, pp. 620–623.
LibreCat
| Files available
L. Claes, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte Der Akustik - DAGA 2024, 2024, pp. 620–623.
2024 | Conference Paper | LibreCat-ID: 53824 |
Inverses Verfahren zur Identifikation piezoelektrischer Materialparameter unterstützt durch neuronale Netze
K. Koch, L. Claes, B. Jurgelucks, L. Meihost, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2024, 2024, pp. 1113–1116.
LibreCat
| Files available
K. Koch, L. Claes, B. Jurgelucks, L. Meihost, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2024, 2024, pp. 1113–1116.
2024 | Conference Paper | LibreCat-ID: 53821
Effects of Human Avatar Representation in Virtual Reality on Inter-Brain Connections
E. Yigitbas, C. Kaltschmidt, in: Proceedings of the 8th International Conference on Artificial Intelligence and Virtual Reality (AIVR’24), Springer, 2024.
LibreCat
E. Yigitbas, C. Kaltschmidt, in: Proceedings of the 8th International Conference on Artificial Intelligence and Virtual Reality (AIVR’24), Springer, 2024.