Takeshi Ueda

发表

Koichi Shimizu, Teruyoshi Yamaguchi, Tsunato Nakai, 2017 .

Karen E. Williams, Russell R. Miller, Samuel M. Brown, 2020, Critical Care.

Karen E. Williams, John C. Adams, Barrett T. Kitch, 2020, Critical Care.

Nobuhiro Kobayashi, Koichi Shimizu, Teruyoshi Yamaguchi, 2017, 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).

Karen E. Williams, John C. Adams, Barrett T. Kitch, 2022, Journal of Intensive Care.