Andrew W. Appel

11.0k total citations · 1 hit paper
148 papers, 5.8k citations indexed

About

Andrew W. Appel is a scholar working on Artificial Intelligence, Hardware and Architecture and Computational Theory and Mathematics. According to data from OpenAlex, Andrew W. Appel has authored 148 papers receiving a total of 5.8k indexed citations (citations by other indexed papers that have themselves been cited), including 118 papers in Artificial Intelligence, 65 papers in Hardware and Architecture and 58 papers in Computational Theory and Mathematics. Recurrent topics in Andrew W. Appel's work include Logic, programming, and type systems (98 papers), Parallel Computing and Optimization Techniques (64 papers) and Security and Verification in Computing (54 papers). Andrew W. Appel is often cited by papers focused on Logic, programming, and type systems (98 papers), Parallel Computing and Optimization Techniques (64 papers) and Security and Verification in Computing (54 papers). Andrew W. Appel collaborates with scholars based in United States, France and Singapore. Andrew W. Appel's co-authors include Zhong Shao, Lal George, Xinming Ou, Kai Li, Edward W. Felten, David McAllester, Jens Palsberg, Trevor Jim, Amy Felty and Andrew Tolmach and has published in prestigious journals such as Communications of the ACM, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

In The Last Decade

Andrew W. Appel

146 papers receiving 5.1k citations

Hit Papers

1 papers align trajectories

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Andrew W. Appel United States	41	3.8k	2.4k	2.1k	1.6k	1.0k	148	5.8k
Guy L. Steele United States	39	4.9k 1.3×	3.5k 1.4×	3.4k 1.6×	1.9k 1.2×	1.9k 1.8×	131	8.5k
Niklaus Wirth Switzerland	34	3.2k 0.8×	1.8k 0.7×	1.5k 0.7×	1.6k 1.0×	1.3k 1.2×	118	5.9k
Nancy Lynch United States	45	2.6k 0.7×	2.1k 0.9×	8.7k 4.2×	3.0k 1.9×	1.8k 1.7×	269	11.2k
C. A. R. Hoare United Kingdom	33	7.0k 1.8×	3.9k 1.6×	4.2k 2.0×	5.4k 3.5×	2.0k 1.9×	109	12.3k
David F. Bacon United States	30	1.2k 0.3×	2.3k 0.9×	1.9k 0.9×	296 0.2×	747 0.7×	120	3.6k
David Evans United States	43	3.0k 0.8×	362 0.2×	2.6k 1.2×	501 0.3×	1.5k 1.5×	169	7.1k
Robert Sedgewick United States	25	2.0k 0.5×	495 0.2×	1.1k 0.5×	1.1k 0.7×	432 0.4×	77	4.8k
Ravi Sethi United States	26	3.8k 1.0×	3.0k 1.2×	3.0k 1.5×	2.0k 1.3×	1.8k 1.7×	88	9.8k
Dexter Kozen United States	33	4.7k 1.2×	397 0.2×	1.2k 0.6×	4.4k 2.8×	434 0.4×	167	6.6k
Benjamin C. Pierce United States	41	5.8k 1.5×	949 0.4×	2.1k 1.0×	2.4k 1.5×	2.0k 1.9×	183	6.9k

Countries citing papers authored by Andrew W. Appel

Since Specialization

Citations

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

Fields of papers citing papers by Andrew W. Appel

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Andrew W. Appel

This figure shows the co-authorship network connecting the top 25 collaborators of Andrew W. Appel. A scholar is included among the top collaborators of Andrew W. Appel 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 Andrew W. Appel. Andrew W. Appel 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

1.

Appel, Andrew W., et al.. (2023). A Solver for Arrays with Concatenation. Journal of Automated Reasoning. 67(1). 2 indexed citations

2.

Appel, Andrew W. & Xavier Leroy. (2023). Efficient Extensional Binary Tries. Journal of Automated Reasoning. 67(1). 2 indexed citations

3.

Appel, Andrew W., Richard A. DeMillo, & Philip B. Stark. (2020). Ballot-Marking Devices Cannot Ensure the Will of the Voters. Election Law Journal Rules Politics and Policy. 19(3). 432–450. 11 indexed citations

4.

Appel, Andrew W., et al.. (2017). Shrink fast correctly!. 49–60. 8 indexed citations

5.

Appel, Andrew W.. (2012). Alan Turing's Systems of Logic: The Princeton Thesis. Princeton University Press eBooks. 3 indexed citations

6.

Ou, Xinming, et al.. (2005). MulVAL: a logic-based network security analyzer. USENIX Security Symposium. 8–8. 312 indexed citations

7.

Ahmed, Amal, et al.. (2003). An Indexed Model of Impredicative Polymorphism and Mutable References. 11(6). 330–7. 12 indexed citations

8.

Ahmed, Amal, et al.. (2002). A Stratified Semantics of General References A Stratified Semantics of General References.. 75. 3 indexed citations

9.

Gupta, Manish, et al.. (2002). Creating and preserving locality of java applications at allocation and garbage collection times. 13–13. 47 indexed citations

10.

Appel, Andrew W., et al.. (2001). Type-preserving garbage collectors. ACM SIGPLAN Notices. 36(3). 166–178. 3 indexed citations

11.

Appel, Andrew W. & Edward W. Felten. (2000). Technological access control interferes with noninfringing scholarship.. Communications of the ACM. 43. 21–23. 1 indexed citations

12.

Appel, Andrew W., et al.. (1999). Lightweight Lemmas in lProlog. International Conference on Logic Programming. 411–425. 6 indexed citations

13.

Appel, Andrew W. & Amy Felty. (1999). Lightweight Lemmas in lambda-Prolog.. International Conference on Lightning Protection. 411–425. 3 indexed citations

14.

Appel, Andrew W., et al.. (1997). The Zephyr abstract syntax description language. 9(12). 17–17. 53 indexed citations

15.

Appel, Andrew W. & Zhong Shao. (1996). Empirical and analytic study of stack versus heap cost for languages with closures. Journal of Functional Programming. 6(1). 47–74. 40 indexed citations

16.

Shao, Zhong & Andrew W. Appel. (1995). A type-based compiler for standard ML. 116–129. 68 indexed citations

17.

Shao, Zhong & Andrew W. Appel. (1995). A type-based compiler for standard ML. ACM SIGPLAN Notices. 30(6). 116–129. 4 indexed citations

18.

Appel, Andrew W. & David MacQueen. (1994). Separate compilation for Standard ML. 13–23. 28 indexed citations

19.

Appel, Andrew W.. (1994). Loop Headers in Lambda-Calculus or CPS.. LISP and Symbolic Computation. 7. 337–343. 4 indexed citations

20.

Shao, Zhong & Andrew W. Appel. (1993). Smartest recompilation. 439–450. 42 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