Dayou Zhou

According to our database, Dayou Zhou authored at least 4 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2011

Querying contract databases based on temporal behavior.

Elio Damaggio, Alin Deutsch, Dayou Zhou

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

2006

A system for specification and verification of interactive, data-driven web applications.

Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

Verification of communicating data-driven web services.

Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou

Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

2005

A Verifier for Interactive, Data-Driven Web Applications.

Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005