Rajeev Joshi

1.6k total citations
30 papers, 672 citations indexed

About

Rajeev Joshi is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Rajeev Joshi has authored 30 papers receiving a total of 672 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Artificial Intelligence, 16 papers in Computational Theory and Mathematics and 11 papers in Software. Recurrent topics in Rajeev Joshi's work include Formal Methods in Verification (16 papers), Software Testing and Debugging Techniques (9 papers) and Logic, programming, and type systems (8 papers). Rajeev Joshi is often cited by papers focused on Formal Methods in Verification (16 papers), Software Testing and Debugging Techniques (9 papers) and Logic, programming, and type systems (8 papers). Rajeev Joshi collaborates with scholars based in United States, Switzerland and India. Rajeev Joshi's co-authors include Alex Groce, K. Rustan M. Leino, Greg Nelson, Gerard J. Holzmann, Keith H. Randall, Gerard J. Holzmann, Cormac Flanagan, Y. Zhou, Serdar Taşiran and Akhil Sahai and has published in prestigious journals such as Scientific Reports, IEEE Transactions on Software Engineering and ACM SIGPLAN Notices.

In The Last Decade

Rajeev Joshi

27 papers receiving 632 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Rajeev Joshi United States	16	310	294	221	210	183	30	672
Laurent Mounier France	14	317 1.0×	259 0.9×	149 0.7×	192 0.9×	197 1.1×	27	616
Liviu Tancau United States	7	270 0.9×	297 1.0×	136 0.6×	217 1.0×	228 1.2×	8	624
Ofer Strichman Israel	16	468 1.5×	415 1.4×	144 0.7×	486 2.3×	198 1.1×	59	850
Ana Cavalli France	13	368 1.2×	145 0.5×	232 1.0×	170 0.8×	153 0.8×	81	639
Allen Goldberg United States	12	204 0.7×	253 0.9×	123 0.6×	146 0.7×	154 0.8×	31	469
Paul E. Black United States	15	587 1.9×	170 0.6×	120 0.5×	247 1.2×	339 1.9×	47	813
Dino Distefano United Kingdom	10	301 1.0×	459 1.6×	125 0.6×	311 1.5×	199 1.1×	22	674
Mandana Vaziri United States	12	323 1.0×	276 0.9×	345 1.6×	137 0.7×	177 1.0×	27	691
Heike Wehrheim Germany	13	238 0.8×	307 1.0×	145 0.7×	190 0.9×	205 1.1×	79	552
Sagar Chaki United States	17	465 1.5×	580 2.0×	416 1.9×	424 2.0×	381 2.1×	69	1.2k

Countries citing papers authored by Rajeev Joshi

Since Specialization

Citations

This map shows the geographic impact of Rajeev Joshi's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Rajeev Joshi with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Rajeev Joshi more than expected).

Fields of papers citing papers by Rajeev Joshi

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Rajeev Joshi. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Rajeev Joshi. The network helps show where Rajeev Joshi may publish in the future.

Co-authorship network of co-authors of Rajeev Joshi

This figure shows the co-authorship network connecting the top 25 collaborators of Rajeev Joshi. A scholar is included among the top collaborators of Rajeev Joshi based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Rajeev Joshi. Rajeev Joshi is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Joshi, Rajeev, Aksh Chahal, Abdur Raheem Khan, et al.. (2025). Effects of transcranial direct current stimulation on pre-competitive cognitive performance and anxiety in collegiate athletes: a randomized controlled trial. Scientific Reports. 15(1). 9041–9041.

Bornholt, James, et al.. (2021). Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. Repository for Publications and Research Data (ETH Zurich). 836–850. 26 indexed citations

Groce, Alex, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, & Ru-Gang Xu. (2014). Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning. Annals of Mathematics and Artificial Intelligence. 70(4). 315–349. 19 indexed citations

Joshi, Rajeev & Andreas Podelski. (2012). Verified Software: Theories, Tools, Experiments. Lecture notes in computer science. 1 indexed citations

Havelund, Klaus, et al.. (2011). Proceedings of the Third international conference on NASA Formal methods. 1 indexed citations

Holzmann, Gerard J., Rajeev Joshi, & Alex Groce. (2010). Swarm Verification Techniques. IEEE Transactions on Software Engineering. 37(6). 845–857. 46 indexed citations

Joshi, Rajeev, Tiziana Margaria, Péter Müller, David A. Naumann, & Hongseok Yang. (2010). VSTTE 2010 workshop proceedings. Repository for Publications and Research Data (ETH Zurich). 676. 1. 1 indexed citations

Groce, Alex & Rajeev Joshi. (2008). Exploiting traces in static program analysis: better model checking through $${{\tt printf}}$$ s. International Journal on Software Tools for Technology Transfer. 10(2). 131–144. 1 indexed citations

Holzmann, Gerard J., Rajeev Joshi, & Alex Groce. (2008). Model driven code checking. Automated Software Engineering. 15(3-4). 283–297. 18 indexed citations

10.

Joshi, Rajeev & Gerard J. Holzmann. (2007). A mini challenge: build a verifiable filesystem. Formal Aspects of Computing. 19(2). 269–272. 43 indexed citations

11.

Groce, Alex, Gerard J. Holzmann, & Rajeev Joshi. (2007). Randomized Differential Testing as a Prelude to Formal Verification. 621–631. 94 indexed citations

12.

Joshi, Rajeev, Greg Nelson, & Y. Zhou. (2006). Denali. ACM Transactions on Programming Languages and Systems. 28(6). 967–989. 27 indexed citations

13.

Holzmann, Gerard J., Rajeev Joshi, & Alex Groce. (2006). New Challenges in Model Checking. 1 indexed citations

14.

Sharma, Naveen Kumar, et al.. (2006). Applicability of Weyuker's Property 9 to object oriented metrics. IEEE Transactions on Software Engineering. 32(3). 209–211. 18 indexed citations

15.

Joshi, Rajeev & Gerard J. Holzmann. (2005). A mini grand challenge: build a verifiable filesystem. 1 indexed citations

16.

Joshi, Rajeev, Greg Nelson, & Keith H. Randall. (2002). Denali. ACM SIGPLAN Notices. 37(5). 304–314. 19 indexed citations

17.

Alvisi, Lorenzo, Rajeev Joshi, Chia-Ying Lin, & Jayadev Misra. (2002). Seuss: what the doctor ordered. 2. 284–290.

18.

Flanagan, Cormac, Rajeev Joshi, & K. Rustan M. Leino. (2001). Annotation inference for modular checkers. Information Processing Letters. 77(2-4). 97–108. 38 indexed citations

19.

Joshi, Rajeev & K. Rustan M. Leino. (2000). A semantic approach to secure information flow. Science of Computer Programming. 37(1-3). 113–138. 79 indexed citations

20.

Joshi, Rajeev & Jayadev Misra. (2000). Toward a theory of maximally concurrent programs (shortened version). 3. 319–328. 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact