Andrew D. Gordon

17 papers and 966 indexed citations i.

Andrew D. Gordon has authored 17 papers that have received a total of 966 indexed citations. This includes 14 papers in Artificial Intelligence, 12 papers in Computer Networks and Communications and 5 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (8 papers), Distributed systems and fault tolerance (7 papers) and Security and Verification in Computing (5 papers). Andrew D. Gordon is often cited by papers focused on Logic, programming, and type systems (8 papers), Distributed systems and fault tolerance (7 papers) and Security and Verification in Computing (5 papers) and collaborates with scholars based in United Kingdom, United States and Germany. Andrew D. Gordon's co-authors include Luca Cardelli, Charles Sutton, Alan Jeffrey, Giorgio Ghelli and Patricia M. Hill and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and ACM Transactions on Programming Languages and Systems.