Shoji Yuen

15 papers and 78 indexed citations i.

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