Wei Ding
Publications by Year
Research Areas
Formal Methods in Verification, Data Management and Algorithms, Advanced Database Systems and Queries, Data Mining Algorithms and Applications, Software Testing and Debugging Techniques
Most-Cited Works
- → Using a model checker to test safety properties(2002)59 cited
- → Evaluation of three specification-based testing criteria(2002)42 cited
- → Cellulose-Enabled Polylactic Acid (PLA) Nanocomposites: Recent Developments and Emerging Trends(2017)15 cited
- → Lightweight Reasoning about Program Correctness(2002)14 cited
- → Double-Indexing Mechanism of Search Engine Based on Campus Net(2006)9 cited
- Data Mining Based on Knowledge-Grid(2006)
- → Database Multi-joint Query Optimization Based on Generic-Tabu Algorithm(2012)3 cited
- Analyzing infinite-state programs with abstract interpretation(2000)
- Software Modeling, Development, & Maintenance Distributed, Parallel, and Peer-to-Peer Databases Software Requirements Engineering Semi-structured Data and XML Databases Software Verification and Model Checking Data Integration, Interoperability, and Metadata Reengineering and Reverse Engineering Data Mining: Traditional, Large-scale and Parallel(2009)
- Research on Process of Complex Queries over Data Stream(2004)