Vaughan Pratt
Affiliations: | Computer Science | Stanford University, Palo Alto, CA |
Google:
"Vaughan Pratt"Children
Sign in to add traineeParham Aarabi | grad student | 2001 | Stanford |
Ramon E. Prieto | grad student | 2004 | Stanford |
Keyvan Mohajer | grad student | 2007 | Stanford |
BETA: Related publications
See more...
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 |