Shao Jie Zhang - Network Profiles - Free people check at Yasni.com

author = {Yang Liu and Wei Chen and Yanhong A. Liu and Jun Sun and Shao Jie Zhang and Jin Song Dong}, title = {Verifying Linearizability via Optimized ...

Table of Contents - Knowledge Systems Institute

www.ksi.edu

Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu … Software Quality. Detecting Defects with an Interactive Code Review ...

Formal Verification of Scalable NonZero Indicators - Microsoftwww.microsoft.com › en-us › research › publication › formal-cerification-...

www.microsoft.com

Jul 30, · Shao Jie Zhang · Yang Liu · Jun Sun · Jin Song Dong · Yanhong A. Liu · Wei Chen.

Publications | Chengnian Sunchengniansun.bitbucket.io › public › publication

chengniansun.bitbucket.io

Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, Jin Song Dong. November th IEEE/ACM International Conference on Automated Software ...

All web results to the name "Shao Jie Zhang"

Frontiers of Computer Sciencejournal.hep.com.cn › fcs › volumn › volumn_431

journal.hep.com.cn

Yuanjie SI, Jun SUN, Yang LIU, Jin Song DONG, Jun PANG, Shao Jie ZHANG, Xiaohu YANG , 8(1): https://doi.org s

Model checking with fairness assumptions using PAT - Springer ...www.springerprofessional.de › model-checking-with-fairness-assumptions-...

www.springerprofessional.de

Feb 1, · Authors: Yuanjie Si, Jun Sun, Yang Liu, Jin Song Dong, Jun Pang, Shao Jie Zhang, Xiaohu Yang. » Get access to the full-text ...

NSF Award Search: Award # SHF: Medium:Performance Analysis...

www.nsf.gov

Yang Liu and Wei Chen and Yanhong A. Liu and Jun Sun and Shao Jie Zhang and Jin Song Dong. "Verifying Linearizability via Optimized ...

Related search requests for Shao Jie Zhang

People
Forename "Jie" (266)
Name "Zhang" (24)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Network Profiles Shao Jie Zhang