Sho Matsumoto

According to our database, Sho Matsumoto authored at least 6 papers between 2008 and 2025.

Collaborative distances:

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

2025

Automated Random Simulation Technique and Its Prototype Tool for Checking Abstract Collaborative Behavior of Multiple Systems Based on EPNAT.

Sho Matsumoto, Tetsuro Katayama, Tomohiko Takagi

J. Robotics Netw. Artif. Life, 2025

2024

Construction of VDM++ Specifications from Extended Screen Transition Diagrams for Validation of Microservice-based Web Applications.

Ryoichi Ishigami, Sho Matsumoto, Tomohiko Takagi

Proceedings of the 29th IEEE Pacific Rim International Symposium on Dependable Computing, 2024

EPNATOP: an Operational Profile for Verifying Software Designs Based on EPNAT.

Tomohiko Takagi, Rikuto Otake, Sho Matsumoto

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2019

Effect of a notch at the distal end of a microcatheter on vein deformation in segmental adrenal venous sampling: a preliminary study using computational fluid dynamics.

Tomo Kinoshita, Kazumasa Seiji, Narendra Kurnia Putra, Tomohito Watanabe, Sho Matsumoto, Makoto Ohta, Kei Takase

Medical Biol. Eng. Comput., 2019

2014

Integration of invariant matrices and moments of inverses of Ginibre and Wishart matrices.

Benoit Collins, Sho Matsumoto, Nadia Saad

J. Multivar. Anal., 2014

2008

Jack Deformations of Plancherel Measures and Traceless Gaussian Random Matrices.

Sho Matsumoto

Electron. J. Comb., 2008