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.
9332 Publications
2023 | Journal Article | LibreCat-ID: 46801
Beyond the Boolean: How Programmers Ask About, Use, and Discuss Gender
E. Bouma-Sims, Y. Acar, Proc. ACM Hum. Comput. Interact. 7 (2023) 1–31.
LibreCat
| DOI
E. Bouma-Sims, Y. Acar, Proc. ACM Hum. Comput. Interact. 7 (2023) 1–31.
2023 | Journal Article | LibreCat-ID: 47297
Beyond the Boolean: How Programmers Ask About, Use, and Discuss Gender
E. Bouma-Sims, Y. Acar, CoRR abs/2302.05351 (2023).
LibreCat
| DOI
E. Bouma-Sims, Y. Acar, CoRR abs/2302.05351 (2023).
2023 | Conference Paper | LibreCat-ID: 46500
Re-Envisioning Industrial Control Systems Security by Considering Human Factors as a Core Element of Defense-in-Depth
J. Pottebaum, J. Rossel, J. Somorovsky, Y. Acar, R. Fahr, P. Arias Cabarcos, E. Bodden, I. Gräßler, in: 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), IEEE, 2023, pp. 379–385.
LibreCat
| DOI
| Download (ext.)
J. Pottebaum, J. Rossel, J. Somorovsky, Y. Acar, R. Fahr, P. Arias Cabarcos, E. Bodden, I. Gräßler, in: 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), IEEE, 2023, pp. 379–385.
2023 | Conference Paper | LibreCat-ID: 53362
"We’ve Disabled MFA for You": An Evaluation of the Security and Usability of Multi-Factor Authentication Recovery Deployments
S. Amft, S. Höltervennhoff, N. Huaman, A. Krause, L. Simko, Y. Acar, S. Fahl, in: W. Meng, C.D. Jensen, C. Cremers, E. Kirda (Eds.), Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023, ACM, 2023, pp. 3138–3152.
LibreCat
| DOI
S. Amft, S. Höltervennhoff, N. Huaman, A. Krause, L. Simko, Y. Acar, S. Fahl, in: W. Meng, C.D. Jensen, C. Cremers, E. Kirda (Eds.), Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023, ACM, 2023, pp. 3138–3152.
2023 | Conference Paper | LibreCat-ID: 49438
Securing Your Crypto-API Usage Through Tool Support - A Usability Study
S. Krüger, M. Reif, A.-K. Wickert, S. Nadi, K. Ali, E. Bodden, Y. Acar, M. Mezini, S. Fahl, in: 2023 IEEE Secure Development Conference (SecDev), IEEE, 2023.
LibreCat
| DOI
S. Krüger, M. Reif, A.-K. Wickert, S. Nadi, K. Ali, E. Bodden, Y. Acar, M. Mezini, S. Fahl, in: 2023 IEEE Secure Development Conference (SecDev), IEEE, 2023.
2023 | Conference Paper | LibreCat-ID: 53369
"We’ve Disabled MFA for You": An Evaluation of the Security and Usability of Multi-Factor Authentication Recovery Deployments
S. Amft, S. Höltervennhoff, N. Huaman, A. Krause, L. Simko, Y. Acar, S. Fahl, in: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, pp. 3138–3152.
LibreCat
S. Amft, S. Höltervennhoff, N. Huaman, A. Krause, L. Simko, Y. Acar, S. Fahl, in: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, pp. 3138–3152.
2023 | Journal Article | LibreCat-ID: 53368
A Viewpoint on Human Factors in Software Supply Chain Security: A Research Agenda
M. Fourné, D. Wermke, S. Fahl, Y. Acar, IEEE Security & Privacy 21 (2023) 59–63.
LibreCat
M. Fourné, D. Wermke, S. Fahl, Y. Acar, IEEE Security & Privacy 21 (2023) 59–63.
2023 | Conference Paper | LibreCat-ID: 53366
Security, Privacy, and Data-sharing Trade-offs When Moving to the United States: Insights from a Qualitative Study
M. Tran, C.W. Munyendo, H. Sri Ramulu, R.G. Rodriguez, L.B. Schnell, C. Sula, L. Simko, Y. Acar, in: 2024 IEEE Symposium on Security and Privacy (SP), 2023, pp. 4–4.
LibreCat
M. Tran, C.W. Munyendo, H. Sri Ramulu, R.G. Rodriguez, L.B. Schnell, C. Sula, L. Simko, Y. Acar, in: 2024 IEEE Symposium on Security and Privacy (SP), 2023, pp. 4–4.
2023 | Journal Article | LibreCat-ID: 53348
A Viewpoint on Human Factors in Software Supply Chain Security: A Research Agenda
M. Fourné, D. Wermke, S. Fahl, Y. Acar, IEEE Secur. Priv. 21 (2023) 59–63.
LibreCat
| DOI
M. Fourné, D. Wermke, S. Fahl, Y. Acar, IEEE Secur. Priv. 21 (2023) 59–63.
2023 | Journal Article | LibreCat-ID: 53352
The Use and Non-Use of Technology During Hurricanes
L. Simko, H. Sri Ramulu, T. Kohno, Y. Acar, Proc. ACM Hum. Comput. Interact. 7 (2023) 1–54.
LibreCat
| DOI
L. Simko, H. Sri Ramulu, T. Kohno, Y. Acar, Proc. ACM Hum. Comput. Interact. 7 (2023) 1–54.
2023 | Journal Article | LibreCat-ID: 46310
A study on the effects of normalized TSP features for automated algorithm selection
J. Heins, J. Bossek, J. Pohl, M. Seiler, H. Trautmann, P. Kerschke, Theoretical Computer Science 940 (2023) 123–145.
LibreCat
| DOI
J. Heins, J. Bossek, J. Pohl, M. Seiler, H. Trautmann, P. Kerschke, Theoretical Computer Science 940 (2023) 123–145.
2023 | Conference Paper | LibreCat-ID: 48898
Using Reinforcement Learning for Per-Instance Algorithm Configuration on the TSP
M. Seiler, J. Rook, J. Heins, O.L. Preuß, J. Bossek, H. Trautmann, in: 2023 IEEE Symposium Series on Computational Intelligence (SSCI), n.d., pp. 361–368.
LibreCat
| DOI
M. Seiler, J. Rook, J. Heins, O.L. Preuß, J. Bossek, H. Trautmann, in: 2023 IEEE Symposium Series on Computational Intelligence (SSCI), n.d., pp. 361–368.
2023 | Journal Article | LibreCat-ID: 54715
The effectiveness of vaccination, testing, and lockdown strategies against COVID-19
M. Fritz, T. Gries, M. Redlin, International Journal of Health Economics and Management 23 (2023) 585–607.
LibreCat
| DOI
M. Fritz, T. Gries, M. Redlin, International Journal of Health Economics and Management 23 (2023) 585–607.
2023 | Journal Article | LibreCat-ID: 44591
The effectiveness of vaccination, testing, and lockdown strategies against COVID-19
M. Fritz, T. Gries, M. Redlin, International Journal of Health Economics and Management (2023).
LibreCat
| DOI
M. Fritz, T. Gries, M. Redlin, International Journal of Health Economics and Management (2023).
2023 | Book Review | LibreCat-ID: 50064 | 
Floyd, Juliet und Felix Mühlhölzer, Wittgenstein’s Annotations to Hardy’s Course of Pure Mathematics. An Investigation of Wittgenstein’s Non-Extensionalist Understanding of the Real Numbers, Springer: Cham 2020 (Nordic Wittgenstein Studies, 7).
V. Peckhaus, ZbMATH Open, Zbl 1529.01002 (2023).
LibreCat
| Download (ext.)
V. Peckhaus, ZbMATH Open, Zbl 1529.01002 (2023).
2023 | Book Review | LibreCat-ID: 37081 |
Hogan, Desmond, “Kant and the Character of Mathematical Inference”, in: Carl Posy et al. (eds.), Kant’s Philosophy of Mathematics, Vol. 1: The Critical Philosophy and its Roots, Cambridge University Press: Cambridge 2020, 126–154
V. Peckhaus, zbMATH Open, 1570.01020 (2023).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, 1570.01020 (2023).
2023 | Book Review | LibreCat-ID: 44863 |
Wolfgang Tschirk: Vom Universum des Denkens. Eine Geistesgeschichte der Logik. Springer: Berlin 2022
V. Peckhaus, Mathematische Semesterberichte 70 (2023) 187–190.
LibreCat
| DOI
| Download (ext.)
V. Peckhaus, Mathematische Semesterberichte 70 (2023) 187–190.
2023 | Conference Paper | LibreCat-ID: 54838
Hybrid control of interconnected power converters using both expert-driven droop and data-driven reinforcement learning approaches
S. Boshoff, J. Stenner, D. Weber, M. Meyer, V. Chidananda, S. Peitz, O. Wallscheid, in: IEEE Power and Energy Student Summit (PESS), VDE, 2023, pp. 124–129.
LibreCat
| Download (ext.)
S. Boshoff, J. Stenner, D. Weber, M. Meyer, V. Chidananda, S. Peitz, O. Wallscheid, in: IEEE Power and Energy Student Summit (PESS), VDE, 2023, pp. 124–129.
2023 | Conference Paper | LibreCat-ID: 54839
ElectricGrid.jl – Automated modeling of decentralized electrical energy grids
M. Meyer, D. Weber, V. Chidananda, O. Schweins, J. Stenner, S. Boshoff, S. Peitz, O. Wallscheid, in: IEEE Power and Energy Student Summit (PESS), VDE, 2023, pp. 112–117.
LibreCat
| Download (ext.)
M. Meyer, D. Weber, V. Chidananda, O. Schweins, J. Stenner, S. Boshoff, S. Peitz, O. Wallscheid, in: IEEE Power and Energy Student Summit (PESS), VDE, 2023, pp. 112–117.
2023 | Book Review | LibreCat-ID: 44867 |
Bellomo, Anna/Guillaume Massas, "Bolzano’s Mathematical Infinite", The Review of Symbolic Logic 16, No. 1 (2023), 59–113
V. Peckhaus, zbMATH Open, Zbl 1515.01010 (2023).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl 1515.01010 (2023).