Rajeev Alur: h-index, Total Citations, and Citation Map
Rajeev Alur's h-index is 101 (255 i10-index, 57,418+ total citations across 536+ publications) according to Google Scholar as of July 2026. Rajeev Alur is affiliated with Zisman Family Professor of Computer and Information Science, University of Pennsylvania.
Rajeev Alur is a researcher affiliated with Zisman Family Professor of Computer and Information Science, University of Pennsylvania, specializing in various fields. Their work has been cited 57,418 times. This profile visualizes their global influence, highlighting strong citation networks in United States.
Rajeev Alur's Citation Metrics
Bibliometric impact based on 536 indexed publications. Of these, 19 are original research articles — the rest are literature highlights, conference abstracts or theses.
- H-Index
- 101
- i10-Index
- 255
- Total Citations
- 57,418
- Citing Countries
- 50
As of July 2026.
Rajeev Alur has an h-index of 101 and 57,418 total citations across 536 publications, with research cited by institutions in 50 countries.
Download Exports (PNG, CSV, Poster)
Free Viewing Rajeev Alur's citation map is always free. Pay once to download poster, PNG, and CSV files for offline use or your visa packet.
Global Impact Map
Visualizing the geographic distribution of institutions that have cited your work.
Starting…
Pins will appear here as institutions are resolved — no need to refresh.
A theory of timed automata
199410,553
Top Citing Countries
Top Citing Institutions
Visa Evidence Package
Views and exports tuned for EB-1A, O-1A, and EB-2 NIW petitions. Sustained acclaim, geographic reach, and independent-citation filtering are the strongest evidence categories immigration adjudicators look for.
Significant Contributions
Auto-detected research lines — a seminal paper and the follow-up work building on it. Review and edit before using in a petition. Each Free PDF opens in a new tab — EB-1A organises this into the structure USCIS applies to Criterion 5 of 8 CFR § 204.5(h)(3)(v); EB-1B re-frames it under § 204.5(i)(3) (outstanding researcher); NIW presents it under prong 2 of Matter of Dhanasar.
38 citing papers could not be classified (no author data) — excluded from the percentages above.
The researcher established foundational model-checking frameworks for real-time systems, significantly advancing verification methodologies through seminal work and subsequent theoretical refinements.
The researcher established a foundational framework for analyzing, inferring, and verifying message sequence charts, creating a seminal body of work that has been widely adopted by independent scholars.
The researcher established a foundational temporal logic framework and demonstrated its practical utility in the automatic symbolic verification of embedded systems.
Citation trend (last 10 years)Click to expand
Citation Trend (Last 10 Years)
Related Guides
Learn how to use citation maps for your research and visa applications.
About Rajeev Alur's research
Rajeev Alur is a researcher at Zisman Family Professor of Computer and Information Science, University of Pennsylvania. Their work has been cited 57,418 times across 536 publications (h-index 101), according to Google Scholar.
Their most-cited work, “A theory of timed automata” (1994), has accumulated 10,553 citations. Other influential works include “The algorithmic analysis of hybrid systems” (1995) with 2,940 citations and “Alternating-time temporal logic” (2002) with 2,485 citations.
Citations of Rajeev Alur's research come primarily from United States, China and France, reflecting international research impact across 5+ countries. The interactive citation map above shows the full geographic distribution of the institutions citing this work.
