Liying Sui
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2004–2007
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | SIGIR | Heavy-tailed distributions and multi-keyword queries. | Surajit Chaudhuri, Kenneth Ward Church, Arnd Christian Knig, Liying Sui |
| 2006 | PODS | Verification of communicating data-driven web services. | Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou |
| 2006 | SIGMOD | A system for specification and verification of interactive, data-driven web applications. | Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou |
| 2005 | ICWE | The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae. | Marco Brambilla, Alin Deutsch, Liying Sui, Victor Vianu |
| 2005 | SIGMOD | A Verifier for Interactive, Data-Driven Web Applications. | Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou |
| 2004 | PODS | Specification and Verification of Data-driven Web Services. | Alin Deutsch, Liying Sui, Victor Vianu |