Kousha Etessami
About
Kousha Etessami has authored 44 papers that have received a total of 1.1k indexed citations.
This includes 31 papers in Computational Theory and Mathematics, 25 papers in Artificial Intelligence and 10 papers in Software. The topics of these papers are Formal Methods in Verification (24 papers), semigroups and automata theory (10 papers) and Logic, programming, and type systems (10 papers). Kousha Etessami is often cited by papers focused on Formal Methods in Verification (24 papers), semigroups and automata theory (10 papers) and Logic, programming, and type systems (10 papers) and collaborates with scholars based in United Kingdom, United States and Germany. Kousha Etessami's co-authors include Mihalis Yannakakis, Rajeev Alur, Neil Immerman, Dominik Wojtczak and Václav Brožek and has published in prestigious journals such as Journal of the ACM, IEEE Transactions on Software Engineering and SIAM Journal on Computing
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Sónia Gomes are about Top authors papers by Pia Reittner are co-authored with Top countries impacted by papers by A. Ramachandra Rao Top journals papers by Perry A. Ball are published in Top journals papers by Philippe Hellard are published in Top countries impacted by papers by D. S. MacMillan Top countries impacted by papers by Yuriy Shoshin Top authors papers by Narayanan Madaboosi are co-authored with