Toshiaki Aoki

24 papers and 153 indexed citations i.

About

Toshiaki Aoki has authored 24 papers that have received a total of 153 indexed citations. This includes 13 papers in Software, 12 papers in Computational Theory and Mathematics and 6 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (11 papers), Software Testing and Debugging Techniques (9 papers) and Model-Driven Software Engineering Techniques (7 papers). Toshiaki Aoki is often cited by papers focused on Formal Methods in Verification (11 papers), Software Testing and Debugging Techniques (9 papers) and Model-Driven Software Engineering Techniques (7 papers) and collaborates with scholars based in Japan, Vietnam and Taiwan. Toshiaki Aoki's co-authors include Viet Ha Nguyen, Takuya Katayama, Taiichi Yuasa, Akihito Tanaka and Seitaro Mutoh and has published in prestigious journals such as IEEE Access, Journal of Thrombosis and Haemostasis and Thrombosis Research

In The Last Decade

Rankless by CCL
2025