- Tiko Kameda. Testing
deadlock-freedom of computer systems. Journal of the
ACM, 27(2):270-280, April 1980.
- Toshihide Ibaraki, Hussein M. Abdel-Wahab, and Tiko Kameda. Design of minimum-cost
deadlock-free systems. Journal of the ACM,
30(4):736-751, October 1983.
- Xiaotie Deng, Tiko Kameda, and Christos Papadimitriou. How to learn an unknown environment
I: The rectilinear case. Journal of the ACM,
45(2):215-245, March 1998.