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 Julien Leroy are published in Top fields papers by Pierre Encrevé are about Top fields papers by Renan dos Santos Araújo are about Top fields papers by W. David McIntyre are about Top authors papers by D. Vijayakumar are co-authored with Top authors papers by D. Bauer are co-authored with Top journals papers by Kerry Breen are published in Top fields papers by Agnieszka Ławrynowicz are about