Jin Yang
Jin Yang publishes mostly in Hardware and Architecture, Software and Computational Theory and Mathematics, on topics such as Formal Methods in Verification, VLSI and Analog Circuit Testing and Software Testing and Debugging Techniques.
- World rank
- #677,847 of 1,633,909 ranked researchers
- Rank in United States
- #205,327 of 358,040
- Works
- 25
- Citations
- 65
- Citations per work
- 2.6
What does Jin Yang research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Hardware and Architecture26% of their works
- 2Software19% of their works
- 3Computational Theory and Mathematics19% of their works
- 4Electrical and Electronic Engineering10% of their works
- 5Computer Networks and Communications6% of their works
- 6Artificial Intelligence6% of their works
Research topics
- Formal Methods in Verification
- VLSI and Analog Circuit Testing
- Software Testing and Debugging Techniques
- Physical Unclonable Functions (PUFs) and Hardware Security
- Software Reliability and Analysis Research
- Logic, programming, and type systems
- Security and Verification in Computing
- Software System Performance and Reliability
Which keywords describe Jin Yang's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Embedded Cores, Test Data Compression, Automated Testing, Software Fault Localization and Architecture-Based Approach.
- Side-Channel Attacks
- Performance Prediction
- Formal Verification
- Physical Unclonable Functions
- Architecture-Based Approach
- Automated Testing
- Embedded Cores
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Test Data Compression
- Software Fault Localization
- Hardware Trojans
- Software Reliability Modeling
- Log Analysis
- Security Policies
- Static Analysis
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 17 words, with their numbers
- Model Checking72 topics
- Satisfiability Modulo Theories61 topic
- Symbolic Model Checker61 topic
- Embedded Cores41 topic
- Test Data Compression41 topic
- Automated Testing31 topic
- Software Fault Localization31 topic
- Architecture-Based Approach21 topic
- Hardware Trojans21 topic
- Physical Unclonable Functions21 topic
- Software Reliability Modeling21 topic
- Formal Verification11 topic
- Log Analysis11 topic
- Performance Prediction11 topic
- Security Policies11 topic
- Side-Channel Attacks11 topic
- Static Analysis11 topic
Where does Jin Yang work?
Jin Yang's main affiliation in the publication record is Intel (United States), United States.
How many publications and citations does Jin Yang have?
Science Explorer counts 25 works and 65 citations for Jin Yang, ranking #677,847 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Other researchers named Jin Yang
- jin-yang-chongqing-university
- jin-yang-shaanxi-university-of-science-and-technology
- jin-yang-northeast-normal-university
- jin-yang-hubei-university-of-technology
- jin-yang-university-of-glasgow
- jin-yang-shanghai-university-of-engineering-science
- jin-yang-sichuan-university
- jin-yang-huaibei-normal-university
- jin-yang-china-university-of-petroleum-beijing
- jin-yang-tongji-university
- jin-yang-china-university-of-petroleum-beijing-china
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.