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 A. Danilina are co-authored with Top countries impacted by papers by An Zhang Top countries impacted by papers by Robert Adams Top authors papers by Amie J. Kent are co-authored with Top fields papers by Sicheng Wen are about Top authors papers by Maja Apelt are co-authored with Top journals papers by Keith Brawner are published in Top countries impacted by papers by George Fayvush