Wolfgang Polak Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2008
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Volker Roth, Wolfgang Polak, Eleanor G. Rieffel, Thea Turner: Simple and effective defense against evil twin access points. WISEC 2008: 220-235
2006
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
W. Brian Arthur, Wolfgang Polak: The evolution of technology within a simple computer model. Complexity 11(5): 23-31 (2006)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2005
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Polak: Formal methods in practice. Sci. Comput. Program. 42(1): 75-85 (2002)
2000
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eleanor G. Rieffel, Wolfgang Polak: An introduction to quantum computing for non-physicists. ACM Comput. Surv. 32(3): 300-335 (2000)
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
1999
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Polak: Formal Methods in Practice. Electr. Notes Theor. Comput. Sci. 25: 62-72 (1999)
1998
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eleanor G. Rieffel, Wolfgang Polak: An Introduction to Quantum Computing for Non-Physicists. CoRR quant-ph/9809016 (1998)
1992
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Guaspari, Carla Marceau, Wolfgang Polak: Formal Verification of Ada Programs. Larch 1992: 104-141
1990
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Guaspari, Carla Marceau, Wolfgang Polak: Formal Verification of Ada Programs. IEEE Trans. Software Eng. 16(9): 1058-1075 (1990)
1986
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Polak: Framework for a Knowledge-Based Programming Environment. Advanced Programming Environments 1986: 566-575
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig: Iteration in the software process. ISPW 1986: 105-108
1981
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Polak: Programmverification at Stanford: Past, Present Future. GWAI 1981: 256-276
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Polak: Program Verification Based on Denotational Semantics. POPL 1981: 149-158
1980
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David C. Luckham, Wolfgang Polak: Ada Exception Handling: An Axiomatic Approach. ACM Trans. Program. Lang. Syst. 2(2): 225-233 (1980)
1979
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Polak: An Exercise in Automatic Program Verification. IEEE Trans. Software Eng. 5(5): 453-458 (1979)
1976
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Polak: Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen. Fachtagung über Programmiersprachen 1976: 12-18

Coauthor Index

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

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 00:58:53 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page