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.
12097 Publications
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.
2024 | Conference Paper | LibreCat-ID: 55642
Security and Privacy Software Creators’ Perspectives on Unintended Consequences
H.S. Ramulu, H. Schmitt, D. Wermke, 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
H.S. Ramulu, H. Schmitt, D. Wermke, 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 | Journal Article | LibreCat-ID: 54434
Improving Process Mining Maturity: From Intentions to Action
J. Brock, K. Brennig, B. Löhr, C. Bartelheimer, S. von Enzberg, R. Dumitrescu, Business & Information Systems Engineering (2024).
LibreCat
| DOI
J. Brock, K. Brennig, B. Löhr, C. Bartelheimer, S. von Enzberg, R. Dumitrescu, Business & Information Systems Engineering (2024).
2024 | Journal Article | LibreCat-ID: 53567
Empirisch-kriterienorientierte Analyse des fachdidaktischen Wissens angehender Physiklehrkräfte: Welche inhaltlichen Strukturen zeigen sich über unterschiedliche Projekte hinweg?
J. Zeller, D. Schiering, C. Kulgemeyer, K. Neumann, J. Riese, S. Sorge, Unterrichtswissenschaft (2024).
LibreCat
| DOI
J. Zeller, D. Schiering, C. Kulgemeyer, K. Neumann, J. Riese, S. Sorge, Unterrichtswissenschaft (2024).
2024 | Conference Paper | LibreCat-ID: 54318
Evaluation of a university seminar on the use of digital media in the physics classroom
D. Weiler, J.-P. Burde, R.I. Große-Heilmann, A. Lachner, J. Riese, T. Schubatzky, in: Journal of Physics: Conference Series, IOP Publishing, 2024.
LibreCat
| Files available
| DOI
D. Weiler, J.-P. Burde, R.I. Große-Heilmann, A. Lachner, J. Riese, T. Schubatzky, in: Journal of Physics: Conference Series, IOP Publishing, 2024.
2024 | Book Chapter | LibreCat-ID: 55651
Heiner Müllers Natur.
N. Eke, in: N.O. Eke, J. Ludwig, F. Vaßen (Eds.), Heiner-Müller-Jahrbuch 1: Heiner Müllers Natur, Aisthesis, Bielefeld, 2024, p. S. 11-19 (mit Florian Vaßen).
LibreCat
N. Eke, in: N.O. Eke, J. Ludwig, F. Vaßen (Eds.), Heiner-Müller-Jahrbuch 1: Heiner Müllers Natur, Aisthesis, Bielefeld, 2024, p. S. 11-19 (mit Florian Vaßen).
2024 | Conference Paper | LibreCat-ID: 55711
Wie sollte ein fachdidaktisches Seminar zum Einsatz digitaler Medien gestaltet sein?
R.I. Große-Heilmann, J.-P. Burde, J. Riese, T. Schubatzky, D. Weiler, in: H. van Vorst (Ed.), Frühe Naturwissenschaftliche Bildung. Gesellschaft Für Didaktik Der Chemie Und Physik Jahrestagung in Hamburg 2023, 2024, pp. 102–105.
LibreCat
R.I. Große-Heilmann, J.-P. Burde, J. Riese, T. Schubatzky, D. Weiler, in: H. van Vorst (Ed.), Frühe Naturwissenschaftliche Bildung. Gesellschaft Für Didaktik Der Chemie Und Physik Jahrestagung in Hamburg 2023, 2024, pp. 102–105.