Modular Checking of C Programs Using SAT-Based Bounded Model Checker. - Yuusuke Hashimoto; Shin Nakajima 001 (APSEC, 2009)

Modular Checking with Model Checking. - Yuusuke Hashimoto; Shin Nakajima 001 (SSV, 2009)

Collision Aware Flow-Based Adaptive Resource Allocation for SDN-enabled SDM Optical Packet Switching Networks. - Yuusuke Hashimoto; Kosuke Kubota; Akihiro Fujimoto; Yosuke Tanigawa; Yusuke Hirota; Hideki Tode (ECOC, 2020)

Experimental Demonstration of Dynamic Service Function Chaining Based on Server Load Information in Optical Packet Switching Networks. - Yuusuke Hashimoto; Yuya Seki; Kosuke Kubota; Akihiro Fujimoto; Yosuke Tanigawa; Yusuke Hirota; Hideki Tode (APNOMS, 2022)

A Data Transfer Method Combining Erasure-coding with Cumulative Acknowledgment for Lossy Optical Packet Switching Networks. - Maho Ono; Yuya Seki; Yuusuke Hashimoto; Yosuke Tanigawa; Yusuke Hirota; Hideki Tode (CCNC, 2023)

A Novel Transport Protocol Suitable for Bufferless Optical Packet Switching Networks. - Hideki Tode; Yuusuke Hashimoto; Yosuke Tanigawa; Yusuke Hirota (PSC, 2023)

Data transfer method combining erasure coding and cumulative decoding-status feedback: demonstration on an optical packet-switching network testbed. - Maho Ono; Yuusuke Hashimoto; Yuya Seki; Yosuke Tanigawa; Yusuke Hirota; Hideki Tode (J. Opt. Commun. Netw., 2025)