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.
2502 Publications
2021 | Journal Article | LibreCat-ID: 45844
Mahmood, Yasir, et al. “Parameterized Complexity of Abduction in Schaefer’s Framework.” Journal of Logic and Computation, vol. 31, no. 1, Oxford University Press (OUP), 2021, pp. 266–96, doi:10.1093/logcom/exaa079.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 45841
Mahmood, Yasir, et al. “Parameterized Complexity of Logic-Based Argumentation in Schaefer’s Framework.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 7, Association for the Advancement of Artificial Intelligence (AAAI), 2021, pp. 6426–34, doi:10.1609/aaai.v35i7.16797.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 47270
Häring, Maximilian, et al. “Never Ever or No Matter What: Investigating Adoption Intentions and Misconceptions about the Corona-Warn-App in Germany.” Seventeenth Symposium on Usable Privacy and Security, SOUPS 2021, August 8-10, 2021, edited by Sonia Chiasson, USENIX Association, 2021, pp. 77–98.
LibreCat
2021 | Conference Paper | LibreCat-ID: 47265
Huaman, Nicolas, et al. “A Large-Scale Interview Study on Information Security in and Attacks against Small and Medium-Sized Enterprises.” 30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021, edited by Michael Bailey and Rachel Greenstadt, USENIX Association, 2021, pp. 1235–1252.
LibreCat
2021 | Conference Paper | LibreCat-ID: 47268
Stransky, Christian, et al. “On the Limited Impact of Visualizing Encryption: Perceptions of E2E Messaging Security.” Seventeenth Symposium on Usable Privacy and Security, SOUPS 2021, August 8-10, 2021, edited by Sonia Chiasson, USENIX Association, 2021, pp. 437–454.
LibreCat
2021 | Conference Paper | LibreCat-ID: 47267
Huaman, Nicolas, et al. “They Would Do Better If They Worked Together: The Case of Interaction Problems Between Password Managers and Websites.” 2021 IEEE Symposium on Security and Privacy (SP), IEEE, 2021, doi:10.1109/sp40001.2021.00094.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 47266
Haney, Julie M., et al. “‘It’s the Company, the Government, You and I’: User Perceptions of Responsibility for Smart Home Privacy and Security.” 30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021, edited by Michael Bailey and Rachel Greenstadt, USENIX Association, 2021, pp. 411–428.
LibreCat
2021 | Conference Paper | LibreCat-ID: 47264
Oltrogge, Marten, et al. “Why Eve and Mallory Still Love Android: Revisiting TLS (In)Security in Android Applications.” 30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021, edited by Michael Bailey and Rachel Greenstadt, USENIX Association, 2021, pp. 4347–4364.
LibreCat
2021 | Conference Paper | LibreCat-ID: 47269
Neil, Lorenzo, et al. “Investigating Web Service Account Remediation Advice.” Seventeenth Symposium on Usable Privacy and Security, SOUPS 2021, August 8-10, 2021, edited by Sonia Chiasson, USENIX Association, 2021, pp. 359–376.
LibreCat
2021 | Dissertation | LibreCat-ID: 47271
Acar, Yasemin. Human Factors in Secure Software Development. University of Marburg, Germany, 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 46315
Prager, Raphael Patrick, et al. “Towards Feature-Free Automated Algorithm Selection for Single-Objective Continuous Black-Box Optimization.” 2021 IEEE Symposium Series on Computational Intelligence (SSCI), 2021, pp. 1–8, doi:10.1109/SSCI50451.2021.9660174.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 46312
Assenmacher, Dennis, et al. “RP-Mod & RP-Crowd: Moderator- and Crowd-Annotated German News Comment Datasets.” Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1 (NeurIPS Datasets and Benchmarks 2021), 2021, pp. 1–14.
LibreCat
2021 | Book (Editor) | LibreCat-ID: 54654
Bergmann, Claudia D., and Benedikt Kranemann, editors. Analogie Und Differenz: Das Dynamische Verhältnis von Jüdischer Und Christlicher Liturgie // Analogy and Difference: The Ever-Changing Relationship of Jewish and Christian Liturgy. Aschendorff Verlag, 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 46313
Heins, Jonathan, et al. “On the Potential of Normalized TSP Features for Automated Algorithm Selection.” Proceedings of the 16$^th$ ACM/SIGEVO Conference on Foundations of Genetic Algorithms (FOGA XVI), edited by for Computing Machinery Association, Association for Computing Machinery, 2021, pp. 1–15, doi:10.1145/3450218.3477308.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 33668
Gries, Thomas, and Paul J. J. Welfens. “Testing as an Approach to Control the Corona Epidemic Dynamics and Avoid Lockdowns.” International Economics and Economic Policy, vol. 18, no. 1, Springer Science and Business Media LLC, 2021, pp. 1–24, doi:10.1007/s10368-021-00495-5.
LibreCat
| DOI
2021 | Book Review | LibreCat-ID: 28706 | 
Peckhaus, Volker. “Wittgenstein, Ludwig, Wiener Ausgabe, Bd. 7: Synopse der Manuskriptbände I bis IV, hg. v. Michael Nedo, Vittorio Klostermann: Frankfurt a.M. 2020.” zbMATH Open, Zbl 1472.01028, Zbl. 1472.01028, 2021.
LibreCat
| Download (ext.)
2021 | Book Review | LibreCat-ID: 28708 |
Peckhaus, Volker. “Wittgenstein, Ludwig, Wiener Ausgabe, Bd. 9: Philosophische Bemerkungen, hg. v. Michael Nedo, Vittorio Klostermann: Frankfurt a.M. 2020.” zbMATH Open, Zbl 1475.00016, Zbl. 07314656, 2021.
LibreCat
| Download (ext.)
2021 | Book Review | LibreCat-ID: 29141
Peckhaus, Volker. “Fan, Zhao, ‘Hobson’s Conception of Definable Numbers’, History and Philosophy of Logic 41 (2020).” Mathematical Reviews, MR4085836, 4085836, 2021.
LibreCat
| Download (ext.)
2021 | Book Review | LibreCat-ID: 28707 |
Peckhaus, Volker. “Bolzano, Bernard, ‘Briefe an Michael Josef Fesl 1831–1836’, hg. v. Otto Neumaier, Frommann-Holzboog, Eckhart Holzboog: Stuttgart-Bad Cannstatt 2020 (Bernard Bolzano-Gesamtausgabe. Reihe III: Briefwechsel. Bd. 2.2).” zbMATH Open, Zbl. 1475.01044, Zbl. 07263970, 2021.
LibreCat
| Download (ext.)
2021 | Book Review | LibreCat-ID: 29142
Peckhaus, Volker. “Kovač, Srećko, ‘Logical Foundations and Kant’s Principles of Formal Logic’, History and Philosophy of Logic 40 (2020).” Mathematical Reviews, MR4053233, 4053233, 2021.
LibreCat
| Download (ext.)