HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa. - Shota Matsumoto; Fumihiko Kono; Teruya Kobayashi; Kazunori Ueda (NSV, 2015)

Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection. - Kenichi Betsuno; Shota Matsumoto; Kazunori Ueda (CyPhy, 2016)

Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic. - Shota Matsumoto; Kazunori Ueda (TIME, 2016)

Mapping RDF Graphs to Property Graphs. - Shota Matsumoto; Ryota Yamanaka; Hirokazu Chiba (JIST (Workshops & Posters), 2018)

Property Graph Exchange Format. - Hirokazu Chiba; Ryota Yamanaka; Shota Matsumoto (CoRR, 2019)

G2GML: Graph to Graph Mapping Language for Bridging RDF and Property Graphs. - Hirokazu Chiba; Ryota Yamanaka; Shota Matsumoto (ISWC (Demos/Industry), 2020)

Safety Implications of V2X Communication Delays in Cooperative Automated Driving. - Shota Matsumoto; Kenya Sato (CCNC, 2025)