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 fields papers by Wolfgang Kilger are about Top journals papers by T.C. Nicholas Graham are published in Top authors papers by Berwyn Clayton are co-authored with Top fields papers by Graham Spencer are about Top countries impacted by papers by John Abbott Top journals papers by Chad M. Bauman are published in Top journals papers by Mateus H. Gouveia are published in Top authors papers by Māris Laiviņš are co-authored with