Ohad Kammar
About
Ohad Kammar has authored 14 papers that have received a total of 138 indexed citations.
This includes 14 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 4 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (11 papers), Logic, Reasoning, and Knowledge (8 papers) and Formal Methods in Verification (3 papers). Ohad Kammar is often cited by papers focused on Logic, programming, and type systems (11 papers), Logic, Reasoning, and Knowledge (8 papers) and Formal Methods in Verification (3 papers) and collaborates with scholars based in United Kingdom, Germany and Slovenia. Ohad Kammar's co-authors include Sam Staton, Matija Pretnar, Sam Lindley, Yannick Forster and Chris Heunen and has published in prestigious journals such as ACM SIGPLAN Notices, Journal of Functional Programming and Electronic Notes in Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by James B. Palais are co-authored with Top fields papers by Jorge Figueroa are about Top journals papers by Adrián Sanz‐Moreno are published in Top fields papers by Nicholas D. Kristof are about Top fields papers by B. Escoubès are about Top fields papers by Adhish Agarwal are about Top fields papers by S.R. Peterson are about Top authors papers by Dorothy Whitelock are co-authored with