Prasanna Thati
About
Prasanna Thati has authored 5 papers that have received a total of 103 indexed citations.
This includes 5 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 1 paper in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (5 papers), Logic, programming, and type systems (4 papers) and Logic, Reasoning, and Knowledge (2 papers). Prasanna Thati is often cited by papers focused on Formal Methods in Verification (5 papers), Logic, programming, and type systems (4 papers) and Logic, Reasoning, and Knowledge (2 papers) and collaborates with scholars based in United States and Spain. Prasanna Thati's co-authors include José Meseguer, Grigore Roşu, Koushik Sen, Santiago Escobar and Narciso Martı́-Oliet and has published in prestigious journals such as Theoretical Computer Science and Electronic Notes in Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Gábor Grézal are published in Top journals papers by Árpád Bálind are published in Top countries impacted by papers by Joana G. Marques Top fields papers by Lynne Hansen are about Top fields papers by P. Mosrin are about Top fields papers by Jade King are about Top fields papers by Dakshitha Wickramasinghe are about Top authors papers by Hans-Jakob Steiger are co-authored with