BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Greece
3 × USA
Collaborated with:
A.Deutsch L.Sui V.Vianu E.Damaggio M.Marcus
Talks about:
driven (3) data (3) web (3) interact (2) applic (2) verif (2) contract (1) communic (1) behavior (1) databas (1)

Person: Dayou Zhou

DBLP DBLP: Zhou:Dayou

Contributed to:

SIGMOD 20112011
PODS 20062006
SIGMOD 20062006
SIGMOD 20052005

Wrote 4 papers:

SIGMOD-2011-DamaggioDZ #behaviour #contract #database #query
Querying contract databases based on temporal behavior (ED, AD, DZ), pp. 397–408.
PODS-2006-DeutschSVZ #communication #data-driven #verification #web #web service
Verification of communicating data-driven web services (AD, LS, VV, DZ), pp. 90–99.
SIGMOD-2006-DeutschSVZ #data-driven #interactive #specification #verification #web
A system for specification and verification of interactive, data-driven web applications (AD, LS, VV, DZ), pp. 772–774.
SIGMOD-2005-DeutschMSVZ #data-driven #interactive #verification #web
A Verifier for Interactive, Data-Driven Web Applications (AD, MM, LS, VV, DZ), pp. 539–550.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.