Skip to main content
Princeton University Library
Toggle navigation
Home
About
Contact
Search
Browse
Departmental Collections
Browse by:
Author
Issue Date
Search
All
Search
Reset
Add filters:
Use filters to refine the search results.
Title
Author
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
151-160 of 9340
previous
1
...
13
14
15
16
17
18
19
...
934
next
Item hits:
Publication Date
Article Title
Author(s)
Jan-2014
Death of a child and parental wellbeing in old age: Evidence from Taiwan
Lee, Chioun; Glei, Dana A; Weinstein, Maxine; Goldman, Noreen
15-Apr-2016
Quantity Versus Quality: A Survey Experiment to Improve the Network Scale-up Method
Feehan, Dennis M; Umubyeyi, Aline; Mahy, Mary; Hladik, Wolfgang; Salganik, Matthew J
Dec-2015
Strengthening the Reporting of Observational Studies in Epidemiology for respondent-driven sampling studies: “STROBE-RDS” statement
White, Richard G; Hakim, Avi J; Salganik, Matthew J; Spiller, Michael W; Johnston, Lisa G, et al
1-Dec-2013
Mostly sound type system improves a foundational program verifier
Dodds, J; Appel, Andrew W.
15-Nov-2011
Assessing Network Scale-up Estimates for Groups Most at Risk of HIV/AIDS: Evidence From a Multiple-Method Study of Heavy Drug Users in Curitiba, Brazil
Salganik, MJ; Fazito, D; Bertoni, N; Abdo, AH; Mello, MB, et al
16-Apr-2015
Verification of a Cryptographic Primitive: SHA-256
Appel, Andrew W.
22-Oct-2012
Verified heap theorem prover by paramodulation
Stewart, G; Beringer, L; Appel, Andrew W.
1-Jan-2014
Portable software fault isolation
Kroll, JA; Stewart, G; Appel, Andrew W.
2015
Verified correctness and security of OpenSSL HMAC
Beringer, L; Petcher, A; Ye, K; Appel, Andrew W.
1-Jan-2014
Verified compilation for shared-memory C
Beringer, L; Stewart, G; Dockins, R; Appel, Andrew W.