Arie Gurfinkel

40 papers and 345 indexed citations i.

Arie Gurfinkel has authored 40 papers that have received a total of 345 indexed citations. This includes 37 papers in Computational Theory and Mathematics, 24 papers in Software and 21 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (37 papers), Software Testing and Debugging Techniques (19 papers) and Logic, programming, and type systems (17 papers). Arie Gurfinkel is often cited by papers focused on Formal Methods in Verification (37 papers), Software Testing and Debugging Techniques (19 papers) and Logic, programming, and type systems (17 papers) and collaborates with scholars based in United States, Canada and Israel. Arie Gurfinkel's co-authors include Marsha Chećhik, Aws Albarghouthi, Sagar Chaki, Ofer Strichman and Benet Devereux and has published in prestigious journals such as IEEE Transactions on Software Engineering, Lecture notes in computer science and ACM SIGPLAN Notices