Kosuke Matsumoto

According to our database, Kosuke Matsumoto authored at least 4 papers between 2018 and 2020.

Collaborative distances:

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

2020

Recovering Raindrop Removal Images under Heavy Rain.

Kosuke Matsumoto, Fumihiko Sakaue, Jun Sato

Proceedings of the 15th International Joint Conference on Computer Vision, 2020

2019

Visualization of Counterexamples of Memory Model-aware Model Checking Using SPIN.

Kosuke Matsumoto, Tomoharu Ugawa

J. Inf. Process., 2019

2018

Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN.

Kosuke Matsumoto, Tomoharu Ugawa, Tatsuya Abe

J. Inf. Process., 2018

Decision Diagrams for Solving a Job Scheduling Problem Under Precedence Constraints.

Kosuke Matsumoto, Kohei Hatano, Eiji Takimoto

Proceedings of the 17th International Symposium on Experimental Algorithms, 2018