Statistics
Publications
10
Citations
291
H-Index
10
Active since
2013
Affiliations
Rajdeep Mukherjee is an author at Indian Institute of Technology Kharagpur specializing in computer science, formal methods, and verification.
Publications per year
2013–2022
10
10
Rajdeep Mukherjee, Tapas Nayak, Yash Butala et al. · Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing · 2021 · 54 citations · Full text
Hardware Verification Using Software Analyzers
Rajdeep Mukherjee, Daniel Kroening, Tom Melham · 2015 · 50 citations
1–5 of 10