John D. Ramsdell
About
John D. Ramsdell has authored 8 papers that have received a total of 132 indexed citations.
This includes 6 papers in Artificial Intelligence, 3 papers in Computational Theory and Mathematics and 3 papers in Signal Processing. The topics of these papers are Security and Verification in Computing (3 papers), Logic, programming, and type systems (3 papers) and Advanced Malware Detection Techniques (3 papers). John D. Ramsdell is often cited by papers focused on Security and Verification in Computing (3 papers), Logic, programming, and type systems (3 papers) and Advanced Malware Detection Techniques (3 papers) and collaborates with scholars based in United States. John D. Ramsdell's co-authors include Joshua D. Guttman, Peter Loscocco, Amy L. Herzog, Garry N. Newsam and William M. Farmer and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and Journal of Automated Reasoning.
In The Last Decade
side by side view
Countries citing papers authored by John D. Ramsdell
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Júlia Pázmándi Breakdown of academic impact, for papers by Galina Garnaga Breakdown of academic impact, for papers by G. Randisi Breakdown of academic impact, for papers by Huaijin Chen Breakdown of academic impact, for papers by Hung Nguyen-Schäfer Breakdown of academic impact, for papers by Kenichi Imai Breakdown of academic impact, for papers by Chineme Henry Anyabolu Breakdown of academic impact, for papers by K. I. Hahn