R.S. Sreenivas
About
R.S. Sreenivas has authored 56 papers that have received a total of 719 indexed citations.
This includes 31 papers in Computational Theory and Mathematics, 20 papers in Management Information Systems and 13 papers in Computer Networks and Communications. The topics of these papers are Petri Nets in System Modeling (30 papers), Formal Methods in Verification (26 papers) and Business Process Modeling and Analysis (19 papers). R.S. Sreenivas is often cited by papers focused on Petri Nets in System Modeling (30 papers), Formal Methods in Verification (26 papers) and Business Process Modeling and Analysis (19 papers) and collaborates with scholars based in United States, India and China. R.S. Sreenivas's co-authors include Ramakrishna Gummadi, Bruce H. Krogh, Christoforos N. Hadjicostis, Travis Kadylak and Wendy A. Rogers and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and European Journal of Operational Research
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Takahito Kitajima are published in Top countries impacted by papers by Hugo G. Nami Top countries impacted by papers by T. Olsson Top authors papers by Leif Rein Njaa are co-authored with Top countries impacted by papers by Servet Ebrinç Top countries impacted by papers by Hyang‐Tag Lim Top journals papers by Yifei Tong are published in Top authors papers by Yu‐Chen Hou are co-authored with