Gul Agha

96 papers and 2.3k indexed citations i.

Gul Agha has authored 96 papers that have received a total of 2.3k indexed citations. This includes 59 papers in Computer Networks and Communications, 33 papers in Artificial Intelligence and 26 papers in Hardware and Architecture. The topics of these papers are Distributed systems and fault tolerance (27 papers), Distributed and Parallel Computing Systems (20 papers) and Formal Methods in Verification (19 papers). Gul Agha is often cited by papers focused on Distributed systems and fault tolerance (27 papers), Distributed and Parallel Computing Systems (20 papers) and Formal Methods in Verification (19 papers) and collaborates with scholars based in United States, Japan and Denmark. Gul Agha's co-authors include Kirill Mechitov, Billie F. Spencer, B. F. Spencer, Koushik Sen and Grigore Roşu and has published in prestigious journals such as Communications of the ACM, Information Sciences and ACM Computing Surveys