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 Mihir Kakara are co-authored with Top fields papers by Alexander Merkin are about Top journals papers by R. Hooykaas are published in Top journals papers by Imane Benabbad are published in Top authors papers by Nyoman Trisna Herawati are co-authored with Top journals papers by Rosaline W. Macharia are published in Top authors papers by Guido Ghilardi are co-authored with Top countries impacted by papers by Bernhard Schmidt‐Hertha