Alan Mycroft

3.1k total citations
80 papers, 852 citations indexed

About

Alan Mycroft is a scholar working on Hardware and Architecture, Artificial Intelligence and Computer Networks and Communications. According to data from OpenAlex, Alan Mycroft has authored 80 papers receiving a total of 852 indexed citations (citations by other indexed papers that have themselves been cited), including 35 papers in Hardware and Architecture, 35 papers in Artificial Intelligence and 31 papers in Computer Networks and Communications. Recurrent topics in Alan Mycroft's work include Parallel Computing and Optimization Techniques (30 papers), Logic, programming, and type systems (20 papers) and Formal Methods in Verification (16 papers). Alan Mycroft is often cited by papers focused on Parallel Computing and Optimization Techniques (30 papers), Logic, programming, and type systems (20 papers) and Formal Methods in Verification (16 papers). Alan Mycroft collaborates with scholars based in United Kingdom, South Sudan and Iran. Alan Mycroft's co-authors include Neil D. Jones, Richard O’Keefe, Nicholas Nethercote, Cosmin E. Oancea, Raoul-Gabriel Urma, Dominic Orchard, Ross Anderson, Stephen K. Dolan, Maziar Goudarzi and Shaahin Hessabi and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Access and ACM Computing Surveys.

In The Last Decade

Alan Mycroft

73 papers receiving 758 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Alan Mycroft United Kingdom	15	491	293	283	271	256	80	852
David Chase United States	9	428 0.9×	424 1.4×	212 0.7×	310 1.1×	209 0.8×	14	798
Radu Rugina United States	16	516 1.1×	514 1.8×	168 0.6×	399 1.5×	222 0.9×	24	934
Andreas Rossberg Germany	14	559 1.1×	180 0.6×	198 0.7×	238 0.9×	191 0.7×	29	769
Konstantinos Sagonas Sweden	19	705 1.4×	383 1.3×	329 1.2×	503 1.9×	254 1.0×	111	1.2k
Liviu Tancau United States	7	297 0.6×	170 0.6×	217 0.8×	136 0.5×	228 0.9×	8	624
M. Blume United States	17	527 1.1×	222 0.8×	147 0.5×	182 0.7×	150 0.6×	43	698
Vugranam C. Sreedhar United States	13	577 1.2×	652 2.2×	160 0.6×	512 1.9×	235 0.9×	39	1.0k
Olivier Tardieu United States	17	246 0.5×	519 1.8×	163 0.6×	492 1.8×	333 1.3×	51	898
Olin Shivers United States	14	866 1.8×	502 1.7×	449 1.6×	317 1.2×	280 1.1×	55	1.1k
Thomas Dillig United States	14	452 0.9×	133 0.5×	178 0.6×	162 0.6×	349 1.4×	22	782

Countries citing papers authored by Alan Mycroft

Since Specialization

Citations

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

Fields of papers citing papers by Alan Mycroft

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Alan Mycroft

This figure shows the co-authorship network connecting the top 25 collaborators of Alan Mycroft. A scholar is included among the top collaborators of Alan Mycroft based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Alan Mycroft. Alan Mycroft is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Mycroft, Alan, et al.. (2018). Call-by-need effects via coeffects. Open Computer Science. 8(1). 93–108. 2 indexed citations

Dolan, Stephen K. & Alan Mycroft. (2017). Polymorphism, subtyping, and type inference in MLsub. ACM SIGPLAN Notices. 52(1). 60–72. 11 indexed citations

Urma, Raoul-Gabriel & Alan Mycroft. (2013). Source-code queries with graph databases—with application to programming language usage and evolution. Science of Computer Programming. 97. 127–134. 28 indexed citations

Thomsen, Bent, et al.. (2012). Schedulability Analysis Abstractions for Safety Critical Java. VBN Forskningsportal (Aalborg Universitet). 71–78. 1 indexed citations

Mycroft, Alan, et al.. (2011). Extending monads with pattern matching. 1–12. 3 indexed citations

Orchard, Dominic, et al.. (2010). Ypnos. Kent Academic Repository (University of Kent). 15–24. 21 indexed citations

Oancea, Cosmin E. & Alan Mycroft. (2007). A Lightweight Model for Software Thread-Level Speculation (TLS). International Conference on Parallel Architectures and Compilation Techniques. 419–419. 1 indexed citations

Mycroft, Alan, et al.. (2007). Choosing Method of the Most Effective Nested Loop Shearing for Parallelism. 1 indexed citations

Mycroft, Alan & Andreas Zeller. (2006). Compiler Construction : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings. Springer eBooks. 1 indexed citations

10.

Thompson, Sarah & Alan Mycroft. (2006). Abstract interpretation of combinational asynchronous circuits. Science of Computer Programming. 64(1). 166–183. 3 indexed citations

11.

Goudarzi, Maziar, Shaahin Hessabi, & Alan Mycroft. (2004). Overhead-free polymorphism in network-on-chip implementation of object-oriented models. Design, Automation, and Test in Europe. 2. 21380. 11 indexed citations

12.

Goudarzi, Maziar, et al.. (2004). Object-Oriented Embedded System Development Based on Synthesis and Reuse of OO-ASIPs. Zenodo (CERN European Organization for Nuclear Research). 10 indexed citations

13.

Goudarzi, Maziar, Shaahin Hessabi, & Alan Mycroft. (2003). Object-Oriented ASIP Design and Synthesis.. Forum on specification and Design Languages. 680–692. 11 indexed citations

14.

Madhavapeddy, Anil, Alan Mycroft, David J. Scott, & Richard R. Sharp. (2003). The Case for Abstracting Security Policies.. Security and Management. 156–160. 3 indexed citations

15.

Mycroft, Alan, et al.. (2003). Combined Code Motion and Register Allocation using the Value State Dependence Graph. 1 indexed citations

16.

Mycroft, Alan & Richard R. Sharp. (2001). Hardware Synthesis Using SAFL and Application to Processor Design (Invited Talk). Lecture notes in computer science. 13–39. 1 indexed citations

17.

Mycroft, Alan, Pierpaolo Degano, & Corrado Priami. (1995). Complexity as a basis for comparing semantic modelsof concurrency. Lecture notes in computer science. 1023. 141–155. 2 indexed citations

18.

Mycroft, Alan, et al.. (1995). Untyped strictness analysis. Journal of Functional Programming. 5(1). 37–49. 1 indexed citations

19.

Mycroft, Alan, et al.. (1992). Minimal Function Graphs are not Instrumented.. RUCforsk (Roskilde University). 60–67. 2 indexed citations

20.

Jones, Neil D. & Alan Mycroft. (1984). Stepwise Development of Operational and Denotational Semantics for Prolog.. 281–288. 44 indexed citations

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