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.
10851 Publications
2024 | Conference Paper | LibreCat-ID: 55516
Shivarpatna Venkatesh, A. P., Sabu, S., Mir, A. M., Reis, S., & Bodden, E. (2024). The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks. Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering. https://doi.org/10.1145/3650105.3652288
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 55561
Jonas-Ahrend, G., Kapanadze, M., Mazzolini, A., & Joubran, F. (2024). Ergebnisse einer Reviewstudie zur Evaluation von Physiklehrbüchern. In H. van Vorst (Hrsg.) (Ed.), GDCP Jahrestagung Hamburg 2023 (pp. 570–572).
LibreCat
2024 | Conference Abstract | LibreCat-ID: 55562
Jonas-Ahrend, G. (2024). Teacher shortage - characteristics, constraints, and challenges: The case of Germany. 65th World Assembly - International Council on Education for Teaching, Braga/Portugal.
LibreCat
2024 | Book | LibreCat-ID: 55193
Hoffmann, M., Hilgert, J., & Weich, T. (2024). Ebene euklidische Geometrie. Algebraisierung, Axiomatisierung und Schnittstellen zur Schulmathematik. Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-67357-7
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 46469 | 
Offen, C., & Ober-Blöbaum, S. (2024). Learning of discrete models of variational PDEs from data. Chaos, 34(1), Article 013104. https://doi.org/10.1063/5.0172287
LibreCat
| Files available
| DOI
| arXiv
2024 | Preprint | LibreCat-ID: 55159 |
Offen, C. (n.d.). Machine learning of discrete field theories with guaranteed convergence and uncertainty quantification.
LibreCat
| Files available
| arXiv
2024 | Misc | LibreCat-ID: 55302 |
Claes, L., & Wippermann, M. (2024). Analysis of guided acoustic waves in periodically structured plates.
LibreCat
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 55633
Höltervennhoff, S., Wöhler, N., Möhle, A., Oltrogge, M., Acar, Y., Wiese, O., & Fahl, S. (2024). A Mixed-Methods Study on User Experiences and Challenges of Recovery Codes for an End-to-End Encrypted Service. In D. Balzarotti & W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024. USENIX Association.
LibreCat
2024 | Conference Paper | LibreCat-ID: 55632
Fischer, K., Trummová, I., Gajland, P., Acar, Y., Fahl, S., & Sasse, M. A. (2024). The Challenges of Bringing Cryptography from Research Papers to Products: Results from an Interview Study with Experts. In D. Balzarotti & W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024. USENIX Association.
LibreCat
2024 | Conference Paper | LibreCat-ID: 55634
Fourné, M., Braga, D. D. A., Jancar, J., Sabt, M., Schwabe, P., Barthe, G., Fouque, P.-A., & Acar, Y. (2024). “These results must be false”: A usability evaluation of constant-time analysis tools. In D. Balzarotti & W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024. USENIX Association.
LibreCat
2024 | Conference Paper | LibreCat-ID: 55636
Huaman, N., Suray, J., Klemmer, J. H., Fourné, M., Amft, S., Trummová, I., Acar, Y., & Fahl, S. (2024). “You have to read 50 different RFCs that contradict each other”: An Interview Study on the Experiences of Implementing Cryptographic Standards. In D. Balzarotti & W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024. USENIX Association.
LibreCat
2024 | Conference Paper | LibreCat-ID: 55641
Panahi, K., Robertson, S., Acar, Y., Bardas, A. G., Kohno, T., & Simko, L. (2024). "But they have overlooked a few things in Afghanistan: " An Analysis of the Integration of Biometric Voter Verification in the 2019 Afghan Presidential Elections. In D. Balzarotti & W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024. USENIX Association.
LibreCat
2024 | Conference Paper | LibreCat-ID: 55642
Ramulu, H. S., Schmitt, H., Wermke, D., & Acar, Y. (2024). Security and Privacy Software Creators’ Perspectives on Unintended Consequences. In D. Balzarotti & W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024. USENIX Association.
LibreCat
2024 | Journal Article | LibreCat-ID: 55667 |
Fleischer, F. Y., Podworny, S., & Biehler, R. (2024). Teaching and Learning to Construct Data-Based Decision Trees Using Data Cards as the First Introduction to Machine Learning in Middle School. Statistics Education Research Journal, 23(1), Article 3. https://doi.org/10.52041/serj.v23i1.450
LibreCat
| DOI
| Download (ext.)
2024 | Journal Article | LibreCat-ID: 55751 |
Üstün, N., Farheen, H., Hammer, M., & Förstner, J. (2024). Symmetry-protected TM modes in rib-like, plus-shaped optical waveguides with shallow etching. Journal of the Optical Society of America B, 41(9), 2077. https://doi.org/10.1364/josab.528729
LibreCat
| Files available
| DOI
2024 | Book Chapter | LibreCat-ID: 55756 |
Biehler, R., & Frischemeier, D. (2024). Eine inklusive Lehr-Lernumgebung für die Leitidee „Daten und Zufall“ in der Primarstufe. In Inklusives Lehren und Lernen von Mathematik. Springer Fachmedien Wiesbaden. https://doi.org/10.1007/978-3-658-43964-4_13
LibreCat
| DOI
| Download (ext.)
2024 | Book | LibreCat-ID: 55758
Biehler, R., & Frischemeier, D. (2024). Daten-Spürnasen auf Spurensuche: Datenanalyse in der Grundschule mit digitalen Werkzeugen. Klett Kallmeyer.
LibreCat
2024 | Journal Article | LibreCat-ID: 45972
Kovács, B. (2024). Numerical surgery for mean curvature flow of surfaces. SIAM Journal on Scientific Computing, 46(2), A645--A669. https://doi.org/10.1137/22M1531919
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 55365
Razavi, K., Davari Fard, S., Karlos, G., Nigade, V., Mühlhäuser, M., & Wang, L. (2024). NetNN: Neural Intrusion Detection System in Programmable Networks (Second Best Paper Award). Proceedings of the IEEE International Symposium on Computers and Communications (ISCC). 29th IEEE International Symposium on Computers and Communications (ISCC), Paris, France.
LibreCat
2024 | Conference Paper | LibreCat-ID: 53095
Razavi, K., Ghafouri, S., Mühlhäuser, M., Jamshidi, P., & Wang, L. (2024). Sponge: Inference Serving with Dynamic SLOs Using In-Place Vertical Scaling. Proceedings of the 4th Workshop on Machine Learning and Systems (EuroMLSys), Colocated with EuroSys 2024. 4th Workshop on Machine Learning and Systems (EuroMLSys), colocated with EuroSys 2024, Athens, Greece. https://doi.org/10.1145/3642970.365583
LibreCat
| DOI