| 2007 | ||
|---|---|---|
| 8 | EE | Surajit Chaudhuri, Kenneth Ward Church, Arnd Christian König, Liying Sui: Heavy-tailed distributions and multi-keyword queries. SIGIR 2007: 663-670 |
| 7 | EE | 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 | EE | Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou: Verification of communicating data-driven web services. PODS 2006: 90-99 |
| 5 | EE | 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 | EE | 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 | EE | 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 | EE | Alin Deutsch, Liying Sui, Victor Vianu: Specification and Verification of Data-driven Web Services. PODS 2004: 71-82 |
| 1 | Marco Brambilla | [3] |
| 2 | Surajit Chaudhuri | [8] |
| 3 | Kenneth Ward Church | [8] |
| 4 | Alin Deutsch | [1] [2] [3] [5] [6] [7] |
| 5 | Stéphane Grumbach | [4] |
| 6 | Arnd Christian König | [8] |
| 7 | Monica Marcus | [2] |
| 8 | Victor Vianu | [1] [2] [3] [4] [5] [6] [7] |
| 9 | Dayou Zhou | [2] [5] [6] |
Colors in the list of coauthors