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 authors papers by Ali Ben Ahmed are co-authored with Top fields papers by Jin‐Cherng Sheu are about Top journals papers by Wen‐Chuan Kuo are published in Top journals papers by Jayanta Kumar Ghosh are published in Top fields papers by Xin Yi are about Top fields papers by K. E. Rehm are about Top fields papers by Tai Yeon Koo are about Top fields papers by Joachim Firl are about