Shoji Yuen
About
Shoji Yuen has authored 15 papers that have received a total of 78 indexed citations.
This includes 10 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 5 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (9 papers), Formal Methods in Verification (7 papers) and Parallel Computing and Optimization Techniques (4 papers). Shoji Yuen is often cited by papers focused on Logic, programming, and type systems (9 papers), Formal Methods in Verification (7 papers) and Parallel Computing and Optimization Techniques (4 papers) and collaborates with scholars based in Japan, United Kingdom and China. Shoji Yuen's co-authors include Irek Ulidowski, Nobuko Yoshida, Yassir Filali Baba, K. Kamada and Claudio Antares Mezzina and has published in prestigious journals such as Journal of Nuclear Materials, Information and Computation and Science China Information Sciences
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Kim-Manuel Klein are co-authored with Top fields papers by Stefan Becker are about Top fields papers by Norman Lewis are about Top authors papers by Michael Jäckel are co-authored with Top journals papers by C. L. Naumann are published in Top fields papers by Colin Jager are about Top authors papers by P. Papadakis are co-authored with Top authors papers by A. P. Singh are co-authored with