Kensuke Kojima
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2013–2019
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | COCOA | Algorithms and Hardness Results for the Maximum Balanced Connected Subgraph Problem. | Yasuaki Kobayashi, Kensuke Kojima, Norihide Matsubara, Taiga Sone, Akihiro Yamamoto |
| 2017 | APLAS | A Nonstandard Functional Programming Language. | Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi |
| 2017 | APLAS | Sharper and Simpler Nonlinear Interpolants for Program Verification. | Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo |
| 2016 | SAS | Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis. | Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga |
| 2013 | APLAS | A Hoare Logic for SIMT Programs. | Kensuke Kojima, Atsushi Igarashi |