Andy Gill

695 citations
32 papers · 290 · h-index 11

Impact in

  • Software top 5%
    • Software Testing and Debugging Techniques
    • Model-Driven Software Engineering Techniques
    • Parallel Computing and Optimization Techniques
    • Embedded Systems Design Techniques

Papers in

Andy Gill

29 papers receiving 275 citations

Peers

Andy Gill
Comparison fields: 5 of 29
  • Software 78
  • Hardware and Architecture 137
  • Artificial Intelligence 222
  • Computational Theory and Mathematics 103
  • Information Systems 63
Replace Ross Tate with:
Ross Tate United States
Huu Hai Nguyen Singapore
Ryan Culpepper United States
Keith Wansbrough United Kingdom
John Plevyak United States
Steffen Jost Germany
C. Barry Jay Australia
Mark Shields United States
Miguel Gómez‐Zamalloa Spain
Mohamed Faouzi Atig Sweden
Andy Gill relative to Ross Tate United States Ross Tate's profile →
Citations per field
00.5×1.5×
Ross Tate · 1×
Citations per year

Countries citing papers authored by Andy Gill

Since Specialization
Citations

This map shows the geographic impact of Andy Gill'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 Andy Gill with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Andy Gill more than expected).

Fields of papers citing papers by Andy Gill

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Andy Gill. 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 Andy Gill. The network helps show where Andy Gill may publish in the future.

Co-authors

The 15 scholars most cited alongside Andy Gill, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Andy Gill Line = papers co-authored together Andy Gill links everyone, so they are left out of the graph.

All Works

20 of 20 papers shown

Showing the 20 most-cited of 32 papers — load more, or switch the sort, to bring in the rest.

#Work
1 200946
2 200930
3 200725
4 201322
5 201219
6
The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language.
201218
7 201417
8 201013
9 200712
10 200610
11 201410
12
Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
20098
13 20147
14 20177
15 20146
16 20156
17 20116
18 20114
19 20114
20 20123

About Andy Gill

Andy Gill is a scholar working on Artificial Intelligence, Hardware and Architecture, Information Systems, Computational Theory and Mathematics and Software, having authored 32 papers that have together received 290 indexed citations. Recurring topics across this work include Logic, programming, and type systems (21 papers), Parallel Computing and Optimization Techniques (16 papers), Formal Methods in Verification (8 papers), Software Engineering Research (7 papers), Embedded Systems Design Techniques (4 papers), Model-Driven Software Engineering Techniques (4 papers), Radiation Effects in Electronics (3 papers) and Advanced Software Engineering Methodologies (3 papers). The work is most often cited by research in Software (78 citations), Hardware and Architecture (137 citations), Artificial Intelligence (222 citations), Computational Theory and Mathematics (103 citations) and Information Systems (63 citations). Andy Gill has collaborated with scholars based in United States, United Kingdom and Netherlands. Frequent co-authors include Andrew Farmer, Graham Hutton, Colin Runciman, Ed Komp, Terrance Swift, Bernard J. Pope, J.L. Iborra, Simon Marlow, Christian Höner zu Siederdissen and Jurriaan Hage. Their work appears in journals such as ACM SIGPLAN Notices, Journal of Functional Programming, LISP and Symbolic Computation, Queue and Communications of the ACM.

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.

Explore authors with similar magnitude of impact