Wolfgang Polak

Publication Activity (10 Years)

Years Active: 1976-2008
Publications (10 Years): 0

Publications

Volker Roth, Wolfgang Polak, Eleanor Gilbert Rieffel, Thea Turner
Simple and effective defense against evil twin access points. WISEC (2008)
Patrick Chiu, Jeffrey Huang, Maribeth Back, Nicholas Diakopoulos, John Doherty, Wolfgang Polak, Xiaohua Sun
mTable: browsing photos and videos on a tabletop system. ACM Multimedia (2008)
W. Brian Arthur, Wolfgang Polak
The evolution of technology within a simple computer model. Complex. 11 (5) (2006)
Xiaohua Sun, Patrick Chiu, Jeffrey Huang, Maribeth Back, Wolfgang Polak
Implicit brushing and target snapping: data exploration and sense-making on large displays. AVI (2006)
Cheng-Jia Lai, Wolfgang Polak
A Collaborative Approach to Stochastic Load Balancing with Networked Queues of Autonomous Service Clusters. CollaborateCom (2006)
Patrick Chiu, Andreas Girgensohn, Surapong Lertsithichai, Wolfgang Polak, Frank M. Shipman III
MediaMetro: browsing multimedia document collections with a 3D city metaphor. ACM Multimedia (2005)
Wolfgang Polak
Formal methods in practice. Sci. Comput. Program. 42 (1) (2002)
Patrick Chiu, Andreas Girgensohn, Wolfgang Polak, Eleanor Gilbert Rieffel, Lynn Wilcox
A Genetic Algorithm for Video Segmentation and Summarization. IEEE International Conference on Multimedia and Expo (III) (2000)
Patrick Chiu, Andreas Girgensohn, Wolfgang Polak, Eleanor Gilbert Rieffel, Lynn Wilcox, Forrest H. Bennett III
A Genetic Segmentation Algorithm for Image Data Streams and Video. GECCO (2000)
Eleanor Gilbert Rieffel, Wolfgang Polak
An introduction to quantum computing for non-physicists. ACM Comput. Surv. 32 (3) (2000)
Wolfgang Polak
Formal Methods in Practice. Electron. Notes Theor. Comput. Sci. 25 (1999)
Eleanor Gilbert Rieffel, Wolfgang Polak
An Introduction to Quantum Computing for Non-Physicists CoRR (1998)
David Guaspari, Carla Marceau, Wolfgang Polak
Formal Verification of Ada Programs. Larch (1992)
David Guaspari, Carla Marceau, Wolfgang Polak
Formal Verification of Ada Programs. IEEE Trans. Software Eng. 16 (9) (1990)
Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig
Iteration in the software process. ISPW (1986)
Wolfgang Polak
Framework for a Knowledge-Based Programming Environment. Advanced Programming Environments (1986)
Wolfgang Polak
Program Verification Based on Denotational Semantics. POPL (1981)
Wolfgang Polak
Programmverification at Stanford: Past, Present Future. GWAI (1981)
Wolfgang Polak
Response to K. Foster's letter. ACM SIGSOFT Softw. Eng. Notes 5 (1) (1980)
David C. Luckham, Wolfgang Polak
A practical method of documenting and verifying Ada programs with packages. SIGPLAN (1980)
David C. Luckham, Wolfgang Polak
Ada Exception Handling: An Axiomatic Approach. ACM Trans. Program. Lang. Syst. 2 (2) (1980)
Wolfgang Polak
An Exercise in Automatic Program Verification. IEEE Trans. Software Eng. 5 (5) (1979)
Wolfgang Polak
Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen. Fachtagung über Programmiersprachen (1976)