Priyank Kalla

39 papers and 330 indexed citations i.

Priyank Kalla has authored 39 papers that have received a total of 330 indexed citations. This includes 28 papers in Computational Theory and Mathematics, 19 papers in Hardware and Architecture and 14 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (27 papers), Embedded Systems Design Techniques (10 papers) and VLSI and Analog Circuit Testing (8 papers). Priyank Kalla is often cited by papers focused on Formal Methods in Verification (27 papers), Embedded Systems Design Techniques (10 papers) and VLSI and Analog Circuit Testing (8 papers) and collaborates with scholars based in United States, France and Sweden. Priyank Kalla's co-authors include Florian Enescu, Maciej Ciesielski, Steve Blair, Zhihong Zeng and Steven P. Levitan and has published in prestigious journals such as IEEE Transactions on Computers, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and IEEE Transactions on Very Large Scale Integration (VLSI) Systems