Super-Resolution of Multiple Moving 3D Objects with Pixel-Based Registration. - Takuma Yamaguchi; Hiroshi Kawasaki; Ryo Furukawa 001; Toshihiro Nakayama (ACCV (3), 2009)

Teaching formal methods in the context of software engineering. - Shaoying Liu; Kazuhiro Takahashi; Toshinori Hayashi; Toshihiro Nakayama (ACM SIGCSE Bull., 2009)

Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation. - Shaoying Liu; Toshinori Hayashi; Kazuhiro Takahashi; Koichiro Kimura; Toshihiro Nakayama; Shin Nakajima 001 (SoMeT, 2010)

Demo: New View on Plasma Fractals - From the High Point of Array Languages. - Oleg Kiselyov; Toshihiro Nakayama (CoRR, 2022)