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

Kavita Ravi

Kavita Ravi publishes mostly in Computational Theory and Mathematics, Software and Artificial Intelligence, on topics such as Formal Methods in Verification, Software Testing and Debugging Techniques and Model-Driven Software Engineering Techniques.

OpenAlex
World rank
#1,076,151
of 7,710,434 ranked researchers
Rank in United States
#348,986
of 1,627,098
Works
29
Citations
1.1k
Citations per work
36.3
h-index
15
i10-index 18Top 24% in Computational Theory and Mathematics
Kavita Ravi

What does Kavita Ravi research?

Kavita Ravi's work is mostly in Computer Science (74%), Engineering (4%).

Physical Sciences: 23 works · 78.0% of their workComputer Science: 22 works · 74.5% of their workComputational Theory and Mathematics: 8 works · 29.1% of their workSoftware: 6 works · 22.1% of their workArtificial Intelligence: 3 works · 11.6% of their workComputer Vision and Pattern Recognition: 2 works · 7.0% of their workHardware and Architecture: 1 works · 4.7% of their workEngineering: 1 works · 3.5% of their workElectrical and Electronic Engineering: 1 works · 3.5% of their workEverything else: 6 works · 22.0% of their workTHEIR WORKKavita Ravi29works
Physical Sciences78%

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 Science2274.5%
    2. Engineering13.5%
  2. Everything else622.0%
  1. 1Computational Theory and Mathematics29% of their works
  2. 2Software22% of their works
  3. 3Artificial Intelligence12% of their works
  4. 4Computer Vision and Pattern Recognition7% of their works
  5. 5Hardware and Architecture5% of their works
  6. 6Electrical and Electronic Engineering4% of their works

Research topics

Which keywords describe Kavita Ravi's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Automated Testing, Software Fault Localization, Metamodeling, Domain-Specific Languages and Model-Driven Engineering.

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 Checking242 topics
  2. Satisfiability Modulo Theories211 topic
  3. Symbolic Model Checker211 topic
  4. Automated Testing101 topic
  5. Software Fault Localization101 topic
  6. Metamodeling82 topics
  7. Domain-Specific Languages51 topic
  8. Model-Driven Engineering51 topic
  9. Architecture-Based Approach41 topic
  10. Camera Calibration41 topic
  11. Software Reliability Modeling41 topic
  12. Structured Light41 topic
  13. Active Learning31 topic
  14. Formal Verification31 topic
  15. Machine Learning31 topic
  16. Simulation Optimization31 topic
  17. Static Analysis31 topic
  18. Verification and Validation31 topic

Where does Kavita Ravi work?

Kavita Ravi's main affiliation in the publication record is Cadence Design Systems (United States), United States.

How many publications and citations does Kavita Ravi have?

OpenAlex counts 29 works and 1,054 citations for Kavita Ravi, an h-index of 15, ranking #1,076,151 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 Kavita Ravi. Posts are plain text and can be reported.