Rajeev Alur
Rajeev Alur publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Software Testing and Debugging Techniques.
- World rank
- #3,664 of 1,633,909 ranked researchers
- Rank in United States
- #1,701 of 358,040
- Works
- 117
- Citations
- 1.9k
- Citations per work
- 16.4
What does Rajeev Alur research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics35% of their works
- 2Artificial Intelligence23% of their works
- 3Software20% of their works
- 4Hardware and Architecture12% of their works
- 5Computer Networks and Communications5% of their works
- 6Control and Systems Engineering3% of their works
Research topics
Which keywords describe Rajeev Alur's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Automated Testing, Software Fault Localization and Embedded Systems.
- Software Reliability Modeling
- Reconfigurable Computing
- Scheduling Algorithms
- Hard Real-Time Systems
- Model-Driven Engineering
- Embedded Systems
- Automated Testing
- Formal Verification
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Static Analysis
- Software Fault Localization
- Domain-Specific Languages
- Deadlock Prevention
- Petri Nets
- High-Level Synthesis
- Architecture-Based Approach
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
- Model Checking672 topics
- Satisfiability Modulo Theories461 topic
- Symbolic Model Checker461 topic
- Formal Verification211 topic
- Static Analysis211 topic
- Automated Testing171 topic
- Software Fault Localization171 topic
- Embedded Systems152 topics
- Domain-Specific Languages111 topic
- Model-Driven Engineering111 topic
- Deadlock Prevention81 topic
- Hard Real-Time Systems81 topic
- Petri Nets81 topic
- Scheduling Algorithms81 topic
- High-Level Synthesis71 topic
- Reconfigurable Computing71 topic
- Architecture-Based Approach51 topic
- Software Reliability Modeling51 topic
Where does Rajeev Alur work?
Rajeev Alur's main affiliation in the publication record is University of Pennsylvania, United States.
How many publications and citations does Rajeev Alur have?
Science Explorer counts 117 works and 1,920 citations for Rajeev Alur, ranking #3,664 of 1,633,909 researchers worldwide on the composite 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 are in the interactive view on the map. Is this your page? Request a correction or removal.