Shota Matsumoto

According to our database, Shota Matsumoto authored at least 6 papers between 2015 and 2020.

Collaborative distances:

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

2020

G2GML: Graph to Graph Mapping Language for Bridging RDF and Property Graphs.

Hirokazu Chiba, Ryota Yamanaka, Shota Matsumoto

Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

2019

Property Graph Exchange Format.

Hirokazu Chiba, Ryota Yamanaka, Shota Matsumoto

CoRR, 2019

2018

Mapping RDF Graphs to Property Graphs.

Shota Matsumoto, Ryota Yamanaka, Hirokazu Chiba

Proceedings of the Workshop and Poster Proceedings of the 8th Joint International Semantic Technology Conference co-located with the 8th Joint International Semantic Technology Conference (JIST 2018), 2018

2016

Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic.

Shota Matsumoto, Kazunori Ueda

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection.

Kenichi Betsuno, Shota Matsumoto, Kazunori Ueda

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

2015

HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa.

Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi, Kazunori Ueda

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015