Reki Yamamoto

According to our database, Reki Yamamoto authored at least 2 papers between 1992 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2000

A knowledge-based method for validating specifications including open parts.

Reki Yamamoto, Setsuo Tsuruta, Takashi Onoyama, Kazuko Oyanagi

Proceedings of the IEEE International Conference on Systems, 2000

1992

Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1.

Keiji Hirata, Reki Yamamoto, Akira Imai, Hideo Kawai, Kiyoshi Hirano, Tsuneyoshi Takagi, Kazuo Taki, Akihiko Nakase, Kazuaki Rokusawa

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992