Nachum Dershowitz
About
Nachum Dershowitz has authored 120 papers that have received a total of 1.7k indexed citations.
This includes 72 papers in Artificial Intelligence, 56 papers in Computational Theory and Mathematics and 15 papers in Computer Vision and Pattern Recognition. The topics of these papers are Logic, programming, and type systems (42 papers), Logic, Reasoning, and Knowledge (31 papers) and Formal Methods in Verification (28 papers). Nachum Dershowitz is often cited by papers focused on Logic, programming, and type systems (42 papers), Logic, Reasoning, and Knowledge (31 papers) and Formal Methods in Verification (28 papers) and collaborates with scholars based in Israel, United States and France. Nachum Dershowitz's co-authors include Lior Wolf, Leo Bachmair, Zohar Manna, Shmuel Zaks and Yaacov Choueka and has published in prestigious journals such as PLoS ONE, Communications of the ACM and International Journal of Computer Vision.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Jinsheng Sun Breakdown of academic impact, for papers by Eric D. Salin Breakdown of academic impact, for papers by S. Kimura Breakdown of academic impact, for papers by Jianzhu Liu Breakdown of academic impact, for papers by A. Klöpperpieper Breakdown of academic impact, for papers by T.R. Ophel Breakdown of academic impact, for papers by Pedro Alves d’Azevedo Breakdown of academic impact, for papers by Christophe Meyer