Seiji Hattori

According to our database, Seiji Hattori authored at least 3 papers between 1991 and 2025.

Collaborative distances:

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

2025

Natural Language Translation of Formal Proofs through Informalization of Proof Steps and Recursive Summarization along Proof Structure.

Seiji Hattori, Takuya Matsuzaki, Makoto Fujiwara

CoRR, September, 2025

1991

Measurement And Modeling Of 2GHz-Band Out-of-Sight Radio Propagation Characteristics Under Microcellular Environments.

Yoshinori Nagata, Yukitsuna Furuya, Eimatsu Moriyama, Mitsuhiko Mizuno, Isamu Kamiya, Seiji Hattori

Proceedings of the IEEE International Symposium On Personal, 1991

2.6 Ghz Band Multipath Characteristics for Urban Microcellular Telecommunication Systems.

Eimatsu Moriyama, Mitsuhiko Mizuno, Yoshinori Nagata, Yukitsuna Furuya, Isamu Kamiya, Seiji Hattori

Proceedings of the IEEE International Symposium On Personal, 1991