A MATLAB-Based Code Generator for Sparse Matrix Computations. - Hideyuki Kawabata; Mutsumi Suzuki; Toshiaki Kitamura (APLAS, 2004)

A MATLAB-Based Code Generator for Parallel Sparse Matrix Computations Utilizing PSBLAS. - Taiji Sasaoka; Hideyuki Kawabata; Toshiaki Kitamura (IEICE Trans. Inf. Syst., 2007)

Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations. - Hideyuki Kawabata; Hideya Iwasaki (ESOP, 2016)

Speeding up Exact Real Arithmetic on Fast Binary Cauchy Sequences by Using Memoization Based on Quantized Precision. - Hideyuki Kawabata (J. Inf. Process., 2017)

Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General. - Hideyuki Kawabata; Yuta Tanaka; Mai Kimura; Tetsuo Hironaka (APLAS, 2018)

OSAIFU: A Source Code Factorizer on Android Studio. - Masahiro Hata; Masashi Nishimoto; Keiji Nishiyama; Hideyuki Kawabata; Tetsuo Hironaka (ICSME, 2019)

Extracting Inclusion Graphs of API Member Sets to Improve Searchability. - Yushi Kondoh; Masashi Nishimoto; Keiji Nishiyama; Hideyuki Kawabata; Tetsuo Hironaka (SERA, 2019)

Supporting Program Understanding by Automatic Indexing of Functionalities in Source Code. - Masashi Nishimoto; Keiji Nishiyama; Hideyuki Kawabata; Tetsuo Hironaka (SERA, 2019)

Efficient Searching for Essential API Member Sets based on Inclusion Relation Extraction. - Yushi Kondoh; Masashi Nishimoto; Keiji Nishiyama; Hideyuki Kawabata; Tetsuo Hironaka (Int. J. Networked Distributed Comput., 2019)

SAIFU: Supporting Program Understanding by Automatic Indexing of Functionalities in Source Code. - Masashi Nishimoto; Keiji Nishiyama; Hideyuki Kawabata; Tetsuo Hironaka (Int. J. Networked Distributed Comput., 2019)

Resolving Ambiguous Types in Haskell by Checking Uniqueness of Type Variable Assignments under Type Class Constraints. - Yuya Kono; Hideyuki Kawabata; Tetsuo Hironaka (J. Inf. Process., 2019)

Easy-going Development of Event-Driven Applications by Iterating a Search-Select-Superpose Loop. - Masashi Nishimoto; Keiji Nishiyama; Hideyuki Kawabata; Tetsuo Hironaka (J. Inf. Process., 2019)

Rumpfr: A Fast and Memory Leak-free Rust Binding to the GNU MPFR Library. - Tomoya Michinaka; Hideyuki Kawabata; Tetsuo Hironaka (J. Inf. Process., 2021)

Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers. - Momoka Saito; Hideya Iwasaki; Hideyuki Kawabata; Tsuneyasu Komiya (Haskell, 2024)