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 authors papers by Madalena Coutinho Cruz are co-authored with Top authors papers by Marta Bassi are co-authored with Top authors papers by Adriana Compagnoni are co-authored with Top countries impacted by papers by Jodie Miller Top fields papers by Jennifer Alford are about Top countries impacted by papers by Aneta Mikulášová Top fields papers by M. Toussaint are about Top fields papers by R. Ruber are about