John O’Leary

30 papers and 215 indexed citations i.

John O’Leary has authored 30 papers that have received a total of 215 indexed citations. This includes 14 papers in Computational Theory and Mathematics, 13 papers in Hardware and Architecture and 10 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (14 papers), Embedded Systems Design Techniques (10 papers) and Parallel Computing and Optimization Techniques (5 papers). John O’Leary is often cited by papers focused on Formal Methods in Verification (14 papers), Embedded Systems Design Techniques (10 papers) and Parallel Computing and Optimization Techniques (5 papers) and collaborates with scholars based in United States, United Kingdom and Canada. John O’Leary's co-authors include Mark R. Tuttle, Tom Melham, Mark D. Aagaard, Gavin M. Brown and Robert B. Jones and has published in prestigious journals such as Computer, IEEE Transactions on Robotics and Journal of Communication