☰

Vaughan Pratt

Affiliations: 
Computer Science Stanford University, Palo Alto, CA 
Google:
"Vaughan Pratt"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Donald Knuth grad student Stanford (MathTree)

Children

Sign in to add trainee
Parham Aarabi grad student 2001 Stanford
Ramon E. Prieto grad student 2004 Stanford
Keyvan Mohajer grad student 2007 Stanford

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Propper R, Mohajer K, Pratt V. (2006) CommonSense: A preprocessing system to identify errors in large transcribed corpora Proceedings of Spie - the International Society For Optical Engineering. 6242
Pavlovi D, Pratt V. (2002) The continuum as a final coalgebra Theoretical Computer Science. 280: 105-122
Pratt V. (1986) Modeling concurrency with partial orders International Journal of Parallel Programming. 15: 33-71
Blum M, Floyd RW, Pratt V, et al. (1973) Time bounds for selection Journal of Computer and System Sciences. 7: 448-461
See more...