Science Explorer Back to mapMap
Discussion
Researcher · Microsoft Research (India) · India

Sriram K. Rajamani

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

ORCID 0000-0002-1400-7065 OpenAlex
World rank
#54,774
of 7,710,434 ranked researchers
Rank in India
#549
of 280,097
Works
208
Citations
12k
Citations per work
55.3
h-index
55
i10-index 109Top 0.7% in Artificial Intelligence
Sriram K. Rajamani

What does Sriram K. Rajamani research?

Sriram K. Rajamani's work is mostly in Computer Science (80%).

Physical Sciences: 166 works · 79.6% of their workComputer Science: 166 works · 79.6% of their workArtificial Intelligence: 46 works · 22.3% of their workSoftware: 43 works · 20.9% of their workComputational Theory and Mathematics: 30 works · 14.5% of their workInformation Systems: 21 works · 9.9% of their workHardware and Architecture: 13 works · 6.1% of their workComputer Networks and Communications: 12 works · 5.9% of their workEverything else: 42 works · 20.4% of their workTHEIR WORKSriram K.Rajamani208works
Physical Sciences80%

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 Science16679.6%
  2. Everything else4220.4%
  1. 1Artificial Intelligence22% of their works
  2. 2Software21% of their works
  3. 3Computational Theory and Mathematics14% of their works
  4. 4Information Systems10% of their works
  5. 5Hardware and Architecture6% of their works
  6. 6Computer Networks and Communications6% of their works

Research topics

Which keywords describe Sriram K. Rajamani's research?

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

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 Checking1132 topics
  2. Satisfiability Modulo Theories781 topic
  3. Symbolic Model Checker781 topic
  4. Automated Testing711 topic
  5. Software Fault Localization711 topic
  6. Machine Learning622 topics
  7. Architecture-Based Approach401 topic
  8. Software Reliability Modeling401 topic
  9. Code Clone Detection351 topic
  10. Formal Verification351 topic
  11. Refactoring351 topic
  12. Static Analysis351 topic
  13. Security Policies321 topic
  14. Side-Channel Attacks321 topic
  15. Android Malware271 topic
  16. Detection271 topic
  17. Distributed Systems221 topic
  18. Fault Tolerance221 topic

Where does Sriram K. Rajamani work?

Sriram K. Rajamani's main affiliation in the publication record is Microsoft Research (India), India.

How many publications and citations does Sriram K. Rajamani have?

OpenAlex counts 208 works and 11,506 citations for Sriram K. Rajamani, an h-index of 55, ranking #54,774 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 Sriram K. Rajamani. 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.