Wolfgang Polak

2008
20	EE	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: 1107-1108
19	EE	Volker Roth, Wolfgang Polak, Eleanor G. Rieffel, Thea Turner: Simple and effective defense against evil twin access points. WISEC 2008: 220-235
2006
18	EE	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: 258-261
17	EE	W. Brian Arthur, Wolfgang Polak: The evolution of technology within a simple computer model. Complexity 11(5): 23-31 (2006)
2005
16	EE	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: 213-214
2002
15		Wolfgang Polak: Formal methods in practice. Sci. Comput. Program. 42(1): 75-85 (2002)
2000
14		Patrick Chiu, Andreas Girgensohn, Wolfgang Polak, Eleanor G. Rieffel, Lynn Wilcox, Forrest H. Bennett III: A Genetic Segmentation Algorithm for Image Data Streams and Video. GECCO 2000: 666-673
13		Patrick Chiu, Andreas Girgensohn, Wolfgang Polak, Eleanor G. Rieffel, Lynn Wilcox: A Genetic Algorithm for Video Segmentation and Summarization. IEEE International Conference on Multimedia and Expo (III) 2000: 1329-1332
12	EE	Eleanor G. Rieffel, Wolfgang Polak: An introduction to quantum computing for non-physicists. ACM Comput. Surv. 32(3): 300-335 (2000)
1999
11	EE	Wolfgang Polak: Formal Methods in Practice. Electr. Notes Theor. Comput. Sci. 25: (1999)
1998
10	EE	Eleanor G. Rieffel, Wolfgang Polak: An Introduction to Quantum Computing for Non-Physicists CoRR quant-ph/9809016: (1998)
1992
9		David Guaspari, Carla Marceau, Wolfgang Polak: Formal Verification of Ada Programs. Larch 1992: 104-141
1990
8	EE	David Guaspari, Carla Marceau, Wolfgang Polak: Formal Verification of Ada Programs. IEEE Trans. Software Eng. 16(9): 1058-1075 (1990)
1986
7		Wolfgang Polak: Framework for a Knowledge-Based Programming Environment. Advanced Programming Environments 1986: 566-575
6		Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig: Iteration in the software process. ISPW 1986: 105-108
1981
5		Wolfgang Polak: Programmverification at Stanford: Past, Present Future. GWAI 1981: 256-276
4		Wolfgang Polak: Program Verification Based on Denotational Semantics. POPL 1981: 149-158
1980
3	EE	David C. Luckham, Wolfgang Polak: Ada Exception Handling: An Axiomatic Approach. ACM Trans. Program. Lang. Syst. 2(2): 225-233 (1980)
1979
2		Wolfgang Polak: An Exercise in Automatic Program Verification. IEEE Trans. Software Eng. 5(5): 453-458 (1979)
1976
1		Wolfgang Polak: Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen. Fachtagung über Programmiersprachen 1976: 12-18

Coauthor Index

1	W. Brian Arthur	[17]
2	Maribeth Back	[18] [20]
3	Forrest H. Bennett III	[14]
4	Patrick Chiu	[13] [14] [16] [18] [20]
5	Nicholas Diakopoulos	[20]
6	John Doherty	[20]
7	Andreas Girgensohn	[13] [14] [16]
8	Allen Goldberg	[6]
9	C. Cordell Green	[6]
10	David Guaspari	[8] [9]
11	Jeffrey Huang	[18] [20]
12	Richard Jüllig	[6]
13	Surapong Lertsithichai	[16]
14	David C. Luckham	[3]
15	Carla Marceau	[8] [9]
16	Eleanor G. Rieffel	[10] [12] [13] [14] [19]
17	Volker Roth	[19]
18	Frank M. Shipman III	[16]
19	Xiaohua Sun	[18] [20]
20	Thea Turner	[19]
21	Lynn Wilcox	[13] [14]

Colors in the list of coauthors