Andy Wright

2 papers and 438 indexed citations i.

Andy Wright has authored 2 papers that have received a total of 438 indexed citations. This includes 2 papers in Artificial Intelligence, 1 paper in Computer Networks and Communications and 1 paper in Computational Theory and Mathematics. The topics of these papers are Logic, Reasoning, and Knowledge (1 paper), Formal Methods in Verification (1 paper) and Distributed and Parallel Computing Systems (1 paper). Andy Wright is often cited by papers focused on Logic, Reasoning, and Knowledge (1 paper), Formal Methods in Verification (1 paper) and Distributed and Parallel Computing Systems (1 paper) and collaborates with scholars based in United States. Andy Wright's co-authors include Matthias Felleisen, Gregg Parkes and Les Hatton and has published in prestigious journals such as Information and Computation and Software Practice and Experience