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
Top authors papers by V. Chudoba are co-authored with Top countries impacted by papers by G. Linsley Top countries impacted by papers by Fang Yi Top countries impacted by papers by Sebastian Varges Top authors papers by Mohan Li are co-authored with Top authors papers by David Blumenfeld are co-authored with Top countries impacted by papers by Maimoona Hafeez Top countries impacted by papers by Ladislav Šimák