Science Explorer Back to mapMap
Discussion
Researcher · Carnegie Mellon University · United States

Anvesh Komuravelli

Anvesh Komuravelli publishes mostly in Computational Theory and Mathematics, Software and Artificial Intelligence, on topics such as Formal Methods in Verification, Software Reliability and Analysis Research and Software Testing and Debugging Techniques.

ORCID 0000-0002-0927-2075 OpenAlex
World rank
#2,281,962
of 7,710,434 ranked researchers
Rank in United States
#681,425
of 1,627,098
Works
21
Citations
858
Citations per work
40.9
h-index
9
i10-index 9Top 50% in Computational Theory and Mathematics
Anvesh Komuravelli

What does Anvesh Komuravelli research?

Anvesh Komuravelli's work is mostly in Computer Science (71%), Engineering (5%), Biochemistry, Genetics and Molecular Biology (3%).

Physical Sciences: 16 works · 75.8% of their workComputer Science: 15 works · 71.0% of their workComputational Theory and Mathematics: 6 works · 27.4% of their workSoftware: 5 works · 24.2% of their workArtificial Intelligence: 2 works · 11.3% of their workHardware and Architecture: 2 works · 8.1% of their workEngineering: 1 works · 4.8% of their workMechanical Engineering: 1 works · 4.8% of their workEverything else: 4 works · 21.0% of their workLife Sciences: 1 works · 3.2% of their workBiochemistry, Genetics and Molecular Biology: 1 works · 3.2% of their workClinical Biochemistry: 1 works · 3.2% of their workTHEIR WORKAnveshKomuravelli21works
Life Sciences3%Physical Sciences76%

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 Science1571.0%
    2. Engineering14.8%
  2. Everything else421.0%
    1. Biochemistry, Genetics and Molecular Biology13.2%
  1. 1Computational Theory and Mathematics27% of their works
  2. 2Software24% of their works
  3. 3Artificial Intelligence11% of their works
  4. 4Hardware and Architecture8% of their works
  5. 5Mechanical Engineering5% of their works
  6. 6Clinical Biochemistry3% of their works

Research topics

Which keywords describe Anvesh Komuravelli's research?

The keywords of their largest research topics: Model Checking, Automata, Satisfiability Modulo Theories, Symbolic Model Checker, Architecture-Based Approach, Software Reliability Modeling, Automated Testing and Software Fault Localization.

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 Checking182 topics
  2. Automata172 topics
  3. Satisfiability Modulo Theories151 topic
  4. Symbolic Model Checker151 topic
  5. Architecture-Based Approach91 topic
  6. Software Reliability Modeling91 topic
  7. Automated Testing61 topic
  8. Software Fault Localization61 topic
  9. Formal Verification31 topic
  10. Static Analysis31 topic
  11. Active Learning21 topic
  12. Advanced Glycation End Products21 topic
  13. Formal Languages21 topic
  14. HMGB121 topic
  15. High-Level Synthesis21 topic
  16. Machine Learning21 topic
  17. Reconfigurable Computing21 topic
  18. Regular Expressions21 topic

Where does Anvesh Komuravelli work?

Anvesh Komuravelli's main affiliation in the publication record is Carnegie Mellon University, United States.

How many publications and citations does Anvesh Komuravelli have?

OpenAlex counts 21 works and 858 citations for Anvesh Komuravelli, an h-index of 9, ranking #2,281,962 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 Anvesh Komuravelli. Posts are plain text and can be reported.