Dayou Zhou

	2006
3		Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou: Verification of communicating data-driven web services. PODS 2006: 90-99
2		Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou: A system for specification and verification of interactive, data-driven web applications. SIGMOD Conference 2006: 772-774
	2005
1		Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou: A Verifier for Interactive, Data-Driven Web Applications. SIGMOD Conference 2005: 539-550

Coauthor Index

1	Alin Deutsch	[1] [2] [3]
2	Monica Marcus	[1]
3	Liying Sui	[1] [2] [3]
4	Victor Vianu	[1] [2] [3]