Satoshi Oshima

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 5

Top Topics

Multiresolution

Symbolic Execution

Top Venues

iThings/GreenCom/CPSCom/SmartData

Publications

Taku Shimosawa, Tatsuya Sato, Satoshi Oshima
BCVerifier: A Tool to Verify Hyperledger Fabric Ledgers. Blockchain (2020)
Yuki Kondo, Taku Shimosawa, Satoshi Oshima
A Practical Screening Method for Blockchain-Based Systems. iThings/GreenCom/CPSCom/SmartData (2018)
Satoshi Oshima, Rika Mochizuki, Reiner Lenz, Jinhui Chao
Modeling, Measuring, and Compensating Color Weak Vision. IEEE Trans. Image Process. 25 (6) (2016)
Satoshi Oshima, Rika Mochizuki, Reiner Lenz, Jinhui Chao
Modelling, Measuring and Compensating Color Weak Vision. CoRR (2015)
Emil Rakadjiev, Taku Shimosawa, Hiroshi Mine, Satoshi Oshima
Parallel SMT Solving and Concurrent Symbolic Execution. TrustCom/BigDataSE/ISPA (3) (2015)
Jinki Takahashi, Takumi Hashimoto, Ryota Kon'no, Shota Sugawara, Kazuki Ouchi, Satoshi Oshima, Takahiro Akyu, Yoshiaki Itoh
An IWAPU STD System for OOV Query Terms and Spoken Queries. NTCIR (2014)
Satoshi Oshima, Rika Mochizuki, Reiner Lenz, Jinhui Chao
Color-Weakness Compensation Using Riemann Normal Coordinates. ISM (2012)
Rika Mochizuki, Satoshi Oshima, Jinhui Chao
Fast Color-Weakness Compensation with Discrimination Threshold Matching. CCIW (2011)
Rika Mochizuki, Satoshi Oshima, Reiner Lenz, Jinhui Chao
Exact Compensation of Color-Weakness with Discrimination Threshold Matching. HCI (8) (2011)
Satoshi Oshima, Rika Mochizuki, Jinhui Chao, Reiner Lenz
Color Reproduction Using Riemann Normal Coordinates. CCIW (2009)
Reiner Lenz, Satoshi Oshima, Rika Mochizuki, Jinhui Chao
An invariant metric on the manifold of second order moments. ICCV Workshops (2009)