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 journals papers by Torbjørn L. Knutsen are published in Top authors papers by Uran Oh are co-authored with Top authors papers by Pierre‐Antoine Juge are co-authored with Top fields papers by Doncho Donev are about Top countries impacted by papers by Mohamed Lehsaini Top fields papers by J. Hofker are about Top fields papers by W. Minkina are about Top fields papers by Hanna Sundari are about