Sayan Mitra

58 papers and 713 indexed citations i.

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