Rahul Mangharam

124 papers and 1.9k indexed citations i.

About

Rahul Mangharam has authored 124 papers that have received a total of 1.9k indexed citations. This includes 42 papers in Control and Systems Engineering, 34 papers in Computational Theory and Mathematics and 32 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (26 papers), Advanced Control Systems Optimization (21 papers) and Real-Time Systems Scheduling (19 papers). Rahul Mangharam is often cited by papers focused on Formal Methods in Verification (26 papers), Advanced Control Systems Optimization (21 papers) and Real-Time Systems Scheduling (19 papers) and collaborates with scholars based in United States, Canada and Italy. Rahul Mangharam's co-authors include Miroslav Pajić, Madhur Behl, George J. Pappas, Achin Jain and Truong X. Nghiem and has published in prestigious journals such as IEEE Transactions on Automatic Control, Proceedings of the IEEE and Applied Energy

In The Last Decade

Rankless by CCL
2025