Dayou Zhou

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Publications

Elio Damaggio, Alin Deutsch, Dayou Zhou
Querying contract databases based on temporal behavior. SIGMOD Conference (2011)
Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
A system for specification and verification of interactive, data-driven web applications. SIGMOD Conference (2006)
Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
Verification of communicating data-driven web services. PODS (2006)
Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou
A Verifier for Interactive, Data-Driven Web Applications. SIGMOD Conference (2005)