Science Explorer Back to mapMap
Discussion
Researcher · Synopsys (United States) · United States

Pei-Hsin Ho

Pei-Hsin Ho publishes mostly in Computational Theory and Mathematics, Electrical and Electronic Engineering and Hardware and Architecture, on topics such as Formal Methods in Verification, Software Testing and Debugging Techniques and Embedded Systems Design Techniques.

OpenAlex
World rank
#790,027
of 7,710,434 ranked researchers
Rank in United States
#264,004
of 1,627,098
Works
46
Citations
4.2k
Citations per work
92.3
h-index
21
i10-index 26Top 12% in Computational Theory and Mathematics
Pei-Hsin Ho

What does Pei-Hsin Ho research?

Pei-Hsin Ho's work is mostly in Computer Science (69%), Engineering (20%).

Physical Sciences: 41 works · 88.9% of their workComputer Science: 32 works · 68.9% of their workComputational Theory and Mathematics: 11 works · 23.7% of their workHardware and Architecture: 8 works · 17.8% of their workSoftware: 7 works · 16.3% of their workArtificial Intelligence: 3 works · 5.9% of their workComputer Networks and Communications: 2 works · 5.2% of their workEngineering: 9 works · 20.0% of their workElectrical and Electronic Engineering: 9 works · 20.0% of their workEverything else: 5 works · 11.1% of their workTHEIR WORKPei-Hsin Ho46works
Physical Sciences89%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science3268.9%
    2. Engineering920.0%
  2. Everything else511.1%
  1. 1Computational Theory and Mathematics24% of their works
  2. 2Electrical and Electronic Engineering20% of their works
  3. 3Hardware and Architecture18% of their works
  4. 4Software16% of their works
  5. 5Artificial Intelligence6% of their works
  6. 6Computer Networks and Communications5% of their works

Research topics

Which keywords describe Pei-Hsin Ho's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, FPGA, Automated Testing, Software Fault Localization, Embedded Cores and High-Level Synthesis.

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 18 words, with their numbers
  1. Model Checking302 topics
  2. Satisfiability Modulo Theories241 topic
  3. Symbolic Model Checker241 topic
  4. FPGA172 topics
  5. Automated Testing121 topic
  6. Software Fault Localization121 topic
  7. Embedded Cores91 topic
  8. High-Level Synthesis91 topic
  9. Reconfigurable Computing91 topic
  10. Test Data Compression91 topic
  11. ASIC81 topic
  12. Placement81 topic
  13. Low-Power71 topic
  14. VLSI Circuits71 topic
  15. Architecture-Based Approach61 topic
  16. Formal Verification61 topic
  17. Software Reliability Modeling61 topic
  18. Static Analysis61 topic

Where does Pei-Hsin Ho work?

Pei-Hsin Ho's main affiliation in the publication record is Synopsys (United States), United States.

How many publications and citations does Pei-Hsin Ho have?

OpenAlex counts 46 works and 4,247 citations for Pei-Hsin Ho, an h-index of 21, ranking #790,027 of 7,710,434 researchers worldwide on the quality 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.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Pei-Hsin Ho. Posts are plain text and can be reported.