Song Y. Yan
About
Song Y. Yan has authored 24 papers that have received a total of 152 indexed citations.
This includes 15 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 3 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (5 papers), Logic, programming, and type systems (5 papers) and Coding theory and cryptography (5 papers). Song Y. Yan is often cited by papers focused on Formal Methods in Verification (5 papers), Logic, programming, and type systems (5 papers) and Coding theory and cryptography (5 papers) and collaborates with scholars based in United Kingdom, Australia and China. Song Y. Yan's co-authors include Xiaoli Ma, Donghui Hu, Shuli Zheng and Lee Naish and has published in prestigious journals such as Computers & Mathematics with Applications, ACM Transactions on Database Systems and Applied Mathematics Letters
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by K. Bernhard are about Top authors papers by R. O. Kuzmin are co-authored with Top authors papers by Bharathi Raja Chakravarthi are co-authored with Top journals papers by Joshua W. Clegg are published in Top countries impacted by papers by Umar Farooq Top fields papers by Raashda A. Sulaiman are about Top journals papers by Sheung-Hung Poon are published in Top fields papers by Yingfen Qin are about