Keijiro Araki

12 papers and 36 indexed citations i.

Keijiro Araki has authored 12 papers that have received a total of 36 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