Logical Partitioning without Architectural Supports. - Taku Shimosawa; Hiroya Matsuba; Yutaka Ishikawa (COMPSAC, 2008)

Inter-kernel Communication between Multiple Kernels on Multicore Machines. - Taku Shimosawa; Yutaka Ishikawa (Inf. Media Technol., 2010)

Configurable Reliability in Multicore Operating Systems. - Jianwei Liao 001; Taku Shimosawa; Yutaka Ishikawa (CSE, 2011)

A file I/O system for many-core based clusters. - Yuki Matsuo; Taku Shimosawa; Yutaka Ishikawa (ROSS@ICS, 2012)

Interface for heterogeneous kernels: A framework to enable hybrid OS designs targeting high performance computing on manycore architectures. - Taku Shimosawa; Balazs Gerofi; Masamichi Takagi; Gou Nakamura; Tomoki Shirasawa; Yuji Saeki; Masaaki Shimizu; Atsushi Hori; Yutaka Ishikawa (HiPC, 2014)

Parallel SMT Solving and Concurrent Symbolic Execution. - Emil Rakadjiev; Taku Shimosawa; Hiroshi Mine; Satoshi Oshima (TrustCom/BigDataSE/ISPA (3), 2015)

A Practical Screening Method for Blockchain-Based Systems. - Yuki Kondo; Taku Shimosawa; Satoshi Oshima (iThings/GreenCom/CPSCom/SmartData, 2018)

BCVerifier: A Tool to Verify Hyperledger Fabric Ledgers. - Taku Shimosawa; Tatsuya Sato; Satoshi Oshima (Blockchain, 2020)

OpsSC: Decentralized Blockchain Network Operation Workflow for Hyperledger Fabric. - Tatsuya Sato; Taku Shimosawa; Yosuke Himura (Blockchain, 2021)

Operations Smart Contract to Realize Decentralized System Operations Workflow for Consortium Blockchain. - Tatsuya Sato; Taku Shimosawa; Yosuke Himura (IEICE Trans. Commun., 2022)

BillingOpsSC: Smart Contract-based Service Billing Management Method for Consortium Blockchain-based Systems. - Tatsuya Sato; Taku Shimosawa; Nariyoshi Yamai (J. Inf. Process., 2024)

Concept of HAOpsSC: Toward Decentralized Operations for Ensuring High Availability in Consortium Blockchain-based Systems. - Tatsuya Sato; Taku Shimosawa; Nariyoshi Yamai (ICBC, 2025)