Rajdeep Mukherjee
7Patents
2h-index
14Co-inventors
40Inventor score
Filing activity: Sep 20, 2017 → Sep 30, 2021
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US11586437B1 | Data flow tracking in program verification | Physics | 5 | Active |
| US11914993B1 | Example-based synthesis of rules for detecting violations of software coding practices | Physics | 3 | Active |
| US12118350B1 | Hierarchical clustering for coding practice discovery | Physics | 2 | Active |
| US10789404B1 | System, method, and computer program product for generating a formal verification model | Physics | 1 | Active |
| US10984161B1 | System, method, and computer program product for sequential equivalence checking in formal verification | Physics | 1 | Active |
| US10983758B1 | System, method, and computer program product for automatically inferring case-split hints in equivalence checking of an electronic design | Physics | 1 | Active |
| US10970449B2 | Learning framework for software-hardware model generation and verification | Physics | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.