W.M. Wonham

186 papers and 17.0k indexed citations i.

W.M. Wonham has authored 186 papers that have received a total of 17.0k indexed citations. This includes 124 papers in Computational Theory and Mathematics, 65 papers in Computer Networks and Communications and 54 papers in Control and Systems Engineering. The topics of these papers are Petri Nets in System Modeling (108 papers), Formal Methods in Verification (89 papers) and Distributed systems and fault tolerance (61 papers). W.M. Wonham is often cited by papers focused on Petri Nets in System Modeling (108 papers), Formal Methods in Verification (89 papers) and Distributed systems and fault tolerance (61 papers) and collaborates with scholars based in Canada, United States and China. W.M. Wonham's co-authors include Kai Cai, Rong Su, Mark Lawford, Karen Rudie and Yongmei Gan and has published in prestigious journals such as IEEE Transactions on Automatic Control, Proceedings of the IEEE and IEEE Transactions on Information Theory.