Atsushi Ohori

33 papers and 329 indexed citations i.

About

Atsushi Ohori has authored 33 papers that have received a total of 329 indexed citations. This includes 29 papers in Artificial Intelligence, 15 papers in Computer Networks and Communications and 11 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (25 papers), Parallel Computing and Optimization Techniques (11 papers) and Logic, Reasoning, and Knowledge (9 papers). Atsushi Ohori is often cited by papers focused on Logic, programming, and type systems (25 papers), Parallel Computing and Optimization Techniques (11 papers) and Logic, Reasoning, and Knowledge (9 papers) and collaborates with scholars based in Japan, United States and Germany. Atsushi Ohori's co-authors include Peter Buneman, Val Breazu-Tannen, Susumu Nishimura, Shinji Nozaki and Xavier Leroy and has published in prestigious journals such as Theoretical Computer Science, ACM Transactions on Database Systems and Lecture notes in computer science

In The Last Decade

Rankless by CCL
2025