Yixiang Chen - Citegraph

Author Info

Name	Affiliation	Papers
YIXIANG CHEN	E China Normal Univ, MoE Engn Res Ctr Software Hardware Codesign Techn, Shanghai 200062, Peoples R China	7
Collaborators	Citations	PageRank
12	7	2.53
Referers	Referees	References
20	123	54

Search Limit

100123

Publications (7 rows)

Collaborators (12 rows)

Referers (20 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
A verification framework for spatio-temporal consistency language with CCSL as a specification language	0	0.34	2020
A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles	2	0.41	2016
A Comprehensive Trust Model Based On Multi-Factors For Wsns	0	0.34	2015
Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC	1	0.36	2015
Probabilistic Model Checking of Pipe protocol	4	0.40	2015
An Attributes-Based Allocation Approach of Software Trustworthy Degrees	0	0.34	2015
A Proof System in Process Algebra for Demand and Supply	0	0.34	2014

1