Z. Huang

8 papers and 279 indexed citations i.

Z. Huang has authored 8 papers that have received a total of 279 indexed citations. This includes 6 papers in Computational Theory and Mathematics, 3 papers in Computer Networks and Communications and 1 paper in Mechanical Engineering. The topics of these papers are Petri Nets in System Modeling (6 papers), Formal Methods in Verification (5 papers) and Distributed systems and fault tolerance (2 papers). Z. Huang is often cited by papers focused on Petri Nets in System Modeling (6 papers), Formal Methods in Verification (5 papers) and Distributed systems and fault tolerance (2 papers) and collaborates with scholars based in United States, France and Denmark. Z. Huang's co-authors include Ratnesh Kumar, V. Chandra, Xianchao Zhang and Mathias Neumann Andersen and has published in prestigious journals such as IEEE Transactions on Automatic Control, Asian Journal of Control and Mathematical and Computer Modelling of Dynamical Systems