Takahiro Kato

According to our database, Takahiro Kato authored at least 9 papers between 2002 and 2026.

Collaborative distances:

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

2026

Formal Modeling and Analysis of a Planetary Rover Under Abnormal Scenarios with Quint.

Riki Nakamura, Shunichiro Nomura, Takahiro Kato, Takato Hatae, Satoshi Ikari, Ryu Funase, Shinichi Nakasuka

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

2025

Medicine for artificial intelligence: applying a medical framework to AI anomalies.

Takahiro Kato, Daisuke Komura, Binaya Panda, Shumpei Ishikawa

Frontiers Artif. Intell., 2025

Avatar Communication Provides More Efficient Online Social Support Than Text Communication.

Masanori Takano, Kenji Yokotani, Takahiro Kato, Nobuhito Abe, Fumiaki Taka

Proceedings of the Nineteenth International AAAI Conference on Web and Social Media, 2025

2014

Remote Ultrasound Diagnostic System (RUDS).

Norihiro Koizumi, Takehiko Tsurumi, Takahiro Kato, Shin'ichi Warisawa, Mitsuru Nagoshi, Hiroyuki Hashizume, Mamoru Mitsuishi

J. Robotics Mechatronics, 2014

2013

End-System Approaches to Energy Consumption Efficiency for Content Distribution Service in Information-Centric Networking.

Xuefeng Bai, Marie Hirose, Fumio Natsu, Hiroshi Aoki, Tomoyuki Hotta, Takahiro Kato, Kenichi Nakamura

Proceedings of the First International Symposium on Computing and Networking, 2013

2011

Riemann Integral of Functions from R into Real Normed Space.

Keiichi Miyajima, Takahiro Kato, Yasunari Shidama

Formaliz. Math., 2011

2010

Riemann Integral of Functions R into C.

Keiichi Miyajima, Takahiro Kato, Yasunari Shidama

Formaliz. Math., 2010

The Sum and Product of Finite Sequences of Complex Numbers.

Keiichi Miyajima, Takahiro Kato

Formaliz. Math., 2010

2002

Manipulability Enhancement by an Impedance Parameter Tuning for a Remote Ultrasound Diagnostic System.

Norihiro Koizumi, Takahiro Kato, Shin'ichi Warisawa, Hiroyuki Hashizume, Mamoru Mitsuishi

Proceedings of the Experimental Robotics VIII [ISER 2002, 2002