Huixia Liu

23 papers and 536 indexed citations i.

Huixia Liu has authored 23 papers that have received a total of 536 indexed citations. This includes 15 papers in Computational Theory and Mathematics, 15 papers in Industrial and Manufacturing Engineering and 6 papers in Hardware and Architecture. The topics of these papers are Petri Nets in System Modeling (15 papers), Flexible and Reconfigurable Manufacturing Systems (14 papers) and Formal Methods in Verification (8 papers). Huixia Liu is often cited by papers focused on Petri Nets in System Modeling (15 papers), Flexible and Reconfigurable Manufacturing Systems (14 papers) and Formal Methods in Verification (8 papers) and collaborates with scholars based in China, United States and Saudi Arabia. Huixia Liu's co-authors include Keyi Xing, MengChu Zhou, Feng Tian, Hongyong Yang and Weimin Wu and has published in prestigious journals such as IEEE Access, Information Sciences and International Journal of Biological Macromolecules