Izumi Asakura

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 2

Top Topics

Sequent Calculi

Video Super Resolution

Computer Algebra

Top Venues

J. Inf. Process.

Publications

Izumi Asakura, Hidehiko Masuhara, Takuya Matsumoto, Kiminori Matsuzaki
Identification and Elimination of the Overhead of Accelerate with a Super-resolution Application. J. Inf. Process. 26 (2018)
Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani
Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq. J. Inf. Process. 24 (1) (2016)