Liyong Lin
About
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
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Ricardo Rocha de Azevedo are published in Top fields papers by Олександр Сапронов are about Top authors papers by Brunella Gerla are co-authored with Top authors papers by Fiona O’Connell are co-authored with Top authors papers by Pieter Jan van Doormaal are co-authored with Top journals papers by Michael Szabó are published in Top journals papers by Yunyi Xie are published in Top fields papers by Maurice Lagueux are about