Randy Pollack

13 papers and 191 indexed citations i.

About

Randy Pollack has authored 13 papers that have received a total of 191 indexed citations. This includes 13 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 4 papers in Signal Processing. The topics of these papers are Logic, Reasoning, and Knowledge (7 papers), Logic, programming, and type systems (7 papers) and Advanced Malware Detection Techniques (4 papers). Randy Pollack is often cited by papers focused on Logic, Reasoning, and Knowledge (7 papers), Logic, programming, and type systems (7 papers) and Advanced Malware Detection Techniques (4 papers) and collaborates with scholars based in United States, United Kingdom and Japan. Randy Pollack's co-authors include Benjamin C. Pierce, André DeHon, Masahiko Sato, David Pichardie and Cătălin Hriţcu and has published in prestigious journals such as SAE technical papers on CD-ROM/SAE technical paper series, ACM SIGPLAN Notices and Journal of Symbolic Computation

In The Last Decade

Rankless by CCL
2025