Liyong Lin

32 papers and 175 indexed citations i.

Liyong Lin has authored 32 papers that have received a total of 175 indexed citations. This includes 24 papers in Computational Theory and Mathematics, 16 papers in Artificial Intelligence and 10 papers in Hardware and Architecture. The topics of these papers are Petri Nets in System Modeling (22 papers), Formal Methods in Verification (17 papers) and Security and Verification in Computing (12 papers). Liyong Lin is often cited by papers focused on Petri Nets in System Modeling (22 papers), Formal Methods in Verification (17 papers) and Security and Verification in Computing (12 papers) and collaborates with scholars based in Singapore, Canada and China. Liyong Lin's co-authors include Rong Su, Weilin Wang, W.M. Wonham, Alin Ştefănescu and B.A. Brandin and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and IEEE Access