Decision Diagrams for Solving a Job Scheduling Problem Under Precedence Constraints. - Kosuke Matsumoto; Kohei Hatano; Eiji Takimoto (SEA, 2018)

Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN. - Kosuke Matsumoto; Tomoharu Ugawa; Tatsuya Abe 001 (J. Inf. Process., 2018)

Visualization of Counterexamples of Memory Model-aware Model Checking Using SPIN. - Kosuke Matsumoto; Tomoharu Ugawa (J. Inf. Process., 2019)

Recovering Raindrop Removal Images under Heavy Rain. - Kosuke Matsumoto; Fumihiko Sakaue; Jun Sato (VISIGRAPP (4: VISAPP), 2020)