Gaiyun Liu

About

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.

In The Last Decade

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Qi Huang Breakdown of academic impact, for papers by Mariki M. Eloff Breakdown of academic impact, for papers by Volker Zimmermann Breakdown of academic impact, for papers by Neelakanthi Ratnatunga Breakdown of academic impact, for papers by James W. Baurley Breakdown of academic impact, for papers by Jonathan Aguilar Breakdown of academic impact, for papers by Peng Tian Breakdown of academic impact, for papers by Rishabh Iyer