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.
2209 Publications
2017 | Conference Paper | LibreCat-ID: 47250
Nguyen, Duc Cuong, Dominik Wermke, Yasemin Acar, Michael Backes, Charles Weir, and Sascha Fahl. “A Stitch in Time: Supporting Android Developers in Writing Secure Code.” In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. ACM, 2017. https://doi.org/10.1145/3133956.3133977.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47248
Acar, Yasemin, Christian Stransky, Dominik Wermke, Charles Weir, Michelle L. Mazurek, and Sascha Fahl. “Developers Need Support, Too: A Survey of Security Advice for Software Developers.” In 2017 IEEE Cybersecurity Development (SecDev). IEEE, 2017. https://doi.org/10.1109/secdev.2017.17.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47242
Acar, Yasemin, Sascha Fahl, and Michelle L. Mazurek. “You Are Not Your Developer, Either: A Research Agenda for Usable Security and Privacy Research Beyond End Users.” In 2016 IEEE Cybersecurity Development (SecDev). IEEE, 2017. https://doi.org/10.1109/secdev.2016.013.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47246
Acar, Yasemin, Michael Backes, Sascha Fahl, Simson Garfinkel, Doowon Kim, Michelle L. Mazurek, and Christian Stransky. “Comparing the Usability of Cryptographic APIs.” In 2017 IEEE Symposium on Security and Privacy (SP). IEEE, 2017. https://doi.org/10.1109/sp.2017.52.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47244
Acar, Yasemin, Christian Stransky, Dominik Wermke, Michelle L. Mazurek, and Sascha Fahl. “Security Developer Studies with GitHub Users: Exploring a Convenience Sample.” In Thirteenth Symposium on Usable Privacy and Security, SOUPS 2017, Santa Clara, CA, USA, July 12-14, 2017, 81–95. USENIX Association, 2017.
LibreCat
2017 | Report | LibreCat-ID: 47873
Redmiles, Elissa M., Yasemin Acar, Sascha Fahl, and Michelle L. Mazurek. A Summary of Survey Methodology Best Practices for Security and Privacy Researchers. University of Maryland Computer Science Department, 2017. https://doi.org/10.13016/M22K2W.
LibreCat
| DOI
2017 | Book | LibreCat-ID: 54762
Varga, Eva. Verbstellungsmuster im Altfranzösischen. Ein Beitrag zur historischen Syntaxforschung aus diskurstraditioneller Perspektive. Berlin, New York: De Gruyter, 2017. https://doi.org/10.1515/9783110536591.
LibreCat
| DOI
2017 | Book Review | LibreCat-ID: 18727 | 
Peckhaus, Volker. “Morscher, Edgar, Bernard Bolzanos Lehre von Grund und Folge. Eine axiomatische Rekonstruktion, Academia Verlag: Sankt Augustin 2016 (Beiträge zur Bolzano-Forschung; 37).” zbMATH Open, Zbl. 1372.01004, 2017.
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18728 |
Peckhaus, Volker. “Tho, Tzuchien, Vis vim vi: Declinations of Force in Leibniz’s Dynamics, Springer: Cham 2017 (Studies in History and Philosophy of Science; 46).” zbMATH Open, Zbl. 1379.01004, 2017.
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18725 |
Peckhaus, Volker. “Centrone, Stefania, Studien zu Bolzano, Academia: Sankt Augustin 2015 (Beiträge zur Bolzano-Forschung; 26).” zbMATH Open, Zbl. 1372.01002, 2017.
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18726 |
Peckhaus, Volker. “Casari, Ettore, Bolzano’s Logical System, Oxford University Press: Oxford 2016 (Oxford Logic Guides; 54).” zbMATH Open, Zbl. 1370.01001, 2017.
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 53774
Berendsen, Agnes A.M., Jae H. Kang, Ondine van de Rest, Nicole Jankovic, Ellen Kampman, Jessica C. Kiefte-de Jong, Oscar H. Franco, et al. “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, no. 3–4 (2017): 215–27. https://doi.org/10.1159/000464269.
LibreCat
| DOI
2017 | Book Review | LibreCat-ID: 17815
Peckhaus, Volker. “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.” Studia Logica, 2017.
LibreCat
2017 | Book Review | LibreCat-ID: 18914
Peckhaus, Volker. “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.” Mathematical Reviews, MR3560315, 2017.
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18913
Peckhaus, Volker. “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.” Mathematical Reviews, MR3497275, 2017.
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18916
Peckhaus, Volker. “Caminada, Martin W.A., Dvořák, Wolfgang, Und Vesic, Srdjan, ‘Preferred Semantics as Socratic Discussion’, J. Logic Comput. 26 (2016), No. 4, 1257–1292.” Mathematical Reviews, MR3566658, 2017.
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18724 |
Peckhaus, Volker. “Lenzen, Wolfgang, ‘Leibniz’s Logic and the “Cube of Opposition”’, Logica Universalis 10 (2016), 171–189.” zbMATH Open, Zbl. 1360.03037, 2017.
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18918
Peckhaus, Volker. “Rosado Haddock, Guillermo E., ‘The Interplay between Logic, Mathematics and Philosophy’, South African Journal of Logic 2 (2016), 41–66.” Mathematical Reviews, MR3653828, 2017.
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18919
Peckhaus, Volker. “Doherty, Fiona T., ‘Hilbert on Consistency as a Guide to Mathematical Reality’, Logique & Analyse 237 (2017), 107–128.” Mathematical Reviews, MR3675958, 2017.
LibreCat
| Download (ext.)