The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wolfgang Polak: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002