Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.

 | 
Item hits:
Publication DateArticle TitleAuthor(s)
Jan-2014Death of a child and parental wellbeing in old age: Evidence from TaiwanLee, Chioun; Glei, Dana A; Weinstein, Maxine; Goldman, Noreen
15-Apr-2016Quantity Versus Quality: A Survey Experiment to Improve the Network Scale-up MethodFeehan, Dennis M; Umubyeyi, Aline; Mahy, Mary; Hladik, Wolfgang; Salganik, Matthew J
Dec-2015Strengthening the Reporting of Observational Studies in Epidemiology for respondent-driven sampling studies: “STROBE-RDS” statementWhite, Richard G; Hakim, Avi J; Salganik, Matthew J; Spiller, Michael W; Johnston, Lisa G, et al
1-Dec-2013Mostly sound type system improves a foundational program verifierDodds, J; Appel, Andrew W.
15-Nov-2011Assessing Network Scale-up Estimates for Groups Most at Risk of HIV/AIDS: Evidence From a Multiple-Method Study of Heavy Drug Users in Curitiba, BrazilSalganik, MJ; Fazito, D; Bertoni, N; Abdo, AH; Mello, MB, et al
16-Apr-2015Verification of a Cryptographic Primitive: SHA-256Appel, Andrew W.
22-Oct-2012Verified heap theorem prover by paramodulationStewart, G; Beringer, L; Appel, Andrew W.
1-Jan-2014Portable software fault isolationKroll, JA; Stewart, G; Appel, Andrew W.
2015Verified correctness and security of OpenSSL HMACBeringer, L; Petcher, A; Ye, K; Appel, Andrew W.
1-Jan-2014Verified compilation for shared-memory CBeringer, L; Stewart, G; Dockins, R; Appel, Andrew W.