W. M. Wonham

8 papers and 166 indexed citations i.

W. M. Wonham has authored 8 papers that have received a total of 166 indexed citations. This includes 8 papers in Computational Theory and Mathematics, 3 papers in Computer Networks and Communications and 2 papers in Industrial and Manufacturing Engineering. The topics of these papers are Formal Methods in Verification (8 papers), Petri Nets in System Modeling (7 papers) and Distributed systems and fault tolerance (3 papers). W. M. Wonham is often cited by papers focused on Formal Methods in Verification (8 papers), Petri Nets in System Modeling (7 papers) and Distributed systems and fault tolerance (3 papers) and collaborates with scholars based in Canada, Japan and China. W. M. Wonham's co-authors include J.G. Thistle, Kai Cai, S. Hashtrudi Zad, K.C. Wong and Zhiwu Li and has published in prestigious journals such as IEEE Access, SIAM Journal on Control and Optimization and Discrete Event Dynamic Systems.