Statistics
Publications
3
Citations
184
H-Index
3
Active since
2003
Affiliations
Yale University(Current)
Nadeem Abdul Hamid is an author at Yale University specializing in computing, computer science, and programming languages.
Publications per year
2003–2004
3
3
A syntactic approach to foundational proof-carrying code
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov et al. · 2003 · 74 citations
A Syntactic Approach to Foundational Proof-Carrying Code
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov et al. · Journal of Automated Reasoning · 2003 · 35 citations
1–3 of 3