Hideyuki Kawabata
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2004–2024
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | HASKELL | Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers. | Momoka Saito, Hideya Iwasaki, Hideyuki Kawabata, Tsuneyasu Komiya |
| 2019 | SERA | Extracting Inclusion Graphs of API Member Sets to Improve Searchability. | Yushi Kondoh, Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka |
| 2019 | SERA | Supporting Program Understanding by Automatic Indexing of Functionalities in Source Code. | Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka |
| 2018 | APLAS | Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General. | Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, Tetsuo Hironaka |
| 2016 | ESOP | Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations. | Hideyuki Kawabata, Hideya Iwasaki |
| 2004 | APLAS | A MATLAB-Based Code Generator for Sparse Matrix Computations. | Hideyuki Kawabata, Mutsumi Suzuki, Toshiaki Kitamura |