Srinivas Pinisetty
About
Srinivas Pinisetty has authored 15 papers that have received a total of 104 indexed citations.
This includes 8 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 6 papers in Software. The topics of these papers are Formal Methods in Verification (8 papers), Software Testing and Debugging Techniques (6 papers) and Security and Verification in Computing (6 papers). Srinivas Pinisetty is often cited by papers focused on Formal Methods in Verification (8 papers), Software Testing and Debugging Techniques (6 papers) and Security and Verification in Computing (6 papers) and collaborates with scholars based in New Zealand, India and Finland. Srinivas Pinisetty's co-authors include Hervé Marchand, Ylìès Falcone, Thierry Jéron, Stavros Tripakis and Partha S. Roop and has published in prestigious journals such as IEEE Access, IEEE Transactions on Industrial Informatics and IEEE Transactions on Computers
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Dimitrios Letsios are co-authored with Top journals papers by Juan Raposo are published in Top journals papers by Robin Cormack are published in Top fields papers by Miriam Segal are about Top authors papers by Arthur Burns are co-authored with Top fields papers by Alexander B. Orfinger are about Top fields papers by Nickson Murunga are about Top fields papers by Hanqing Guo are about