Science Explorer Back to mapMap
Discussion
Researcher · Cadence Design Systems (United States) · United States

Howard Wong-Toi

Howard Wong-Toi publishes mostly in Computational Theory and Mathematics, Software and Hardware and Architecture, on topics such as Formal Methods in Verification, Petri Nets in System Modeling and Embedded Systems Design Techniques.

OpenAlex
World rank
#333,840
of 7,710,434 ranked researchers
Rank in United States
#120,220
of 1,627,098
Works
42
Citations
3.6k
Citations per work
86.8
h-index
27
i10-index 31Top 6.7% in Computational Theory and Mathematics
Howard Wong-Toi

What does Howard Wong-Toi research?

Howard Wong-Toi's work is mostly in Computer Science (83%), Engineering (7%).

Physical Sciences: 38 works · 90.3% of their workComputer Science: 35 works · 82.9% of their workComputational Theory and Mathematics: 18 works · 43.1% of their workSoftware: 6 works · 14.6% of their workHardware and Architecture: 6 works · 13.8% of their workArtificial Intelligence: 5 works · 11.4% of their workEngineering: 3 works · 7.4% of their workControl and Systems Engineering: 2 works · 4.1% of their workElectrical and Electronic Engineering: 1 works · 3.3% of their workEverything else: 4 works · 9.7% of their workTHEIR WORKHoward Wong-Toi42works
Physical Sciences90%

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 Science3582.9%
    2. Engineering37.4%
  2. Everything else49.7%
  1. 1Computational Theory and Mathematics43% of their works
  2. 2Software15% of their works
  3. 3Hardware and Architecture14% of their works
  4. 4Artificial Intelligence11% of their works
  5. 5Control and Systems Engineering4% of their works
  6. 6Electrical and Electronic Engineering3% of their works

Research topics

Which keywords describe Howard Wong-Toi's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Embedded Systems, Deadlock Prevention, Petri Nets, High-Level Synthesis and Reconfigurable Computing.

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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 18 words, with their numbers
  1. Model Checking442 topics
  2. Satisfiability Modulo Theories351 topic
  3. Symbolic Model Checker351 topic
  4. Embedded Systems172 topics
  5. Deadlock Prevention161 topic
  6. Petri Nets161 topic
  7. High-Level Synthesis101 topic
  8. Reconfigurable Computing101 topic
  9. Automated Testing91 topic
  10. Formal Verification91 topic
  11. Software Fault Localization91 topic
  12. Static Analysis91 topic
  13. Hard Real-Time Systems71 topic
  14. Scheduling Algorithms71 topic
  15. Domain-Specific Languages51 topic
  16. Model-Driven Engineering51 topic
  17. Architecture-Based Approach41 topic
  18. Software Reliability Modeling41 topic

Where does Howard Wong-Toi work?

Howard Wong-Toi's main affiliation in the publication record is Cadence Design Systems (United States), United States.

How many publications and citations does Howard Wong-Toi have?

OpenAlex counts 42 works and 3,645 citations for Howard Wong-Toi, an h-index of 27, ranking #333,840 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation 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 Howard Wong-Toi. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.