Nirav Dave
Active 2004–2023
- Affiliations
- Massachusetts Institute of TechnologyThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- 20
- Papers
- 454
- Citations
- 13
- h-index
- 14
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science90%
- Engineering8.2%
- Biochemistry, Genetics and Molecular Biology0.4%
- Decision Sciences0.4%
- Environmental Science0.4%
- Materials Science0.4%
- Other0.4%
Topics
- Embedded Systems Design Techniques22.5%
- Parallel Computing and Optimization Techniques20.3%
- Interconnection Networks and Systems11.8%
- Formal Methods in Verification10.6%
- Software Testing and Debugging Techniques4.3%
- Logic, programming, and type systems4%
- Other26.5%
Frequent coauthors
- Arvind 000112
- Muralidaran Vijayaraghavan5
- Man Cheuk Ng4
- Michael Pellauer4
- Myron King4
- Gopal Raghavan3
- Kermin Fleming3
- Asif Khan 00052
- Jamey Hicks2
- Michael Katelman2
- Richard Uhler2
- Abhinav Agarwal1
- Adam Chlipala1
- Ang Li 00061
- Antonino Tumeo1
- Cheng Tan 00021
- Chun-Chieh Lin1
- Daniel L. Rosenband1
- José Meseguer 00011
- Nicolas Bohm Agostini1
- Rishiyur S. Nikhil1
- S. Gerding1
- Teemu Pitkänen1
- Tong Geng1
All papers
Loading papers…
