Search the dblp DataBase
Liying Sui: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP]
ICWE, 2005, pp:557-568 [Conf] - Alin Deutsch, Liying Sui, Victor Vianu
Specification and Verification of Data-driven Web Services. [Citation Graph (0, 0)][DBLP]
PODS, 2004, pp:71-82 [Conf] - Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
Verification of communicating data-driven web services. [Citation Graph (0, 0)][DBLP]
PODS, 2006, pp:90-99 [Conf] - Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou
A Verifier for Interactive, Data-Driven Web Applications. [Citation Graph (0, 0)][DBLP]
SIGMOD Conference, 2005, pp:539-550 [Conf] - Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
A system for specification and verification of interactive, data-driven web applications. [Citation Graph (0, 0)][DBLP]
SIGMOD Conference, 2006, pp:772-774 [Conf] - Alin Deutsch, Liying Sui, Victor Vianu
Specification and verification of data-driven Web applications. [Citation Graph (0, 0)][DBLP]
J. Comput. Syst. Sci., 2007, v:73, n:3, pp:442-474 [Journal] - Surajit Chaudhuri, Kenneth Ward Church, Arnd Christian König, Liying Sui
Heavy-tailed distributions and multi-keyword queries. [Citation Graph (0, 0)][DBLP]
SIGIR, 2007, pp:663-670 [Conf]
Search in 0.003secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002