A Verifier for Interactive, Data-Driven Web Applications. - Alin Deutsch; Monica Marcus; Liying Sui; Victor Vianu; Dayou Zhou (SIGMOD Conference, 2005)

Verification of communicating data-driven web services. - Alin Deutsch; Liying Sui; Victor Vianu; Dayou Zhou (PODS, 2006)

A system for specification and verification of interactive, data-driven web applications. - Alin Deutsch; Liying Sui; Victor Vianu; Dayou Zhou (SIGMOD Conference, 2006)

Querying contract databases based on temporal behavior. - Elio Damaggio; Alin Deutsch; Dayou Zhou (SIGMOD Conference, 2011)