dblp.uni-trier.dewww.uni-trier.de

Liying Sui

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
8EESurajit Chaudhuri, Kenneth Ward Church, Arnd Christian König, Liying Sui: Heavy-tailed distributions and multi-keyword queries. SIGIR 2007: 663-670
7EEAlin Deutsch, Liying Sui, Victor Vianu: Specification and verification of data-driven Web applications. J. Comput. Syst. Sci. 73(3): 442-474 (2007)
2006
6EEAlin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou: Verification of communicating data-driven web services. PODS 2006: 90-99
5EEAlin 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
3EEMarco 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
2EEAlin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou: A Verifier for Interactive, Data-Driven Web Applications. SIGMOD Conference 2005: 539-550
2004
1EEAlin Deutsch, Liying Sui, Victor Vianu: Specification and Verification of Data-driven Web Services. PODS 2004: 71-82

Coauthor Index

1Marco Brambilla [3]
2Surajit Chaudhuri [8]
3Kenneth Ward Church [8]
4Alin Deutsch [1] [2] [3] [5] [6] [7]
5Stéphane Grumbach [4]
6Arnd Christian König [8]
7Monica Marcus [2]
8Victor Vianu [1] [2] [3] [4] [5] [6] [7]
9Dayou Zhou [2] [5] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)