Manish Vachharajani

20 papers and 509 indexed citations i.

Manish Vachharajani has authored 20 papers that have received a total of 509 indexed citations. This includes 12 papers in Hardware and Architecture, 4 papers in Electrical and Electronic Engineering and 4 papers in Artificial Intelligence. The topics of these papers are Parallel Computing and Optimization Techniques (9 papers), Embedded Systems Design Techniques (8 papers) and Formal Methods in Verification (4 papers). Manish Vachharajani is often cited by papers focused on Parallel Computing and Optimization Techniques (9 papers), Embedded Systems Design Techniques (8 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in United States and China. Manish Vachharajani's co-authors include Neil Vachharajani, David I. August, Jason Blome, Moustafa Mohamed and David A. Penry and has published in prestigious journals such as IEEE Transactions on Parallel and Distributed Systems, ACM SIGPLAN Notices and ACM Transactions on Computer Systems.