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, China and Japan. W. M. Wonham's co-authors include J.G. Thistle, Kai Cai, R.H. Kwong, K.C. Wong and Deguang Wang and has published in prestigious journals such as IEEE Access, SIAM Journal on Control and Optimization and Discrete Event Dynamic Systems