Liying Sui

According to our database1, Liying Sui authored at least 10 papers between 2004 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Short-term passenger flow forecast for urban rail transit based on multi-source data.
EURASIP J. Wirel. Commun. Netw., 2021

2008
Robust analysis and design of load frequency controller for power systems.
Proceedings of the IEEE International Conference on Control Applications, 2008

2007
Specification and verification of data-driven Web applications.
J. Comput. Syst. Sci., 2007

Heavy-tailed distributions and multi-keyword queries.
Proceedings of the SIGIR 2007: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2007

2006
Specification and verification of interactive data-driven web applications.
PhD thesis, 2006

A system for specification and verification of interactive, data-driven web applications.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

Verification of communicating data-driven web services.
Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

2005
A Verifier for Interactive, Data-Driven Web Applications.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005

The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae.
Proceedings of the Web Engineering, 5th International Conference, 2005

2004
Specification and Verification of Data-driven Web Services.
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004


  Loading...