I agree that this site is using cookies. You can find further informations here.
X
Zhang, Shao Jie
45520  results:
Search for persons X
?
1

Constraint-based automatic symmetry detection:

, In: Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering,
Zhang, Shao Jie ; Sun, Jun ; Suny, Chengnian... - p. 15-25 , 2013
Link: https://dl.acm.org/doi/1..
 
?
2

Verifying Linearizability via Optimized Refinement Checking:

Liu, Yang ; Chen, Wei ; Liu, Yanhong A....
IEEE Transactions on Software Engineering.  39 (2013)  7 - p. 1018-1039 , 2013
Link: https://doi.org/10.1109/..
 
?
3

Model checking with fairness assumptions using PAT:

Si, Yuanjie ; Sun, Jun ; Liu, Yang...
Frontiers of Computer Science.  8 (2013)  1 - p. 1-16 , 2013
Link: https://doi.org/10.1007/..
 
?
4

Analysis of Architectural Discourse in 1990s:

Zhang, Shao Jie ; Xiao, Tie Qiao
Applied Mechanics and Materials.  357-360 (2013)  - p. 376-379 , 2013
Link: https://doi.org/10.4028/..
 
?
5

Scalable automatic linearizability checking:

, In: Proceedings of the 33rd International Conference on Software Engineering,
Zhang, Shao Jie - p. 1185-1187 , 2011
Link: https://dl.acm.org/doi/1..
 
?
6

Genetic study on heritability and novel SNP loci of tempera..:

Huang, Qing-Guo ; Zhang, Ming-Zhi ; Zhang, Shao-Jie...
Reproduction and Breeding.  4 (2024)  1 - p. 1-4 , 2024
Link: https://doi.org/10.1016/..
 
?
7

Electrolytes additives for Zn metal anodes: regulation mech..:

Zhang, Yu-Zhe ; Ao, Huai-Sheng ; Dong, Qi...
Rare Metals.  43 (2024)  9 - p. 4162-4197 , 2024
Link: https://doi.org/10.1007/..
 
?
8

Adaptive Stage-Aware Assessment Skill Transfer for Skill De..:

Zhang, Shao-Jie ; Pan, Jia-Hui ; Gao, Jibin.
IEEE Transactions on Multimedia.  26 (2024)  - p. 4061-4072 , 2024
Link: https://doi.org/10.1109/..
 
?
9

Historic dog Furs Unravel the Origin and Artificial Selecti..:

Wang, Shi-Zhi ; Yan, Yu ; Widlund, Malin...
Molecular Biology and Evolution.  41 (2024)  7 - p. , 2024
Link: https://doi.org/10.1093/..
 
?
10

Prediction of the instability probability for rainfall indu..:

Wang, Kai ; Zhang, Shao-jie ; Xie, Wan-li.
Journal of Mountain Science.  20 (2023)  5 - p. 1249-1265 , 2023
Link: https://doi.org/10.1007/..
 
?
11

Automatic Modelling for Interactive Action Assessment:

Gao, Jibin ; Pan, Jia-Hui ; Zhang, Shao-Jie.
International Journal of Computer Vision.  131 (2022)  3 - p. 659-679 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Clinical Characteristics and Gene Mutations of Two Families..:

Ren, Xiao-Yan ; Xue, Meng-Ruo ; Yan, Zhao-Li...
Pharmacogenomics and Personalized Medicine.  15 (2022)  - p. 1019-1027 , 2022
Link: https://doi.org/10.2147/..
 
?
13

Field observation of debris-flow activities in the initiati..:

Yang, Hong-juan ; Zhang, Shao-jie ; Hu, Kai-heng...
Journal of Mountain Science.  19 (2022)  6 - p. 1602-1617 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Recent strategies targeting Embryonic Ectoderm Development ..:

Zhao, Yuan ; Guan, Yuan-Yuan ; Zhao, Fang...
European Journal of Medicinal Chemistry.  231 (2022)  - p. 114144 , 2022
Link: https://doi.org/10.1016/..
 
?
15

Controllable Preparation of Branched Polyolefins with Vario..:

Liu, Hong-Ju ; Tian, Wan-Lu ; Wang, Xiao-Yue...
Chinese Journal of Polymer Science.  41 (2022)  6 - p. 905-914 , 2022
Link: https://doi.org/10.1007/..
 
1-15