Adithya Murali
About
Adithya Murali has authored 10 papers that have received a total of 374 indexed citations.
This includes 6 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 3 papers in Molecular Biology. The topics of these papers are Formal Methods in Verification (4 papers), Logic, programming, and type systems (4 papers) and Logic, Reasoning, and Knowledge (3 papers). Adithya Murali is often cited by papers focused on Formal Methods in Verification (4 papers), Logic, programming, and type systems (4 papers) and Logic, Reasoning, and Knowledge (3 papers) and collaborates with scholars based in United States, Germany and India. Adithya Murali's co-authors include P. Madhusudan, Jeremy P. Koelmel, Yevgeniy V. Kalinin, David H. Gracias and Roland H. C. Yap and has published in prestigious journals such as RSC Advances, Physica A Statistical Mechanics and its Applications and Microbiome
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by S. V. Bilichenko are co-authored with Top fields papers by Moe Okada are about Top countries impacted by papers by William Lo Top authors papers by K. S. Shiny are co-authored with Top countries impacted by papers by Markku S. Nieminen Top authors papers by Hepeng Zhu are co-authored with Top countries impacted by papers by Jennifer Geraci Top journals papers by Cynthia Castillo are published in