Yukiyoshi Kameyama
About
Yukiyoshi Kameyama has authored 17 papers that have received a total of 84 indexed citations.
This includes 14 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 4 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (13 papers), Formal Methods in Verification (10 papers) and Logic, Reasoning, and Knowledge (8 papers). Yukiyoshi Kameyama is often cited by papers focused on Logic, programming, and type systems (13 papers), Formal Methods in Verification (10 papers) and Logic, Reasoning, and Knowledge (8 papers) and collaborates with scholars based in Japan, United States and Brazil. Yukiyoshi Kameyama's co-authors include Masahito Hasegawa, Chung-chieh Shan, Oleg Kiselyov, Shiro Ueda and Kaori Morimoto and has published in prestigious journals such as Clinical Pharmacology & Therapeutics, Theoretical Computer Science and ACM SIGPLAN Notices.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Rolf Michael Schneider Breakdown of academic impact, for papers by Winifred V. Davies Breakdown of academic impact, for papers by P. Brogi Breakdown of academic impact, for papers by Michel Hockx Breakdown of academic impact, for papers by Jennifer S. Hendricks Breakdown of academic impact, for papers by Seongmin Kim Breakdown of academic impact, for papers by Kirill Morozov Breakdown of academic impact, for papers by Dan Bürger