Ziyue Ma
About
Ziyue Ma has authored 58 papers that have received a total of 635 indexed citations.
This includes 47 papers in Computational Theory and Mathematics, 20 papers in Management Information Systems and 9 papers in Computer Networks and Communications. The topics of these papers are Petri Nets in System Modeling (45 papers), Formal Methods in Verification (38 papers) and Business Process Modeling and Analysis (20 papers). Ziyue Ma is often cited by papers focused on Petri Nets in System Modeling (45 papers), Formal Methods in Verification (38 papers) and Business Process Modeling and Analysis (20 papers) and collaborates with scholars based in China, Macao and Italy. Ziyue Ma's co-authors include Zhiwu Li, Alessandro Giua, Zhou He, Xiang Yin and Yin Tong and has published in prestigious journals such as IEEE Transactions on Automatic Control, Scientific Reports and Automatica
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by L. Thines are about Top journals papers by Zongshi Qin are published in Top fields papers by Faruk Güçlü Pınarlı are about Top authors papers by Fabiane Oliveira Farias are co-authored with Top authors papers by Giancarlo Albo are co-authored with Top fields papers by Atul Srivastava are about Top fields papers by M.B. Guseva are about Top fields papers by Małgorzata Sobczak are about