Akshay Rajhans

11 papers and 146 indexed citations i.

Akshay Rajhans has authored 11 papers that have received a total of 146 indexed citations. This includes 6 papers in Hardware and Architecture, 5 papers in Computational Theory and Mathematics and 4 papers in Control and Systems Engineering. The topics of these papers are Formal Methods in Verification (5 papers), Embedded Systems Design Techniques (4 papers) and VLSI and Analog Circuit Testing (3 papers). Akshay Rajhans is often cited by papers focused on Formal Methods in Verification (5 papers), Embedded Systems Design Techniques (4 papers) and VLSI and Analog Circuit Testing (3 papers) and collaborates with scholars based in United States, Germany and Italy. Akshay Rajhans's co-authors include Bruce H. Krogh, Larry Pileggi, Soner Yaldiz, Xin Li and Matthias Althoff and has published in prestigious journals such as IEEE Transactions on Automatic Control, Communications of the ACM and IEEE Transactions on Software Engineering