David MacQueen

7.6k total citations · 2 hit papers
59 papers, 4.1k citations indexed

About

David MacQueen is a scholar working on Artificial Intelligence, Materials Chemistry and Computational Theory and Mathematics. According to data from OpenAlex, David MacQueen has authored 59 papers receiving a total of 4.1k indexed citations (citations by other indexed papers that have themselves been cited), including 24 papers in Artificial Intelligence, 12 papers in Materials Chemistry and 11 papers in Computational Theory and Mathematics. Recurrent topics in David MacQueen's work include Logic, programming, and type systems (22 papers), Parallel Computing and Optimization Techniques (10 papers) and Formal Methods in Verification (8 papers). David MacQueen is often cited by papers focused on Logic, programming, and type systems (22 papers), Parallel Computing and Optimization Techniques (10 papers) and Formal Methods in Verification (8 papers). David MacQueen collaborates with scholars based in United States, United Kingdom and Germany. David MacQueen's co-authors include Robert Harper, Robin Milner, Mads Tofte, Kirk S. Schanze, Ravi Sethi, Donald Sannella, R. M. Burstall, Gordon Plotkin, Yigal D. Blum and Thomas A. Perkins and has published in prestigious journals such as Journal of the American Chemical Society, Chemistry of Materials and The Journal of Physical Chemistry B.

In The Last Decade

David MacQueen

58 papers receiving 3.6k citations

Hit Papers

The Definition of Standard ML 1997 2026 2006 2016 1997 1997 250 500 750 1000

Peers

David MacQueen
Comparison fields: 5 of 141
  • Artificial Intelligence 2.3k
  • Computational Theory and Mathematics 1.3k
  • Materials Chemistry 735
  • Hardware and Architecture 712
  • Computer Networks and Communications 561
Replace William R. Cook with:
William R. Cook United States
Conor Madigan United States
Han Lee Taiwan
David Walker United Kingdom
William Y. Chen United States
Ki‐Young Choi South Korea
Ralph C. Merkle United States
Sheng Yü Canada
Bernard Lang France
Robert Godin Canada
William R. Cook United States View profile →
Citations per field, relative to David MacQueen
David MacQueen · 1×
Citations per year, relative to David MacQueen
David MacQueen · 1×

Countries citing papers authored by David MacQueen

Since Specialization
Citations

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

Fields of papers citing papers by David MacQueen

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of David MacQueen

This figure shows the co-authorship network connecting the top 25 collaborators of David MacQueen. A scholar is included among the top collaborators of David MacQueen 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 David MacQueen. David MacQueen is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
# Work Indexed citations
1
Computationally Efficient Models of Flow-through Affinity-ba sed Assays
1
2
Evolution of C-rich SiOC ceramics. Part I. Characterization by Integral Spectroscopic Techniques : Electron Energy-Loss Spectroscopy, High Resolution TEM and Energy-Filtered TEM
1
3 125
4 3
5 231
6
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
14
7
The Definition of Standard ML (Revised) breakdown →
594
8 28
9 2
10 38
11 76
12
A higher-order type system for functional programming
4
13 2
14 114
15 12
16 169
17
Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings
2
18 71
19
Proc. of the international symposium on Semantics of data types
1
20 201

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

Rankless by CCL
2026