Keijiro Araki
About
Keijiro Araki has authored 12 papers that have received a total of 37 indexed citations.
This includes 4 papers in Computational Theory and Mathematics, 4 papers in Software and 3 papers in Artificial Intelligence. The topics of these papers are Software Testing and Debugging Techniques (3 papers), Formal Methods in Verification (3 papers) and Model-Driven Software Engineering Techniques (3 papers). Keijiro Araki is often cited by papers focused on Software Testing and Debugging Techniques (3 papers), Formal Methods in Verification (3 papers) and Model-Driven Software Engineering Techniques (3 papers) and collaborates with scholars based in Japan, Denmark and China. Keijiro Araki's co-authors include Tomohiro Oda, Peter Gorm Larsen, Dino Mandrioli, Juris Hartmanis and Zhiming Liu and has published in prestigious journals such as Lecture notes in computer science, IEICE Transactions on Information and Systems and Aircraft Engineering and Aerospace Technology.
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Glen MacLeod are published in Top countries impacted by papers by Hiroshi Hosobe Top authors papers by N. Mandolesi are co-authored with Top fields papers by Ralph Berndt are about Top journals papers by Qianyu Zhang are published in Top journals papers by Hugh Thirlway are published in Top fields papers by Trần Thị Thúy Hằng are about Top authors papers by Abdelhamid Moustaghfir are co-authored with