by Hasuo, Ichiro
Published in Cyber Physical Systems. Design, Modeling, and Evaluation (2019)

by Waga, Masaki, Hasuo, Ichiro
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2018)

by Hasuo, Ichiro, Hoshino, Naohiko
Published in Annals of pure and applied logic (01.02.2017)

by Zhang, Zhenya, Arcaini, Paolo, Hasuo, Ichiro
Published in NASA Formal Methods (2020)

by Waga, Masaki, Hasuo, Ichiro, Suenaga, Kohei
Published in Formal Modeling and Analysis of Timed Systems (2017)

by Takisaka, Toru, Oyabu, Yuichiro, Urabe, Natsuki, Hasuo, Ichiro
Published in Automated Technology for Verification and Analysis (2018)

by HASUO, ICHIRO, KATAOKA, TOSHIKI, CHO, KENTA
Published in Mathematical structures in computer science (01.04.2018)

by Urabe, Natsuki, Hasuo, Ichiro
Published in Coalgebraic Methods in Computer Science (01.01.2018)

by Waga, Masaki, Castellano, Ezequiel, Pruekprasert, Sasinee, Klikovits, Stefan, Takisaka, Toru, Hasuo, Ichiro
Published in Automated Technology for Verification and Analysis (2022)

by Natsuki Urabe, Ichiro Hasuo
Published in Logical methods in computer science (05.09.2018)

by Hasuo, Ichiro, Jacobs, Bart, Sokolova, Ana
Published in Logical methods in computer science (19.11.2007)

by Komorida, Yuichi, Katsumata, Shin-ya, Kupke, Clemens, Rot, Jurriaan, Hasuo, Ichiro
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)

by Hasuo, Ichiro
Year of Publication 2016

by Komorida, Yuichi, Katsumata, Shin-ya, Hu, Nick, Klin, Bartek, Humeau, Samuel, Eberhart, Clovis, Hasuo, Ichiro
Published in New generation computing (01.07.2022)

by Hasuo, Ichiro
Published in CONCUR 2010 - Concurrency Theory (2010)

by Hasuo, Ichiro
Published in Algebra and Coalgebra in Computer Science (2011)

by Akazaki, Takumi, Kumazawa, Yoshihiro, Hasuo, Ichiro
Published in Electronic proceedings in theoretical computer science (07.09.2017)

by Yoshimizu, Akira, Hasuo, Ichiro, Faggian, Claudia, Dal Lago, Ugo
Published in Programming Languages and Systems (2014)

by 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
Published in IEEE transactions on intelligent vehicles (01.04.2023)

by Okudono, Takamasa, Nishida, Yuki, Kojima, Kensuke, Suenaga, Kohei, Kido, Kengo, Hasuo, Ichiro
Published in Programming Languages and Systems (2017)