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 fields papers by Axel Pelster are about Top journals papers by Limei Zheng are published in Top countries impacted by papers by Tibor Balázs Top authors papers by Barbara Mazer are co-authored with Top fields papers by B. Sulik are about Top authors papers by Alan N. Hodgson are co-authored with Top fields papers by Mikio Higuchi are about Top fields papers by Louise Keogh are about