Karen Rudie
About
Karen Rudie has authored 58 papers that have received a total of 897 indexed citations.
This includes 52 papers in Computational Theory and Mathematics, 28 papers in Computer Networks and Communications and 10 papers in Hardware and Architecture. The topics of these papers are Petri Nets in System Modeling (48 papers), Formal Methods in Verification (33 papers) and Distributed systems and fault tolerance (28 papers). Karen Rudie is often cited by papers focused on Petri Nets in System Modeling (48 papers), Formal Methods in Verification (33 papers) and Distributed systems and fault tolerance (28 papers) and collaborates with scholars based in Canada, United States and Brazil. Karen Rudie's co-authors include W.M. Wonham, Juergen Dingel, Feng Lin, M.M. Bayoumi and S.L. Ricker and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and IEEE Transactions on Control Systems Technology
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Hongbo Zhou are about Top journals papers by Dong Wook Jekarl are published in Top authors papers by Oussama Kébir are co-authored with Top journals papers by Wilton H. Bunch are published in Top countries impacted by papers by I. Ascone Top authors papers by Hideo Joho are co-authored with Top authors papers by Victor Afari‐Sefa are co-authored with Top journals papers by Yuk‐Lam Ho are published in