Richard Frost

24 papers and 147 indexed citations i.

About

Richard Frost has authored 24 papers that have received a total of 147 indexed citations. This includes 19 papers in Artificial Intelligence, 6 papers in Computer Networks and Communications and 6 papers in Computational Theory and Mathematics. The topics of these papers are Logic, Reasoning, and Knowledge (8 papers), Logic, programming, and type systems (8 papers) and Advanced Database Systems and Queries (5 papers). Richard Frost is often cited by papers focused on Logic, Reasoning, and Knowledge (8 papers), Logic, programming, and type systems (8 papers) and Advanced Database Systems and Queries (5 papers) and collaborates with scholars based in Canada, United Kingdom and United States. Richard Frost's co-authors include John Launchbury, Louise Manning, G.A. Jullien, William C. Miller and Akshai Aggarwal and has published in prestigious journals such as Communications of the ACM, IEEE Communications Surveys & Tutorials and ACM Computing Surveys

In The Last Decade

Rankless by CCL
2025