关注
Wolfgang Polak
Wolfgang Polak
Consultant
在 pocs.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
An introduction to quantum computing for non-physicists
E Rieffel, W Polak
ACM Computing Surveys (CSUR) 32 (3), 300-335, 2000
6272000
Quantum computing: A gentle introduction
EG Rieffel, WH Polak
MIT press, 2011
5122011
The evolution of technology within a simple computer model
WB Arthur, W Polak
Complexity 11 (5), 23-31, 2006
2222006
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
1341990
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
1052008
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
842008
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
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
481999
Methods and systems for automatically generating provably correct computer program code
WH Polak
US Patent 7,243,086, 2007
422007
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
Program verification based on denotation semantics
W Polak
Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of …, 1981
231981
System and method for human assisted secure information exchange
V Roth, WH Polak, EG Rieffel
US Patent 8,429,405, 2013
222013
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
系统目前无法执行此操作,请稍后再试。
文章 1–20