Dayou Zhou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2005–2011
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | SIGMOD | Querying contract databases based on temporal behavior. | Elio Damaggio, Alin Deutsch, Dayou Zhou |
| 2006 | PODS | Verification of communicating data-driven web services. | Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou |
| 2006 | SIGMOD | A system for specification and verification of interactive, data-driven web applications. | Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou |
| 2005 | SIGMOD | A Verifier for Interactive, Data-Driven Web Applications. | Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou |