Ichiro Hasuo - Publications, H-index & Citations

Back

Ichiro Hasuo

research organization of information & systems (rois)

22H-index

223Paper Count

1.8KCitation Count

Published Papers 9

Publication Date

Science of Computer Programming

IF1.4

2026-08-01

PREAI

Zhang, Zhenya; An, Jie; Arcaini, Paolo; Hasuo, Ichiro

Save

REACHABILITY PROBLEMS, RP 2025

IF0

2026-01-01

PREAI

van der Vegt, Marck; Watanabe, Kazuki; Hasuo, Ichiro; Junges, Sebastian

Save

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025

IF0

2026-01-01

PREAI

Phalakarn, Kittiphon; Tsai, Yun Chen; Hasuo, Ichiro

Save

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025

IF0

2026-01-01

PREAI

Fujinami, Hiroya; Waga, Masaki; An, Jie; Suenaga, Kohei; Yanagisawa, Nayuta; Iseri, Hiroki; Hasuo, Ichiro

Save

THEORETICAL COMPUTER SCIENCE

IF1

2025-09-01

OAAI

Phalakarn, Kittiphon; Pruekprasert, Sasinee; Hasuo, Ichiro

Save

COMMUNICATIONS OF THE ACM

IF12.2

2023-06-22

OAAI

Kitsuregawa, Masaru; Urushidani, Shigeo; Yamaji, Kazutsuna; Takakura, Hiroki; Hasuo, Ichiro; Sato, Imari; Ishikawa, Fuyuki; Echizen, Isao; Mori, Kensaku

Save

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2023-04-01

PREAI

Zhang, Zhenya; Lyu, Deyun; Arcaini, Paolo; Ma, Lei; Hasuo, Ichiro; Zhao, Jianjun

Save

IEEE TRANSACTIONS ON INTELLIGENT VEHICLES

IF14.3

2023-04-01

OAAI

Hasuo, Ichiro; Eberhart, Clovis; Haydon, James; Dubut, Jeremy; Bohrer, Rose; Kobayashi, Tsutomu; Pruekprasert, Sasinee; Zhang, Xiao-Yi; Pallas, Erik Andre; Yamada, Akihisa; Suenaga, Kohei; Ishikawa, Fuyuki; Kamijo, Kenji; Shinya, Yoshiyuki; Suetomi, Takamasa

Save

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2023-02-13

OAAI

Waga, Masaki; Andre, Etienne; Hasuo, Ichiro

Save

Research Directions