Richard F. Paige
About
Richard F. Paige has authored 12 papers that have received a total of 69 indexed citations.
This includes 6 papers in Artificial Intelligence, 6 papers in Software and 4 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (5 papers), Model-Driven Software Engineering Techniques (5 papers) and Formal Methods in Verification (4 papers). Richard F. Paige is often cited by papers focused on Logic, programming, and type systems (5 papers), Model-Driven Software Engineering Techniques (5 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in United Kingdom, Canada and Malaysia. Richard F. Paige's co-authors include Jonathan S. Ostroff, Jim Woodcock, Phillip J. Brooke, Robert B. France and Sebastian Erdweg and has published in prestigious journals such as Journal of Knowledge Management, Lecture notes in computer science and Formal Aspects of Computing.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Melania Cesarano Breakdown of academic impact, for papers by Ewa Jaźwińska−Tarnawska Breakdown of academic impact, for papers by Don C. Skemer Breakdown of academic impact, for papers by S. Greffe Breakdown of academic impact, for papers by Myisha Cherry Breakdown of academic impact, for papers by Seth Pree Breakdown of academic impact, for papers by Hetal Sarvaiya Breakdown of academic impact, for papers by Steven R. Brantley