Automated synthesis of protocol specifications with message collisions and verification of timeliness. - Yoshiaki Kakuda; Hirotaka Igarashi; Tohru Kikuno (ICNP, 1994)

Performance evaluation of popular distributed object technologies for Java. - Satoshi Hirano; Yoshiji Yasu; Hirotaka Igarashi (Concurr. Pract. Exp., 1998)