Tetsuo Ida

22 papers and 77 indexed citations i.

Tetsuo Ida has authored 22 papers that have received a total of 77 indexed citations. This includes 11 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 7 papers in Mechanical Engineering. The topics of these papers are Advanced Materials and Mechanics (7 papers), Logic, programming, and type systems (7 papers) and Formal Methods in Verification (5 papers). Tetsuo Ida is often cited by papers focused on Advanced Materials and Mechanics (7 papers), Logic, programming, and type systems (7 papers) and Formal Methods in Verification (5 papers) and collaborates with scholars based in Japan, United Kingdom and Colombia. Tetsuo Ida's co-authors include Hidekazu Takahashi, Yike Guo, Eiichi Goto, Jacques Calmet and Dongming Wang and has published in prestigious journals such as Annals of Operations Research, Theoretical Computer Science and Lecture notes in computer science