Statistics
Publications
6
Citations
579
H-Index
6
Active since
1988
Affiliations
Carnegie Mellon University(Current)
P. Lee is an author at Carnegie Mellon University specializing in computing, computer science, and compilers.
Publications per year
1988–2006
6
6
David Tarditi, Greg Morrisett, Pau-Chen Cheng et al. · 1996 · 316 citations · Full text
High-Confidence Medical Device Software and Systems
Insup Lee, George J. Pappas, Rance Cleaveland et al. · Computer · 2006 · 125 citations · Full text
Efficient representation and validation of proofs
George C. Necula, P. Lee · 2002 · 97 citations
Research on proof-carrying code for untrusted-code security
George C. Necula, P. Lee · 2002 · 19 citations
1–5 of 6