Jim Davies
Impact in
- Software top 1%
- Model-Driven Software Engineering Techniques
- Software Testing and Debugging Techniques
-
- Formal Methods in Verification
Papers in
- Software 17
- Model-Driven Software Engineering Techniques 16
-
- Scientific Computing and Data Management 17
- Co-authors
- Jim WoodcockSteve SchneiderJames WelchCharles CrichtonJeremy GibbonsKrishnarajah NirantharakumarAshley AkbariIris Ho
- Journals
- Science of Computer Programming (4 papers)Formal Aspects of Computing (3 papers)IEEE Transactions on Visualization and Computer Graphics (2 papers)BMJ Open (2 papers)BMC Medicine (2 papers)
- Partner nations
- United KingdomUnited StatesSwitzerland
In The Last Decade
Jim Davies
112 papers receiving 2.1k citations
Hit Papers
Peers
Comparison fields: 5 of 165
- Software 401
- Computational Theory and Mathematics 459
- Artificial Intelligence 695
- Health Information Management 92
- Hardware and Architecture 126
Countries citing papers authored by Jim Davies
This map shows the geographic impact of Jim Davies's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Jim Davies with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jim Davies more than expected).
Fields of papers citing papers by Jim Davies
This network shows the impact of papers produced by Jim Davies. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Jim Davies. The network helps show where Jim Davies may publish in the future.
Co-authors
The 25 scholars most cited alongside Jim Davies, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2025 | 1 | |
| 2 | 2024 | 5 | |
| 3 | 2024 | 2 | |
| 4 | 2023 | 1 | |
| 5 | 2022 | 91 | |
| 6 | 2022 | 88 | |
| 7 | 2022 | 12 | |
| 8 | 2021 | 6 | |
| 9 | 2020 | 10 | |
| 10 | 2019 | 23 | |
| 11 | 2019 | 16 | |
| 12 | 2017 | 5 | |
| 13 | Specification and verification of model-driven data migration | 2011 | 1 |
| 14 | Foreword, 4th International Conference on Theory and Practice of Electronic Governance, ICEGOV2010, Beijing, China, 25-28 October 2010 | 2010 | 1 |
| 15 | Proceedings of the 3rd international conference on Theory and practice of electronic governance | 2009 | 5 |
| 16 | Accelerating Cancer Research Using Semantics−Driven Technology | 2008 | 2 |
| 17 | FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings | 1999 | 3 |
| 18 | 1995 | 95 | |
| 19 | Verifying sequentially consistent memory | 1994 | 2 |
| 20 | 1991 | 38 |
About Jim Davies
Jim Davies is a scholar working on Software, Information Systems and Management, Computational Theory and Mathematics, Information Systems and Management Information Systems, having authored 115 papers that have together received 2.2k indexed citations. Recurring topics across this work include Formal Methods in Verification (18 papers), Scientific Computing and Data Management (17 papers), Model-Driven Software Engineering Techniques (16 papers), Service-Oriented Architecture and Web Services (14 papers), Advanced Software Engineering Methodologies (11 papers), Semantic Web and Ontologies (10 papers), Business Process Modeling and Analysis (10 papers) and E-Government and Public Services (7 papers). The work is most often cited by research in Software (401 citations), Computational Theory and Mathematics (459 citations), Artificial Intelligence (695 citations), Health Information Management (92 citations) and Hardware and Architecture (126 citations). Jim Davies has collaborated with scholars based in United Kingdom, United States and Switzerland. Frequent co-authors include Jim Woodcock, Steve Schneider, James Welch, Charles Crichton, Jeremy Gibbons, Krishnarajah Nirantharakumar, Ashley Akbari, Iris Ho, Stewart W Mercer and Colin McCowan. Their work appears in journals such as Science of Computer Programming, Formal Aspects of Computing, IEEE Transactions on Visualization and Computer Graphics, BMJ Open and BMC Medicine.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.