Sayan Mitra
About
Sayan Mitra has authored 58 papers that have received a total of 713 indexed citations.
This includes 36 papers in Computational Theory and Mathematics, 16 papers in Software and 15 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (36 papers), Software Testing and Debugging Techniques (9 papers) and Real-time simulation and control systems (8 papers). Sayan Mitra is often cited by papers focused on Formal Methods in Verification (36 papers), Software Testing and Debugging Techniques (9 papers) and Real-time simulation and control systems (8 papers) and collaborates with scholars based in United States, Germany and France. Sayan Mitra's co-authors include Chuchu Fan, Zhenqi Huang, Nancy Lynch, Mahesh Viswanathan and Geir E. Dullerud and has published in prestigious journals such as IEEE Transactions on Automatic Control, Proceedings of the IEEE and Computer
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Dimitris Skalkos are about Top authors papers by Christina A. Rostad are co-authored with Top fields papers by Shengli Liu are about Top countries impacted by papers by R. C. C. Ward Top journals papers by Scott N. Oishi are published in Top fields papers by Nadia Lehoux are about Top fields papers by Lan Wang are about Top journals papers by Aritsune Uchida are published in