Ryan J. Leduc
About
Ryan J. Leduc has authored 22 papers that have received a total of 286 indexed citations.
This includes 22 papers in Computational Theory and Mathematics, 9 papers in Hardware and Architecture and 6 papers in Computer Networks and Communications. The topics of these papers are Petri Nets in System Modeling (22 papers), Formal Methods in Verification (20 papers) and Real-Time Systems Scheduling (8 papers). Ryan J. Leduc is often cited by papers focused on Petri Nets in System Modeling (22 papers), Formal Methods in Verification (20 papers) and Real-Time Systems Scheduling (8 papers) and collaborates with scholars based in Canada, New Zealand and United States. Ryan J. Leduc's co-authors include Robi Malik, Mark Lawford, Pengcheng Dai, W.M. Wonham and B.A. Brandin and has published in prestigious journals such as IEEE Transactions on Automatic Control, IEEE Transactions on Control Systems Technology and International Journal of Control
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Salvador Pancorbo are about Top journals papers by Liang Yin are published in Top authors papers by Rajashree Mishra are co-authored with Top fields papers by Charles A. Kallick are about Top fields papers by Jack Glascock are about Top journals papers by David R. Feldman are published in Top authors papers by Hoa Khong are co-authored with Top journals papers by Gersson F.B. Sandoval are published in