| An introduction to quantum computing for non-physicists E Rieffel, W Polak ACM Computing Surveys (CSUR) 32 (3), 300-335, 2000 | 627 | 2000 |
| Quantum computing: A gentle introduction EG Rieffel, WH Polak MIT press, 2011 | 512 | 2011 |
| The evolution of technology within a simple computer model WB Arthur, W Polak Complexity 11 (5), 23-31, 2006 | 222 | 2006 |
| Compiler specification and verification W Polak Springer Berlin Heidelberg, 1981 | 146 | 1981 |
| Formal verification of Ada programs D Guaspari, C Marceau, W Polak IEEE Transactions on Software Engineering 16 (9), 1058-1075, 1990 | 134 | 1990 |
| Systems and methods for creating an interactive 3D visualization of indexed media P Chiu, A Girgensohn, W Polak, F Shipman III, S Lertsithichai US Patent 7,340,678, 2008 | 113 | 2008 |
| Simple and effective defense against evil twin access points V Roth, W Polak, E Rieffel, T Turner Proceedings of the first ACM conference on Wireless network security, 220-235, 2008 | 105 | 2008 |
| Stanford pascal verifier user manual DC Luckham, SM German, FW von Henke, RA Karp, PW Milne, ... Stanford University, 1979 | 96 | 1979 |
| Usable and secure portable storage DM Hilbert, DA Billsus, JE Adcock, W Polak, L Denoue, EG Rieffel US Patent App. 11/558,886, 2008 | 84 | 2008 |
| A genetic algorithm for video segmentation and summarization P Chiu, A Girgensohn, W Polak, E Rieffel, L Wilcox 2000 IEEE International Conference on Multimedia and Expo. ICME2000 …, 2000 | 78 | 2000 |
| ADA exception handling: an axiomatic approach DC Luckham, W Polak ACM Transactions on Programming Languages and Systems (TOPLAS) 2 (2), 225-233, 1980 | 71 | 1980 |
| Interactive techniques for organizing and retrieving thumbnails and notes on large displays P Chiu, X Sun, J Huang, MJ Back, WH Polak US Patent 7,627,831, 2009 | 55 | 2009 |
| Tools for quantum algorithms T Hogg, C Mochon, W Polak, E Rieffel International journal of modern physics C 10 (07), 1347-1361, 1999 | 48 | 1999 |
| Methods and systems for automatically generating provably correct computer program code WH Polak US Patent 7,243,086, 2007 | 42 | 2007 |
| Method and system for constructing adaptive and resilient software WH Polak US Patent 6,226,627, 2001 | 33 | 2001 |
| Quantum computing: A gentle introduction (scientific and engineering computation) EG Rieffel, WH Polak The MIT Press 10, 1973124, 2014 | 26 | 2014 |
| Program verification based on denotation semantics W Polak Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of …, 1981 | 23 | 1981 |
| System and method for human assisted secure information exchange V Roth, WH Polak, EG Rieffel US Patent 8,429,405, 2013 | 22 | 2013 |
| A Genetic Segmentation Algorithm for Image Data Streams and Video. P Chiu, A Girgensohn, W Polak, EG Rieffel, L Wilcox, FH Bennett III GECCO, 666-673, 2000 | 16 | 2000 |
| A Gentle Introduction to Quantum Computing EG Rieffel, W Polak Cambridge/London: The MIT Press 390, 19, 2011 | 15 | 2011 |
