Jim Davies

68 papers and 1.0k indexed citations i.

Jim Davies has authored 68 papers that have received a total of 1.0k indexed citations. This includes 20 papers in Artificial Intelligence, 12 papers in Information Systems and 12 papers in Software. The topics of these papers are Model-Driven Software Engineering Techniques (11 papers), Formal Methods in Verification (10 papers) and Scientific Computing and Data Management (10 papers). Jim Davies is often cited by papers focused on Model-Driven Software Engineering Techniques (11 papers), Formal Methods in Verification (10 papers) and Scientific Computing and Data Management (10 papers) and collaborates with scholars based in United Kingdom, United States and Switzerland. Jim Davies's co-authors include Charles Crichton, Jeremy Gibbons, James Welch, Steve Harris and Kerrie Woods and has published in prestigious journals such as The Lancet, Diabetes Care and European Heart Journal