James J. Leifer
About
James J. Leifer has authored 9 papers that have received a total of 118 indexed citations.
This includes 7 papers in Artificial Intelligence, 5 papers in Computer Networks and Communications and 3 papers in Hardware and Architecture. The topics of these papers are Security and Verification in Computing (6 papers), Logic, programming, and type systems (4 papers) and Cryptography and Data Security (3 papers). James J. Leifer is often cited by papers focused on Security and Verification in Computing (6 papers), Logic, programming, and type systems (4 papers) and Cryptography and Data Security (3 papers) and collaborates with scholars based in France, United Kingdom and United States. James J. Leifer's co-authors include Ricardo Corin, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Malo Deniélou and Peter Sewell and has published in prestigious journals such as ACM SIGPLAN Notices, Journal of Computer Security and Journal of Functional Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Gail Raney Fleischaker are published in Top journals papers by Catherine Becht are published in Top authors papers by V. A. Fawcett are co-authored with Top countries impacted by papers by I. Altraif Top countries impacted by papers by Ann Kussmaul Top fields papers by Antoniya Dimova are about Top fields papers by Stefano Colopi are about Top countries impacted by papers by Gerry Kolaitis