Dominic Orchard
About
Dominic Orchard has authored 29 papers that have received a total of 170 indexed citations.
This includes 25 papers in Artificial Intelligence, 17 papers in Hardware and Architecture and 13 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (23 papers), Parallel Computing and Optimization Techniques (16 papers) and Formal Methods in Verification (10 papers). Dominic Orchard is often cited by papers focused on Logic, programming, and type systems (23 papers), Parallel Computing and Optimization Techniques (16 papers) and Formal Methods in Verification (10 papers) and collaborates with scholars based in United Kingdom, United States and France. Dominic Orchard's co-authors include Alan Mycroft, Tomáš Petříček, Nobuko Yoshida, Andrew Rice and Shin-ya Katsumata and has published in prestigious journals such as ACM SIGPLAN Notices, Information and Computation and Computing in Science & Engineering
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Amedeo Buonanno are published in Top fields papers by Vijitha Herath are about Top countries impacted by papers by P. Hedvig Top fields papers by Laurent Fedi are about Top fields papers by Gil Shechter‐Maor are about Top authors papers by Edna Barros are co-authored with Top authors papers by Marion Subklewe are co-authored with Top journals papers by Izar Aximoff are published in