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 Lindsay Porter are about Top journals papers by Xuebing Bai are published in Top countries impacted by papers by Moussa Fall Top journals papers by Joaquina Palomar Lever are published in Top journals papers by Rebeca Vásquez‐Yeomans are published in Top journals papers by Kari Sand are published in Top countries impacted by papers by Salvador Pancorbo Top fields papers by Celso I. Fornari are about