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 journals papers by R.J. Latham are published in Top journals papers by Drusilla K. Brown are published in Top authors papers by Dong Wook Jekarl are co-authored with Top fields papers by Hideo Joho are about Top fields papers by Yang Guo are about Top fields papers by Wei Tang are about Top fields papers by Neale R. Smith are about Top journals papers by Susumu Imai are published in