| Fast pattern matching in strings DE Knuth, JH Morris, Jr, VR Pratt SIAM journal on computing 6 (2), 323-350, 1977 | 4630 | 1977 |
| Stanley: The robot that won the DARPA Grand Challenge S Thrun, M Montemerlo, H Dahlkamp, D Stavens, A Aron, J Diebel, ... Journal of field Robotics 23 (9), 661-692, 2006 | 3038 | 2006 |
| Time bounds for selection M Blum, RW Floyd, VR Pratt, RL Rivest, RE Tarjan J. Comput. Syst. Sci. 7 (4), 448-461, 1973 | 1808 | 1973 |
| Towards fully autonomous driving: Systems and algorithms J Levinson, J Askeland, J Becker, J Dolson, D Held, S Kammel, JZ Kolter, ... 2011 IEEE intelligent vehicles symposium (IV), 163-168, 2011 | 1714 | 2011 |
| Modeling concurrency with partial orders V Pratt International journal of parallel programming 15, 33-71, 1986 | 1051 | 1986 |
| Semantical considerations on Floyd-Hoare logic VR Pratt 17th Annual Symposium on Foundations of Computer Science (sfcs 1976), 109-121, 1976 | 1022 | 1976 |
| Direct least-squares fitting of algebraic surfaces V Pratt ACM SIGGRAPH computer graphics 21 (4), 145-152, 1987 | 992 | 1987 |
| Every prime has a succinct certificate VR Pratt SIAM Journal on Computing 4 (3), 214-220, 1975 | 478 | 1975 |
| Modeling concurrency with geometry V Pratt Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of …, 1991 | 344 | 1991 |
| Linear algorithm for data compression via string matching M Rodeh, VR Pratt, S Even Journal of the ACM (JACM) 28 (1), 16-24, 1981 | 315 | 1981 |
| Stanley: The robot that won the darpa grand challenge S Thrun, M Montemerlo, H Dahlkamp, D Stavens, A Aron, J Diebel, ... The 2005 DARPA grand challenge: the great robot race, 1-43, 2007 | 297 | 2007 |
| Action logic and pure induction V Pratt European Workshop on Logics in Artificial Intelligence, 97-120, 1990 | 275 | 1990 |
| Models of program logics VR Pratt 20th Annual Symposium on Foundations of Computer Science (sfcs 1979), 115-122, 1979 | 273 | 1979 |
| A near-optimal method for reasoning about action VR Pratt Journal of Computer and System Sciences 20 (2), 231-254, 1980 | 217 | 1980 |
| A characterization of the power of vector machines VR Pratt, MO Rabin, LJ Stockmeyer Proceedings of the sixth annual ACM symposium on Theory of computing, 122-134, 1974 | 204 | 1974 |
| A decidable mu-calculus: Preliminary report VR Pratt 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981), 421-427, 1981 | 185 | 1981 |
| A linear pattern-matching algorithm J Morris Jr, V Pratt | 180 | 1970 |
| Process logic: Preliminary report VR Pratt Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of …, 1979 | 169 | 1979 |
| On the composition of processes VR Pratt Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of …, 1982 | 154 | 1982 |
| Computing permutations with double-ended queues, parallel stacks and parallel queues VR Pratt Proceedings of the fifth annual ACM symposium on Theory of computing, 268-277, 1973 | 154 | 1973 |
Ronald L. RivestMIT Institute Professor在 mit.edu 的电子邮件经过验证
