Andrew W. Appel

77 papers and 2.0k indexed citations i.

Andrew W. Appel has authored 77 papers that have received a total of 2.0k indexed citations. This includes 61 papers in Artificial Intelligence, 31 papers in Hardware and Architecture and 30 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (50 papers), Parallel Computing and Optimization Techniques (31 papers) and Security and Verification in Computing (27 papers). Andrew W. Appel is often cited by papers focused on Logic, programming, and type systems (50 papers), Parallel Computing and Optimization Techniques (31 papers) and Security and Verification in Computing (27 papers) and collaborates with scholars based in United States, France and Canada. Andrew W. Appel's co-authors include Amy Felty, Zhong Shao, Xavier Leroy, Dinghao Wu and Gordon Stewart 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.