Tatsuya Igarashi

According to our database, Tatsuya Igarashi authored at least 4 papers between 1988 and 2022.

Collaborative distances:

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

2022

Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method.

Tatsuya Igarashi, Masaki Nakamura, Kazutoshi Sakakibara

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021

Photrace: A Blockchain-Based Traceability System for Photographs on the Internet.

Tatsuya Igarashi, Takabayashi Kazuhiko, Yoshiyuki Kobayashi, Hiroshi Kuno, Eric Diehl

Proceedings of the 2021 IEEE International Conference on Blockchain, 2021

1999

Home network file system for home network based on IEEE-1394 technology.

Tatsuya Igarashi, Koichi Hayakawa, Takuya Nishimura, Takeshi Ozawa, Hiroshi Takizuka

IEEE Trans. Consumer Electron., 1999

1988

CD-ROM System Based on the NEWS Workstation.

Keiji Kimura, Akihide Demura, Tatsuya Igarashi, Yukio Takeyari

Proceedings of the COMPCON'88, Digest of Papers, Thirty-Third IEEE Computer Society International Conference, San Francisco, California, USA, February 29, 1988