Kazuhiro Inaba
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2010–2014
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | FOSSACS | Unsafe Order-2 Tree Languages Are Context-Sensitive. | Naoki Kobayashi, Kazuhiro Inaba, Takeshi Tsukada |
| 2014 | ICML | Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm. | Tasuku Soma, Naonori Kakimura, Kazuhiro Inaba, Ken-ichi Kawarabayashi |
| 2012 | PEPM | Polynomial-time inverse computation for accumulative functions with multiple data traversals. | Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano |
| 2011 | LOPSTR | Marker-Directed Optimization of UnCAL Graph Transformations. | Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano |
| 2011 | PPDP | Graph-transformation verification using monadic second-order logic. | Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano |
| 2010 | ICFP | Bidirectionalizing graph transformations. | Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano |