 | 2007 |
|---|
| 8 |       | Surajit Chaudhuri,
Kenneth Ward Church,
Arnd Christian König,
Liying Sui:
Heavy-tailed distributions and multi-keyword queries.
SIGIR 2007: 663-670 |
| 7 | | Alin Deutsch,
Liying Sui,
Victor Vianu:
Specification and verification of data-driven Web applications.
J. Comput. Syst. Sci. 73(3): 442-474 (2007) |
| 2006 |
|---|
| 6 | | Alin Deutsch,
Liying Sui,
Victor Vianu,
Dayou Zhou:
Verification of communicating data-driven web services.
PODS 2006: 90-99 |
| 5 | | 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 |
|---|
| 4 |  | Stéphane Grumbach,
Liying Sui,
Victor Vianu:
Advances in Computer Science - ASIAN 2005, Data Management on the Web, 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings
Springer 2005 |
| 3 | | Marco Brambilla,
Alin Deutsch,
Liying Sui,
Victor Vianu:
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae.
ICWE 2005: 557-568 |
| 2 | | Alin Deutsch,
Monica Marcus,
Liying Sui,
Victor Vianu,
Dayou Zhou:
A Verifier for Interactive, Data-Driven Web Applications.
SIGMOD Conference 2005: 539-550 |
| 2004 |
|---|
| 1 | | Alin Deutsch,
Liying Sui,
Victor Vianu:
Specification and Verification of Data-driven Web Services.
PODS 2004: 71-82 |
