Wolfgang Polak

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