Search the dblp DataBase

Publications of Author

1. Wolfgang Polak
   Framework for a Knowledge-Based Programming Environment. [Citation Graph (1, 0)][DBLP]
   Advanced Programming Environments, 1986, pp:566-575 [Conf]
   
2. David C. Luckham, Wolfgang Polak
   Ada Exception Handling: An Axiomatic Approach. [Citation Graph (1, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1980, v:2, n:2, pp:225-233 [Journal]
   
3. Xiaohua Sun, Patrick Chiu, Jeffrey Huang, Maribeth Back, Wolfgang Polak
   Implicit brushing and target snapping: data exploration and sense-making on large displays. [Citation Graph (0, 0)][DBLP]
   AVI, 2006, pp:258-261 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   GECCO, 2000, pp:666-673 [Conf]
   
5. Patrick Chiu, Andreas Girgensohn, Wolfgang Polak, Eleanor G. Rieffel, Lynn Wilcox
   A Genetic Algorithm for Video Segmentation and Summarization. [Citation Graph (0, 0)][DBLP]
   IEEE International Conference on Multimedia and Expo (III), 2000, pp:1329-1332 [Conf]
   
6. Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig
   Iteration in the software process. [Citation Graph (0, 0)][DBLP]
   ISPW, 1986, pp:105-108 [Conf]
   
7. Wolfgang Polak
   Programmverification at Stanford: Past, Present Future. [Citation Graph (0, 0)][DBLP]
   GWAI, 1981, pp:256-276 [Conf]
   
8. David Guaspari, Carla Marceau, Wolfgang Polak
   Formal Verification of Ada Programs. [Citation Graph (0, 0)][DBLP]
   Larch, 1992, pp:104-141 [Conf]
   
9. Patrick Chiu, Andreas Girgensohn, Surapong Lertsithichai, Wolfgang Polak, Frank M. Shipman III
   MediaMetro: browsing multimedia document collections with a 3D city metaphor. [Citation Graph (0, 0)][DBLP]
   ACM Multimedia, 2005, pp:213-214 [Conf]
   
10. Wolfgang Polak
    Program Verification Based on Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    POPL, 1981, pp:149-158 [Conf]
    
11. Wolfgang Polak
    Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1976, pp:12-18 [Conf]
    
12. Eleanor G. Rieffel, Wolfgang Polak
    An Introduction to Quantum Computing for Non-Physicists [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
    
13. Eleanor G. Rieffel, Wolfgang Polak
    An introduction to quantum computing for non-physicists. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 2000, v:32, n:3, pp:300-335 [Journal]
    
14. Wolfgang Polak
    Formal Methods in Practice. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:25, n:, pp:- [Journal]
    
15. Wolfgang Polak
    Formal methods in practice. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:75-85 [Journal]
    
16. David Guaspari, Carla Marceau, Wolfgang Polak
    Formal Verification of Ada Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:9, pp:1058-1075 [Journal]
    
17. Wolfgang Polak
    An Exercise in Automatic Program Verification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1979, v:5, n:5, pp:453-458 [Journal]
    
18. 
    mTable: browsing photos and videos on a tabletop system. [Citation Graph (, )][DBLP]
    
    
19. 
    Simple and effective defense against evil twin access points. [Citation Graph (, )][DBLP]