Toshihiro Nakayama

According to our database, Toshihiro Nakayama authored at least 4 papers between 2009 and 2022.

Collaborative distances:

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

2022

Demo: New View on Plasma Fractals - From the High Point of Array Languages.

Oleg Kiselyov, Toshihiro Nakayama

CoRR, 2022

2010

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

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2010

2009

Teaching formal methods in the context of software engineering.

Shaoying Liu, Kazuhiro Takahashi, Toshinori Hayashi, Toshihiro Nakayama

ACM SIGCSE Bull., 2009

Super-Resolution of Multiple Moving 3D Objects with Pixel-Based Registration.

Takuma Yamaguchi, Hiroshi Kawasaki, Ryo Furukawa, Toshihiro Nakayama

Proceedings of the Computer Vision, 2009