Mooly Sagiv
About
Mooly Sagiv has authored 135 papers that have received a total of 2.2k indexed citations.
This includes 69 papers in Artificial Intelligence, 47 papers in Computational Theory and Mathematics and 33 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (54 papers), Formal Methods in Verification (44 papers) and Sperm and Testicular Function (26 papers). Mooly Sagiv is often cited by papers focused on Logic, programming, and type systems (54 papers), Formal Methods in Verification (44 papers) and Sperm and Testicular Function (26 papers) and collaborates with scholars based in Israel, United States and Germany. Mooly Sagiv's co-authors include Thomas Reps, R. Singer, D. Allalouf, C Servadio and E Segenreich and has published in prestigious journals such as British Journal of Cancer, Communications of the ACM and Journal of the ACM
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Jinjun Shan Top fields papers by Cameron D. Siler are about Top authors papers by Shuyuan Li are co-authored with Top authors papers by Berthold Scholtes are co-authored with Top authors papers by Zeyu Wang are co-authored with Top fields papers by Yang Zhao are about Top fields papers by Peijian Shi are about Top authors papers by Shanshan Wang are co-authored with