Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen. - Wolfgang Polak (Fachtagung über Programmiersprachen, 1976)

An Exercise in Automatic Program Verification. - Wolfgang Polak (IEEE Trans. Software Eng., 1979)

A practical method of documenting and verifying Ada programs with packages. - David C. Luckham; Wolfgang Polak (SIGPLAN, 1980)

Response to K. Foster's letter. - Wolfgang Polak (ACM SIGSOFT Softw. Eng. Notes, 1980)

Ada Exception Handling: An Axiomatic Approach. - David C. Luckham; Wolfgang Polak (ACM Trans. Program. Lang. Syst., 1980)

Theory of compiler specification and verification. - Wolfgang Polak (1980)

Programmverification at Stanford: Past, Present Future. - Wolfgang Polak (GWAI, 1981)

Program Verification Based on Denotational Semantics. - Wolfgang Polak (POPL, 1981)

Framework for a Knowledge-Based Programming Environment. - Wolfgang Polak (Advanced Programming Environments, 1986)

Iteration in the software process. - Allen Goldberg; C. Cordell Green; Wolfgang Polak; Richard Jüllig (ISPW, 1986)

Formal Verification of Ada Programs. - David Guaspari; Carla Marceau; Wolfgang Polak (IEEE Trans. Software Eng., 1990)

A Genetic Segmentation Algorithm for Image Data Streams and Video. - Patrick Chiu; Andreas Girgensohn; Wolfgang Polak; Eleanor Gilbert Rieffel; Lynn Wilcox; Forrest H. Bennett III (GECCO, 2000)

A Genetic Algorithm for Video Segmentation and Summarization. - Patrick Chiu; Andreas Girgensohn; Wolfgang Polak; Eleanor Gilbert Rieffel; Lynn Wilcox (IEEE International Conference on Multimedia and Expo (III), 2000)

An introduction to quantum computing for non-physicists. - Eleanor Gilbert Rieffel; Wolfgang Polak (ACM Comput. Surv., 2000)

Formal methods in practice. - Wolfgang Polak (Sci. Comput. Program., 2002)

MediaMetro: browsing multimedia document collections with a 3D city metaphor. - Patrick Chiu; Andreas Girgensohn; Surapong Lertsithichai; Wolfgang Polak; Frank M. Shipman III (ACM Multimedia, 2005)

Implicit brushing and target snapping: data exploration and sense-making on large displays. - Xiaohua Sun; Patrick Chiu; Jeffrey Huang; Maribeth Back; Wolfgang Polak (AVI, 2006)

A Collaborative Approach to Stochastic Load Balancing with Networked Queues of Autonomous Service Clusters. - Cheng-Jia Lai; Wolfgang Polak (CollaborateCom, 2006)

The evolution of technology within a simple computer model. - W. Brian Arthur; Wolfgang Polak (Complex., 2006)

mTable: browsing photos and videos on a tabletop system. - Patrick Chiu; Jeffrey Huang; Maribeth Back; Nicholas Diakopoulos; John Doherty; Wolfgang Polak; Xiaohua Sun (ACM Multimedia, 2008)

Simple and effective defense against evil twin access points. - Volker Roth 002; Wolfgang Polak; Eleanor Gilbert Rieffel; Thea Turner (WISEC, 2008)