Specification and Verification of Data-driven Web Services. - Alin Deutsch; Liying Sui; Victor Vianu (PODS, 2004)

The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae. - Marco Brambilla 001; Alin Deutsch; Liying Sui; Victor Vianu (ICWE, 2005)

A Verifier for Interactive, Data-Driven Web Applications. - Alin Deutsch; Monica Marcus; Liying Sui; Victor Vianu; Dayou Zhou (SIGMOD Conference, 2005)

Verification of communicating data-driven web services. - Alin Deutsch; Liying Sui; Victor Vianu; Dayou Zhou (PODS, 2006)

A system for specification and verification of interactive, data-driven web applications. - Alin Deutsch; Liying Sui; Victor Vianu; Dayou Zhou (SIGMOD Conference, 2006)

Specification and verification of interactive data-driven web applications. - Liying Sui (2006)

Heavy-tailed distributions and multi-keyword queries. - Surajit Chaudhuri; Kenneth Ward Church; Arnd Christian König; Liying Sui (SIGIR, 2007)

Specification and verification of data-driven Web applications. - Alin Deutsch; Liying Sui; Victor Vianu (J. Comput. Syst. Sci., 2007)

Robust analysis and design of load frequency controller for power systems. - Wen Tan; Liying Sui; Zhan Xu (CCA, 2008)

Short-term passenger flow forecast for urban rail transit based on multi-source data. - Wei Li 149; Liying Sui; Min Zhou 003; Hairong Dong 001 (EURASIP J. Wirel. Commun. Netw., 2021)