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 journals papers by Jin‐Cherng Sheu are published in Top fields papers by S. P. Duggal are about Top countries impacted by papers by Takao Hara Top countries impacted by papers by João Eduardo Ferreira Top countries impacted by papers by Hongzhou Chen Top fields papers by Mengjie Wu are about Top authors papers by Takao Kozakai are co-authored with Top journals papers by Cooper Dk are published in