Kensuke Kojima

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 12

Top Topics

Computationally Expensive

Functional Programming

Boolean Functions

Top Venues

Publications

Yasuaki Kobayashi, Kensuke Kojima, Norihide Matsubara, Taiga Sone, Akihiro Yamamoto
Algorithms and Hardness Results for the Maximum Balanced Connected Subgraph Problem. COCOA (2019)
Yasuaki Kobayashi, Kensuke Kojima, Norihide Matsubara, Taiga Sone, Akihiro Yamamoto
Algorithms and Hardness Results for the Maximum Balanced Connected Subgraph Problem. CoRR (2019)
Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga
Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis. Theor. Comput. Sci. 747 (2018)
Kensuke Kojima
BDDs Naturally Represent Boolean Functions, and ZDDs Naturally Represent Sets of Sets. CoRR (2018)
Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi
Automated Verification of Functional Correctness of Race-Free GPU Programs. J. Autom. Reason. 60 (3) (2018)
Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi
A Nonstandard Functional Programming Language. APLAS (2017)
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
Sharper and Simpler Nonlinear Interpolants for Program Verification. CoRR (2017)
Kensuke Kojima, Atsushi Igarashi
A Hoare Logic for GPU Kernels. ACM Trans. Comput. Log. 18 (1) (2017)
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
Sharper and Simpler Nonlinear Interpolants for Program Verification. APLAS (2017)
Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi
Automated Verification of Functional Correctness of Race-Free GPU Programs. VSTTE (2016)
Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis. CoRR (2016)
Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis. SAS (2016)
Kensuke Kojima, Atsushi Igarashi
A Hoare Logic for SIMT Programs. APLAS (2013)
Kensuke Kojima
Relational and neighborhood semantics for intuitionistic modal logic. Reports Math. Log. 47 (2012)
Kensuke Kojima
Which classical correspondence is valid in intuitionistic modal logic? Log. J. IGPL 20 (1) (2012)
Kensuke Kojima, Atsushi Igarashi
Constructive linear-time temporal logic: Proof systems and Kripke semantics. Inf. Comput. 209 (12) (2011)