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.
9796 Publications
2024 | Conference Paper | LibreCat-ID: 55376
Reconfiguration and Locomotion with Joint Movements in the Amoebot Model
A. Padalkin, M. Kumar, C. Scheideler, in: A. Casteigts, F. Kuhn (Eds.), 3rd Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2024, June 5-7, 2024, Patras, Greece, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 18:1–18:20.
LibreCat
| DOI
A. Padalkin, M. Kumar, C. Scheideler, in: A. Casteigts, F. Kuhn (Eds.), 3rd Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2024, June 5-7, 2024, Patras, Greece, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 18:1–18:20.
2024 | Conference Paper | LibreCat-ID: 55388
ITR: Grammar-based graph compression supporting fast triple queries
E. Adler, S. Böttcher, R. Hartel, in: 2024 Data Compression Conference (DCC), IEEE, 2024.
LibreCat
| DOI
E. Adler, S. Böttcher, R. Hartel, in: 2024 Data Compression Conference (DCC), IEEE, 2024.
2024 | Journal Article | LibreCat-ID: 55393
Which knowledge is required in exams on analysis 1 courses at German universities?
T. Kolbe, M. Liebendörfer, Teaching Mathematics and Its Applications: An International Journal of the IMA (2024).
LibreCat
| DOI
T. Kolbe, M. Liebendörfer, Teaching Mathematics and Its Applications: An International Journal of the IMA (2024).
2024 | Book Chapter | LibreCat-ID: 55391 | 
Music and Narrative in Art Exhibition Audio Guides: "Beckmann & Amerika"
J. Mildorf, in: C. Van Nerom, A. Peeters, B. Bouckaert (Eds.), Music and Its Narrative Potential, 1st ed., Brill Fink, Paderborn, 2024, pp. 201–218.
LibreCat
| Download (ext.)
J. Mildorf, in: C. Van Nerom, A. Peeters, B. Bouckaert (Eds.), Music and Its Narrative Potential, 1st ed., Brill Fink, Paderborn, 2024, pp. 201–218.
2024 | Conference Paper | LibreCat-ID: 55338
Analyzing the Use of Metaphors in News Editorials for Political Framing
M. Sengupta, R. El Baff, M. Alshomary, H. Wachsmuth, in: K. Duh, H. Gomez, S. Bethard (Eds.), Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), Association for Computational Linguistics, Mexico City, Mexico, 2024, pp. 3621–3631.
LibreCat
M. Sengupta, R. El Baff, M. Alshomary, H. Wachsmuth, in: K. Duh, H. Gomez, S. Bethard (Eds.), Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), Association for Computational Linguistics, Mexico City, Mexico, 2024, pp. 3621–3631.
2024 | Book Chapter | LibreCat-ID: 55410
Das brennende GedankenGebäude
M. Kaup, in: V. Albus, V. Haase (Eds.), Autobiographisches philosophieren in Schule und Hochschule, LIT, Münster, 2024, pp. 110–122.
LibreCat
M. Kaup, in: V. Albus, V. Haase (Eds.), Autobiographisches philosophieren in Schule und Hochschule, LIT, Münster, 2024, pp. 110–122.
2024 | Book Chapter | LibreCat-ID: 55426
Künstliche Intelligenz und industrielle Arbeit – Perspektiven und Gestaltungsoptionen
S. Gabriel, T. Falkowski, J. Graunke, R. Dumitrescu, A. Murrenhoff, V. Kretzschmer, M. ten Hompel, in: Forschungsbeirat der Plattform Industrie 4.0/acatech – Deutsche Akademie der Technikwissenschaften (Hrsg.) (Ed.), Expertise des Forschungsbeirats Industrie 4.0, 2024.
LibreCat
S. Gabriel, T. Falkowski, J. Graunke, R. Dumitrescu, A. Murrenhoff, V. Kretzschmer, M. ten Hompel, in: Forschungsbeirat der Plattform Industrie 4.0/acatech – Deutsche Akademie der Technikwissenschaften (Hrsg.) (Ed.), Expertise des Forschungsbeirats Industrie 4.0, 2024.
2024 | Book Chapter | LibreCat-ID: 55422
Engineering autonom wandelbarer Industrie 4.0-Systeme
L. Humpert, J.-P. Disselkamp, A. Schierbaum, K. Zagatta, R. Dumitrescu, in: Forschungsbeirat der Plattform Industrie 4.0/acatech – Deutsche Akademie der Technikwissenschaften (Hrsg.) (Ed.), Expertise des Forschungsbeirats Industrie 4.0, 2024.
LibreCat
L. Humpert, J.-P. Disselkamp, A. Schierbaum, K. Zagatta, R. Dumitrescu, in: Forschungsbeirat der Plattform Industrie 4.0/acatech – Deutsche Akademie der Technikwissenschaften (Hrsg.) (Ed.), Expertise des Forschungsbeirats Industrie 4.0, 2024.
2024 | Conference Paper | LibreCat-ID: 55436
Challenges for design and designers in interdisciplinary product development: A qualitative interview study in industry
B. Stöhr, C. Koldewey, Y. Acar, R. Dumitrescu, in: Proceedings of DRS, Design Research Society, 2024.
LibreCat
| DOI
B. Stöhr, C. Koldewey, Y. Acar, R. Dumitrescu, in: Proceedings of DRS, Design Research Society, 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 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, Association for Computing Machinery, New York, NY, USA, 2024, pp. 49–53.
LibreCat
| DOI
| arXiv
A.P. Shivarpatna Venkatesh, S. Sabu, J. Wang, A.M. Mir, L. Li, E. Bodden, in: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, Association for Computing Machinery, New York, NY, USA, 2024, pp. 49–53.
2024 | Conference Paper | LibreCat-ID: 55516
The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks
A.P. Shivarpatna Venkatesh, S. Sabu, A.M. Mir, S. Reis, E. Bodden, in: Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering, ACM, 2024.
LibreCat
| DOI
A.P. Shivarpatna Venkatesh, S. Sabu, A.M. Mir, S. Reis, E. Bodden, in: Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering, ACM, 2024.
2024 | Preprint | LibreCat-ID: 55560
Non-symmetric GHZ states; weighted hypergraph and controlled-unitary graph representations
H. Zakaryan, K.-R. Revis, Z. Raissi, ArXiv:2408.02740 (2024).
LibreCat
| arXiv
H. Zakaryan, K.-R. Revis, Z. Raissi, ArXiv:2408.02740 (2024).
2024 | Book | LibreCat-ID: 55193
Ebene euklidische Geometrie. Algebraisierung, Axiomatisierung und Schnittstellen zur Schulmathematik
M. Hoffmann, J. Hilgert, T. Weich, Ebene euklidische Geometrie. Algebraisierung, Axiomatisierung und Schnittstellen zur Schulmathematik, Springer Berlin Heidelberg, Berlin, Heidelberg, 2024.
LibreCat
| DOI
M. Hoffmann, J. Hilgert, T. Weich, Ebene euklidische Geometrie. Algebraisierung, Axiomatisierung und Schnittstellen zur Schulmathematik, Springer Berlin Heidelberg, Berlin, Heidelberg, 2024.
2024 | Research Data | LibreCat-ID: 54405
Microscopic simulations of the dynamics of excitonic many-body correlations coupled to quantum light
H. Rose, P. Sharapova, T. Meier, Microscopic Simulations of the Dynamics of Excitonic Many-Body Correlations Coupled to Quantum Light, LibreCat University, 2024.
LibreCat
| DOI
H. Rose, P. Sharapova, T. Meier, Microscopic Simulations of the Dynamics of Excitonic Many-Body Correlations Coupled to Quantum Light, LibreCat University, 2024.
2024 | Journal Article | LibreCat-ID: 55622
Nutzung von Low- und No-Code-Anwendungen zur Automatisierung von Geschäftsprozessen in regulierten Energiemärkten Utilisation of low- and no-code applications to automate business processes in regulated energy markets
A.M. Skolik, B. Löhr, P. zur Heiden, C. Bartelheimer, HMD Praxis der Wirtschaftsinformatik (2024).
LibreCat
| DOI
A.M. Skolik, B. Löhr, P. zur Heiden, C. Bartelheimer, HMD Praxis der Wirtschaftsinformatik (2024).
2024 | Conference Paper | LibreCat-ID: 55633
A Mixed-Methods Study on User Experiences and Challenges of Recovery Codes for an End-to-End Encrypted Service
S. Höltervennhoff, N. Wöhler, A. Möhle, M. Oltrogge, Y. Acar, O. Wiese, S. Fahl, in: D. Balzarotti, W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024, USENIX Association, 2024.
LibreCat
S. Höltervennhoff, N. Wöhler, A. Möhle, M. Oltrogge, Y. Acar, O. Wiese, S. Fahl, in: D. Balzarotti, W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024, USENIX Association, 2024.
2024 | Conference Paper | LibreCat-ID: 55632
The Challenges of Bringing Cryptography from Research Papers to Products: Results from an Interview Study with Experts
K. Fischer, I. Trummová, P. Gajland, Y. Acar, S. Fahl, M.A. Sasse, in: D. Balzarotti, W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024, USENIX Association, 2024.
LibreCat
K. Fischer, I. Trummová, P. Gajland, Y. Acar, S. Fahl, M.A. Sasse, in: D. Balzarotti, W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024, USENIX Association, 2024.
2024 | Conference Paper | LibreCat-ID: 55634
"These results must be false": A usability evaluation of constant-time analysis tools
M. Fourné, D.D.A. Braga, J. Jancar, M. Sabt, P. Schwabe, G. Barthe, P.-A. Fouque, Y. Acar, in: D. Balzarotti, W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024, USENIX Association, 2024.
LibreCat
M. Fourné, D.D.A. Braga, J. Jancar, M. Sabt, P. Schwabe, G. Barthe, P.-A. Fouque, Y. Acar, in: D. Balzarotti, W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024, USENIX Association, 2024.
2024 | Conference Paper | LibreCat-ID: 55636
"You have to read 50 different RFCs that contradict each other": An Interview Study on the Experiences of Implementing Cryptographic Standards
N. Huaman, J. Suray, J.H. Klemmer, M. Fourné, S. Amft, I. Trummová, Y. Acar, S. Fahl, in: D. Balzarotti, W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024, USENIX Association, 2024.
LibreCat
N. Huaman, J. Suray, J.H. Klemmer, M. Fourné, S. Amft, I. Trummová, Y. Acar, S. Fahl, in: D. Balzarotti, W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024, USENIX Association, 2024.
2024 | Conference Paper | LibreCat-ID: 55641
"But they have overlooked a few things in Afghanistan: " An Analysis of the Integration of Biometric Voter Verification in the 2019 Afghan Presidential Elections
K. Panahi, S. Robertson, Y. Acar, A.G. Bardas, T. Kohno, L. Simko, in: D. Balzarotti, W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024, USENIX Association, 2024.
LibreCat
K. Panahi, S. Robertson, Y. Acar, A.G. Bardas, T. Kohno, L. Simko, in: D. Balzarotti, W. Xu (Eds.), 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024, USENIX Association, 2024.