Conal Elliott

14 papers and 497 indexed citations i.

Conal Elliott has authored 14 papers that have received a total of 497 indexed citations. This includes 10 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 5 papers in Software. The topics of these papers are Logic, programming, and type systems (8 papers), Formal Methods in Verification (3 papers) and Parallel Computing and Optimization Techniques (3 papers). Conal Elliott is often cited by papers focused on Logic, programming, and type systems (8 papers), Formal Methods in Verification (3 papers) and Parallel Computing and Optimization Techniques (3 papers) and collaborates with scholars based in United States, United Kingdom and India. Conal Elliott's co-authors include Frank Pfenning, Oege de Moor and Paul Hudak and has published in prestigious journals such as IEEE Transactions on Software Engineering, Behavior Research Methods and ACM SIGPLAN Notices