Wolfgang Polak - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2008

mTable: browsing photos and videos on a tabletop systemPatrick Chiu, Jeffrey Huang, Maribeth Back, Nicholas Diakopoulos, John Doherty, Wolfgang Polak, Xiaohua Sun. mm 2008: 1107-1108 [doi]

Simple and effective defense against evil twin access pointsVolker Roth, Wolfgang Polak, Eleanor G. Rieffel, Thea Turner. wisec 2008: 220-235 [doi]

2006

The evolution of technology within a simple computer modelW. Brian Arthur, Wolfgang Polak. complexity, 11(5):23-31, 2006. [doi]

A Collaborative Approach to Stochastic Load Balancing with Networked Queues of Autonomous Service ClustersCheng-Jia Lai, Wolfgang Polak. colcom 2011: [doi]

Implicit brushing and target snapping: data exploration and sense-making on large displaysXiaohua Sun, Patrick Chiu, Jeffrey Huang, Maribeth Back, Wolfgang Polak. avi 2006: 258-261 [doi]

2005

MediaMetro: browsing multimedia document collections with a 3D city metaphorPatrick Chiu, Andreas Girgensohn, Surapong Lertsithichai, Wolfgang Polak, Frank M. Shipman III. mm 2005: 213-214 [doi]

2002

Formal methods in practiceWolfgang Polak. SCP, 42(1):75-85, 2002.

2000

1999

Formal Methods in PracticeWolfgang Polak. ENTCS, 25:62-72, 1999. [doi]

1992

Formal Verification of Ada ProgramsDavid Guaspari, Carla Marceau, Wolfgang Polak. larch 1993: 104-141

1990

Formal Verification of Ada ProgramsDavid Guaspari, Carla Marceau, Wolfgang Polak. TSE, 16(9):1058-1075, 1990. [doi]

1986

Iteration in the software processAllen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig. ispw 1986: 105-108

Framework for a Knowledge-Based Programming EnvironmentWolfgang Polak. ifip 1986: 566-575

1981

Programmverification at Stanford: Past, Present FutureWolfgang Polak. ki 1981: 256-276

Program Verification Based on Denotational SemanticsWolfgang Polak. POPL 1981: 149-158

1980

Ada Exception Handling: An Axiomatic ApproachDavid C. Luckham, Wolfgang Polak. TOPLAS, 2(2):225-233, 1980. [doi]

A practical method of documenting and verifying Ada programs with packagesDavid C. Luckham, Wolfgang Polak. sigplan 1980: 113-122 [doi]

Response to K. Foster's letterWolfgang Polak. sigsoft, 5(1):37-38, 1980. [doi]

Theory of compiler specification and verificationWolfgang Polak. PhD thesis, Stanford University, USA, 1980. [doi]

1979

An Exercise in Automatic Program VerificationWolfgang Polak. TSE, 5(5):453-458, 1979.

1976

Anwendung der axiomatischen Definitionsmethode auf höhere ProgrammiersprachenWolfgang Polak. programmier 1976: 12-18

Sign in or sign up to see more results.

runs on WebDSL