Shao Jie Zhang - Citegraph

Author Info

Name	Affiliation	Papers
SHAO JIE ZHANG	Natl Univ Singapore, NUS Grad Sch Integrat Sci & Engn, Singapore, Singapore	10
Collaborators	Citations	PageRank
19	56	4.71
Referers	Referees	References
145	226	140

Search Limit

100226

Publications (10 rows)

Collaborators (19 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Model checking with fairness assumptions using PAT	17	0.87	2014
Formal Verification of Operational Transformation.	2	0.37	2014
Verifying Linearizability via Optimized Refinement Checking	2	0.38	2013
Constraint-based automatic symmetry detection.	0	0.34	2013
Graph-based detection of library API imitations	2	0.38	2011
Scalable automatic linearizability checking	12	0.54	2011
On combining state space reductions with global fairness assumptions	2	0.38	2011
An Automatic Approach to Model Checking UML State Machines	16	0.74	2010
Model Checking a Lazy Concurrent List-Based Set Algorithm	2	0.37	2010
Formal Verification of Scalable NonZero Indicators	1	0.36	2009

1