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.
2326 Publications
2017 | Conference Paper | LibreCat-ID: 47250
Nguyen, D. C., Wermke, D., Acar, Y., Backes, M., Weir, C., & Fahl, S. (2017). A Stitch in Time: Supporting Android Developers in Writing Secure Code. Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. https://doi.org/10.1145/3133956.3133977
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47248
Acar, Y., Stransky, C., Wermke, D., Weir, C., Mazurek, M. L., & Fahl, S. (2017). Developers Need Support, Too: A Survey of Security Advice for Software Developers. 2017 IEEE Cybersecurity Development (SecDev). https://doi.org/10.1109/secdev.2017.17
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47242
Acar, Y., Fahl, S., & Mazurek, M. L. (2017). You are Not Your Developer, Either: A Research Agenda for Usable Security and Privacy Research Beyond End Users. 2016 IEEE Cybersecurity Development (SecDev). https://doi.org/10.1109/secdev.2016.013
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47246
Acar, Y., Backes, M., Fahl, S., Garfinkel, S., Kim, D., Mazurek, M. L., & Stransky, C. (2017). Comparing the Usability of Cryptographic APIs. 2017 IEEE Symposium on Security and Privacy (SP). https://doi.org/10.1109/sp.2017.52
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47244
Acar, Y., Stransky, C., Wermke, D., Mazurek, M. L., & Fahl, S. (2017). Security Developer Studies with GitHub Users: Exploring a Convenience Sample. Thirteenth Symposium on Usable Privacy and Security, SOUPS 2017, Santa Clara, CA, USA, July 12-14, 2017, 81–95.
LibreCat
2017 | Report | LibreCat-ID: 47873
Redmiles, E. M., Acar, Y., Fahl, S., & Mazurek, M. L. (2017). A Summary of Survey Methodology Best Practices for Security and Privacy Researchers. University of Maryland Computer Science Department. https://doi.org/10.13016/M22K2W
LibreCat
| DOI
2017 | Book | LibreCat-ID: 54762
Varga, E. (2017). Verbstellungsmuster im Altfranzösischen. Ein Beitrag zur historischen Syntaxforschung aus diskurstraditioneller Perspektive. De Gruyter. https://doi.org/10.1515/9783110536591
LibreCat
| DOI
2017 | Book Review | LibreCat-ID: 18727 | 
Peckhaus, V. (2017). Morscher, Edgar, Bernard Bolzanos Lehre von Grund und Folge. Eine axiomatische Rekonstruktion, Academia Verlag: Sankt Augustin 2016 (Beiträge zur Bolzano-Forschung; 37). In zbMATH Open, Zbl. 1372.01004 (Zbl. 1372.01004).
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18728 |
Peckhaus, V. (2017). Tho, Tzuchien, Vis vim vi: Declinations of Force in Leibniz’s Dynamics, Springer: Cham 2017 (Studies in History and Philosophy of Science; 46). In zbMATH Open, Zbl. 1379.01004 (Zbl. 1379.01004).
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18725 |
Peckhaus, V. (2017). Centrone, Stefania, Studien zu Bolzano, Academia: Sankt Augustin 2015 (Beiträge zur Bolzano-Forschung; 26). In zbMATH Open, Zbl. 1372.01002 (Zbl. 1372.01002).
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18726 |
Peckhaus, V. (2017). Casari, Ettore, Bolzano’s Logical System, Oxford University Press: Oxford 2016 (Oxford Logic Guides; 54). In zbMATH Open, Zbl. 1370.01001 (Zbl. 1370.01001).
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 53774
Berendsen, A. A. M., Kang, J. H., van de Rest, O., Jankovic, N., Kampman, E., Kiefte-de Jong, J. C., Franco, O. H., Ikram, M. A., Pikhart, H., Nilsson, L. M., Brenner, H., Boffetta, P., Rafnsson, S. B., Gustafson, D., Kyrozis, A., Trichopoulou, A., Feskens, E. J. M., Grodstein, F., & de Groot, L. C. P. G. M. (2017). Association of Adherence to a Healthy Diet with Cognitive Decline in European and American Older Adults: A Meta-Analysis within the CHANCES Consortium. Dementia and Geriatric Cognitive Disorders, 43(3–4), 215–227. https://doi.org/10.1159/000464269
LibreCat
| DOI
2017 | Book Review | LibreCat-ID: 17815
Peckhaus, V. (2017). William Ewald and Wilfried Sieg (eds.), Michael Hallett (associate ed.), David Hilbert’s Lectures on the Foundations of Arithmetic and Logic 1917–1933, in collaboration with Ulrich Majer and Dirk Schlimm (David Hilbert’s Lectures on the Foundations of Mathematics and Physics, 1891–1933, Vol. 3), Springer-Verlag: Berlin and Heidelberg 2013. In Studia Logica (Vol. 105, pp. 669–671).
LibreCat
2017 | Book Review | LibreCat-ID: 18914
Peckhaus, V. (2017). de Rouilhan, Philippe, “Tarski’s Recantation: Reading the Postscript to ‘Wahrheitsbegriff’”, in: F.F. Abeles and M.E. Fuller (eds.), Modern Logic 1850–1950, East and West, Birhäuser/Springer: Cham 2016 (Stud. Univ. Log.), 119–134. In Mathematical Reviews, MR3560315 (No. MR3560315).
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18913
Peckhaus, V. (2017). Chemla, Karine, “Historiography and History of Mathematical Proof: A Research Programme”, in: K. Chemla (ed.), The History of Mathematical Proof in Ancient Traditions, Cambridge University Press: Cambridge 2015, 1–68. In Mathematical Reviews, MR3497275 (No. MR3497275).
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18916
Peckhaus, V. (2017). Caminada, Martin W.A., Dvořák, Wolfgang, und Vesic, Srdjan, “Preferred Semantics as Socratic Discussion”, J. Logic Comput. 26 (2016), no. 4, 1257–1292. In Mathematical Reviews, MR3566658 (No. MR3566658).
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18724 |
Peckhaus, V. (2017). Lenzen, Wolfgang, “Leibniz’s Logic and the ‘Cube of Opposition’”, Logica Universalis 10 (2016), 171–189. In zbMATH Open, Zbl. 1360.03037 (Zbl. 1360.03037).
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18918
Peckhaus, V. (2017). Rosado Haddock, Guillermo E., “The Interplay between Logic, Mathematics and Philosophy”, South African Journal of Logic 2 (2016), 41–66. In Mathematical Reviews, MR3653828 (No. MR3653828).
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18919
Peckhaus, V. (2017). Doherty, Fiona T., “Hilbert on Consistency as a Guide to Mathematical Reality”, Logique & Analyse 237 (2017), 107–128. In Mathematical Reviews, MR3675958 (No. MR3675958).
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 9206
Hatavara, M., & Mildorf, J. (2017). Hybrid Fictionality and Vicarious Narrative Experience. Narrative, 25(1), 65–82.
LibreCat