Rui Zhang

University of North Carolina at Chapel Hill

Computer ScienceEngineering

Pilot corpus only

This score is computed over theSindex pilot corpus and does not cover the full scientific literature. Scores are relative to papers we have ingested — papers, authors, and institutions outside the pilot are not represented. Methodology.

Top 100%percentile

0Author DataRank

Indexed papers

0in pilot corpus

datarank_citation_only_1hop_v6· scope data_onlyMethodology

Papers

Driven by 1 paper. Top paper: “Identifying Security Critical Properties for the Dynamic Verification of a Processor”.

Identifying Security Critical Properties for the Dynamic Verification of a Processor

UNC Libraries(2024)10.17615/7tjx-2410

N/A

0DataRank · unranked

0 citations

Andrew Chi, Rui Zhang, Cynthia Sturton, Natalie Stanley, Christopher Griggs