Gaiyun Liu

38 papers and 588 indexed citations i.

Gaiyun Liu has authored 38 papers that have received a total of 588 indexed citations. This includes 36 papers in Computational Theory and Mathematics, 25 papers in Industrial and Manufacturing Engineering and 13 papers in Hardware and Architecture. The topics of these papers are Petri Nets in System Modeling (36 papers), Flexible and Reconfigurable Manufacturing Systems (25 papers) and Formal Methods in Verification (17 papers). Gaiyun Liu is often cited by papers focused on Petri Nets in System Modeling (36 papers), Flexible and Reconfigurable Manufacturing Systems (25 papers) and Formal Methods in Verification (17 papers) and collaborates with scholars based in China, Macao and France. Gaiyun Liu's co-authors include Kamel Barkaoui, Naiqi Wu, Zhiwu Li, Daniel Yuh Chao and Abdulrahman Al‐Ahmari and has published in prestigious journals such as Automatica, IEEE Access and Information Sciences