Sanjai Narain

16 papers and 102 indexed citations i.

About

Sanjai Narain has authored 16 papers that have received a total of 102 indexed citations. This includes 10 papers in Artificial Intelligence, 7 papers in Computer Networks and Communications and 7 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (4 papers), Software System Performance and Reliability (4 papers) and Simulation Techniques and Applications (4 papers). Sanjai Narain is often cited by papers focused on Formal Methods in Verification (4 papers), Software System Performance and Reliability (4 papers) and Simulation Techniques and Applications (4 papers) and collaborates with scholars based in United States. Sanjai Narain's co-authors include Xiaohu Qie, David McArthur, Stephanie Cammarata, Philip Klahr and Jorge Pastor and has published in prestigious journals such as IEEE Network, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and IEEE Software

In The Last Decade

Rankless by CCL
2025