Sumith Kulal

6 papers and 27 indexed citations i.

Sumith Kulal has authored 6 papers that have received a total of 27 indexed citations. This includes 3 papers in Artificial Intelligence, 3 papers in Computer Vision and Pattern Recognition and 3 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (3 papers), Human Pose and Action Recognition (3 papers) and Logic, programming, and type systems (3 papers). Sumith Kulal is often cited by papers focused on Formal Methods in Verification (3 papers), Human Pose and Action Recognition (3 papers) and Logic, programming, and type systems (3 papers) and collaborates with scholars based in United States, India and Russia. Sumith Kulal's co-authors include Alex Aiken, Jiayuan Mao, Viktor Kunčak, Jiajun Wu and Tim Brooks and has published in prestigious journals such as ACM SIGPLAN Notices and Formal Methods in System Design