Cormac Flanagan

15 papers and 638 indexed citations i.

Cormac Flanagan has authored 15 papers that have received a total of 638 indexed citations. This includes 10 papers in Artificial Intelligence, 9 papers in Computer Networks and Communications and 7 papers in Hardware and Architecture. The topics of these papers are Security and Verification in Computing (8 papers), Parallel Computing and Optimization Techniques (7 papers) and Distributed systems and fault tolerance (6 papers). Cormac Flanagan is often cited by papers focused on Security and Verification in Computing (8 papers), Parallel Computing and Optimization Techniques (7 papers) and Distributed systems and fault tolerance (6 papers) and collaborates with scholars based in United States, Israel and Greece. Cormac Flanagan's co-authors include Thomas H. Austin, S. Freund, Stephen N. Freund, Alejandro Russo and Mooly Sagiv and has published in prestigious journals such as Communications of the ACM, ACM SIGPLAN Notices and Nursing Forum.