Liying Sui Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2007
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSurajit Chaudhuri, Kenneth Ward Church, Arnd Christian König, Liying Sui: Heavy-tailed distributions and multi-keyword queries. SIGIR 2007: 663-670
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlin Deutsch, Liying Sui, Victor Vianu: Specification and verification of data-driven Web applications. J. Comput. Syst. Sci. 73(3): 442-474 (2007)
2006
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou: Verification of communicating data-driven web services. PODS 2006: 90-99
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlin 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSté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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou: A Verifier for Interactive, Data-Driven Web Applications. SIGMOD Conference 2005: 539-550
2004
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlin 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 © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)