Wolfgang Polak

According to our database, Wolfgang Polak authored at least 21 papers between 1976 and 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2008

Simple and effective defense against evil twin access points.

Volker Roth, Wolfgang Polak, Eleanor Gilbert Rieffel, Thea Turner

Proceedings of the First ACM Conference on Wireless Network Security, 2008

mTable: browsing photos and videos on a tabletop system.

Patrick Chiu, Jeffrey Huang, Maribeth Back, Nicholas Diakopoulos, John Doherty, Wolfgang Polak, Xiaohua Sun

Proceedings of the 16th International Conference on Multimedia 2008, 2008

2006

The evolution of technology within a simple computer model.

W. Brian Arthur, Wolfgang Polak

Complex., 2006

A Collaborative Approach to Stochastic Load Balancing with Networked Queues of Autonomous Service Clusters.

Cheng-Jia Lai, Wolfgang Polak

Proceedings of the 2nd International ICST Conference on Collaborative Computing: Networking, 2006

Implicit brushing and target snapping: data exploration and sense-making on large displays.

Xiaohua Sun, Patrick Chiu, Jeffrey Huang, Maribeth Back, Wolfgang Polak

Proceedings of the working conference on Advanced visual interfaces, 2006

2005

MediaMetro: browsing multimedia document collections with a 3D city metaphor.

Patrick Chiu, Andreas Girgensohn, Surapong Lertsithichai, Wolfgang Polak, Frank M. Shipman III

Proceedings of the 13th ACM International Conference on Multimedia, 2005

2000

An introduction to quantum computing for non-physicists.

Eleanor Gilbert Rieffel, Wolfgang Polak

ACM Comput. Surv., 2000

A Genetic Algorithm for Video Segmentation and Summarization.

Patrick Chiu, Andreas Girgensohn, Wolfgang Polak, Eleanor Gilbert Rieffel, Lynn Wilcox

Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000

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

Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '00), 2000

1998

Formal Methods in Practice.

Wolfgang Polak

Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

1990

Formal Verification of Ada Programs.

David Guaspari, Carla Marceau, Wolfgang Polak

IEEE Trans. Software Eng., 1990

1986

Iteration in the software process.

Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig

Proceedings of the Third International Software Process Workshop (ISPW '86), 1986

Framework for a Knowledge-Based Programming Environment.

Wolfgang Polak

Proceedings of the Advanced Programming Environments, 1986

1981

Program Verification Based on Denotational Semantics.

Wolfgang Polak

Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

Programmverification at Stanford: Past, Present Future.

Wolfgang Polak

Proceedings of the GWAI-81, 1981

1980

Theory of compiler specification and verification.

Wolfgang Polak

PhD thesis, 1980

Ada Exception Handling: An Axiomatic Approach.

David C. Luckham, Wolfgang Polak

ACM Trans. Program. Lang. Syst., 1980

Response to K. Foster's letter.

Wolfgang Polak

ACM SIGSOFT Softw. Eng. Notes, 1980

A practical method of documenting and verifying Ada programs with packages.

David C. Luckham, Wolfgang Polak

Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

1979

An Exercise in Automatic Program Verification.

Wolfgang Polak

IEEE Trans. Software Eng., 1979

1976

Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen.

Wolfgang Polak

Proceedings of the Programmiersprachen, 1976