Mandayam Srivas
About
Mandayam Srivas has authored 19 papers that have received a total of 106 indexed citations.
This includes 13 papers in Computational Theory and Mathematics, 10 papers in Artificial Intelligence and 7 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (13 papers), Logic, programming, and type systems (10 papers) and Embedded Systems Design Techniques (5 papers). Mandayam Srivas is often cited by papers focused on Formal Methods in Verification (13 papers), Logic, programming, and type systems (10 papers) and Embedded Systems Design Techniques (5 papers) and collaborates with scholars based in United States, India and Germany. Mandayam Srivas's co-authors include Daniel Kroening, Mukund Thattai, Björn Wachter, Mark Bickford and Ganesh Gopalakrishnan and has published in prestigious journals such as PLoS ONE, Theoretical Computer Science and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Miti Ruchanurucks are co-authored with Top journals papers by Misa Shimpo are published in Top countries impacted by papers by Fernanda Santos-Silva Top authors papers by Peter Sullivan are co-authored with Top fields papers by Xiaohua Shi are about Top fields papers by Demet Aydın are about Top journals papers by Aurélien Max are published in Top fields papers by Carlos J. Alonso are about