Shao Jie Zhang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2009–2014
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | FM | Formal Verification of Operational Transformation. | Yang Liu, Yi Xu, Shao Jie Zhang, Chengzheng Sun |
| 2011 | FM | On Combining State Space Reductions with Global Fairness Assumptions. | Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong |
| 2011 | ICSE | Scalable automatic linearizability checking. | Shao Jie Zhang |
| 2009 | SEKE | Formal Verification of Scalable NonZero Indicators. | Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu |