R.S. Sreenivas

56 papers and 719 indexed citations i.

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