Obserwuj
Wolfgang Polak
Tytuł
Cytowane przez
Cytowane przez
Rok
An introduction to quantum computing for non-physicists
E Rieffel, W Polak
ACM Computing Surveys (CSUR) 32 (3), 300-335, 2000
5492000
Quantum computing: A gentle introduction
EG Rieffel, WH Polak
MIT Press, 2011
3692011
The evolution of technology within a simple computer model
WB Arthur, W Polak
Complexity 11 (5), 23-31, 2006
1962006
Formal verification of Ada programs
D Guaspari, C Marceau, W Polak
IEEE Transactions on Software Engineering 16 (9), 1058-1075, 1990
1331990
Compiler specification and verification
W Polak
Springer Berlin Heidelberg, 1981
1331981
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
1002008
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
1002008
Stanford Pascal verifier user manual
DC Luckham, SM German, FWV Henke, RA Karp, PW Milne
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1979
861979
Usable and secure portable storage
DM Hilbert, DA Billsus, JE Adcock, W Polak, L Denoue, EG Rieffel
US Patent App. 11/558,886, 2008
742008
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
711980
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
552009
Tools for quantum algorithms
T Hogg, C Mochon, W Polak, E Rieffel
International journal of modern physics C 10 (07), 1347-1361, 1999
431999
Method and system for constructing adaptive and resilient software
WH Polak
US Patent 6,226,627, 2001
332001
Methods and systems for automatically generating provably correct computer program code
WH Polak
US Patent 7,243,086, 2007
242007
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
211981
Quantum computing: A gentle introduction (scientific and engineering computation)
EG Rieffel, WH Polak
MIT Press, 2011
202011
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
A Gentle Introduction to Quantum Computing
EG Rieffel, W Polak
Cambridge/London: The MIT Press 390, 19, 2011
142011
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20