Ashok B. Mehta
Ashok B. Mehta publishes mostly in Hardware and Architecture, Computational Theory and Mathematics and Artificial Intelligence, on topics such as Embedded Systems Design Techniques, Logic, programming, and type systems and Formal Methods in Verification.
- World rank
- #3,548,947 of 7,710,434 ranked researchers
- Rank in United States
- #990,349 of 1,627,098
- Works
- 124
- Citations
- 172
- Citations per work
- 1.4
What does Ashok B. Mehta research?
Ashok B. Mehta's work is mostly in Computer Science (49%), Engineering (7%).
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
- Physical Sciences6956.0%
- Computer Science6149.4%
- Engineering86.6%
- Everything else5544.0%
- 1Hardware and Architecture15% of their works
- 2Computational Theory and Mathematics11% of their works
- 3Artificial Intelligence11% of their works
- 4Computer Networks and Communications8% of their works
- 5Electrical and Electronic Engineering7% of their works
- 6Software4% of their works
Research topics
Which keywords describe Ashok B. Mehta's research?
The keywords of their largest research topics: Model Checking, High-Level Synthesis, Reconfigurable Computing, Formal Verification, Satisfiability Modulo Theories, Static Analysis, Symbolic Model Checker and Metamodeling.
- Verification and Validation
- Model-Driven Engineering
- Syntax
- Performance Optimization
- Test Data Compression
- Metamodeling
- Static Analysis
- Formal Verification
- High-Level Synthesis
- Model Checking
- Reconfigurable Computing
- Satisfiability Modulo Theories
- Symbolic Model Checker
- Embedded Cores
- Parallel Computing
- Semantics
- Domain-Specific Languages
- Simulation Optimization
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
- Model Checking302 topics
- High-Level Synthesis231 topic
- Reconfigurable Computing231 topic
- Formal Verification151 topic
- Satisfiability Modulo Theories151 topic
- Static Analysis151 topic
- Symbolic Model Checker151 topic
- Metamodeling142 topics
- Embedded Cores101 topic
- Test Data Compression101 topic
- Parallel Computing91 topic
- Performance Optimization91 topic
- Semantics81 topic
- Syntax81 topic
- Domain-Specific Languages71 topic
- Model-Driven Engineering71 topic
- Simulation Optimization71 topic
- Verification and Validation71 topic
Where does Ashok B. Mehta work?
Ashok B. Mehta's main affiliation in the publication record is nView Medical (United States), United States.
How many publications and citations does Ashok B. Mehta have?
OpenAlex counts 124 works and 172 citations for Ashok B. Mehta, an h-index of 7, ranking #3,548,947 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 Ashok B. Mehta. 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.