Danhua Shao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2004–2010
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ISSRE | Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis. | Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry |
| 2009 | FM | An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. | Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry |
| 2007 | ICSE | An Exploratory Case Study Using CBSP and Archium. | Charles L. Chen, Danhua Shao, Dewayne E. Perry |
| 2004 | COMPSAC | A Semantic-Aware Publish/Subscribe System with RDF Patterns. | Jinling Wang, Beihong Jin, Jing Li, Danhua Shao |