Wolfgang Polak
Title
Cited by
Cited by
Year
An introduction to quantum computing for non-physicists
E Rieffel, W Polak
ACM Computing Surveys (CSUR) 32 (3), 300-335, 2000
4842000
Quantum computing: A gentle introduction
EG Rieffel, WH Polak
MIT Press, 2011
2482011
The evolution of technology within a simple computer model
WB Arthur, W Polak
Complexity 11 (5), 23-31, 2006
1712006
Formal verification of Ada programs
D Guaspari, C Marceau, W Polak
IEEE Transactions on Software Engineering 16 (9), 1058-1075, 1990
1291990
Compiler specification and verification
W Polak
1231981
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
892008
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
892008
Stanford Pascal verifier user manual
DC Luckham, SM German, FWV Henke, RA Karp, PW Milne
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1979
811979
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
742000
ADA exception handling: an axiomatic approach
DC Luckham, W Polak
ACM Transactions on Programming Languages and Systems (TOPLAS) 2 (2), 225-233, 1980
681980
Usable and secure portable storage
DM Hilbert, DA Billsus, JE Adcock, W Polak, L Denoue, EG Rieffel
US Patent App. 11/558,886, 2008
662008
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
542009
Tools for quantum algorithms
T Hogg, C Mochon, W Polak, E Rieffel
International journal of modern physics C 10 (07), 1347-1361, 1999
361999
Method and system for constructing adaptive and resilient software
WH Polak
US Patent 6,226,627, 2001
312001
System and method for human assisted secure information exchange
V Roth, WH Polak, EG Rieffel
US Patent 8,429,405, 2013
212013
Program verification based on denotation semantics
W Polak
Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of …, 1981
191981
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
172000
An exercise in automatic program verification
W Polak
IEEE Transactions on Software Engineering, 453-458, 1979
151979
An Overview of Quantum Computing for Technology Managers
EG Rieffel
arXiv preprint arXiv:0804.2264, 2008
14*2008
Quantum Computing: A Gentle Introduction (Scientific and Engineering Computation)
EG Rieffel, WH Polak
MIT Press, 2011
132011
The system can't perform the operation now. Try again later.
Articles 1–20