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
6202000
Quantum computing: A gentle introduction
EG Rieffel, WH Polak
MIT press, 2011
4782011
The evolution of technology within a simple computer model
WB Arthur, W Polak
Complexity 11 (5), 23-31, 2006
2192006
Compiler specification and verification
W Polak
Springer Berlin Heidelberg, 1981
1461981
Formal verification of Ada programs
D Guaspari, C Marceau, W Polak
IEEE Transactions on Software Engineering 16 (9), 1058-1075, 1990
1371990
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
1132008
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
1032008
Stanford pascal verifier user manual
DC Luckham, SM German, FW von Henke, RA Karp, PW Milne, ...
Stanford University, 1979
961979
Usable and secure portable storage
DM Hilbert, DA Billsus, JE Adcock, W Polak, L Denoue, EG Rieffel
US Patent App. 11/558,886, 2008
822008
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
782000
ADA exception handling: an axiomatic approach
DC Luckham, W Polak
ACM Transactions on Programming Languages and Systems (TOPLAS) 2 (2), 225-233, 1980
701980
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
461999
Methods and systems for automatically generating provably correct computer program code
WH Polak
US Patent 7,243,086, 2007
392007
Method and system for constructing adaptive and resilient software
WH Polak
US Patent 6,226,627, 2001
332001
Quantum computing: A gentle introduction (scientific and engineering computation)
EG Rieffel, WH Polak
The MIT Press 10, 1973124, 2014
262014
System and method for human assisted secure information exchange
V Roth, WH Polak, EG Rieffel
US Patent 8,429,405, 2013
222013
Program verification based on denotation semantics
W Polak
Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of …, 1981
221981
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
162000
A Gentle Introduction to Quantum Computing
EG Rieffel, W Polak
Cambridge/London: The MIT Press 390, 19, 2011
152011
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20