Kensuke Kojima

According to our database, Kensuke Kojima authored at least 11 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Algorithms and Hardness Results for the Maximum Balanced Connected Subgraph Problem.

Yasuaki Kobayashi, Kensuke Kojima, Norihide Matsubara, Taiga Sone, Akihiro Yamamoto

Proceedings of the Combinatorial Optimization and Applications, 2019

2018

Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis.

Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga

Theor. Comput. Sci., 2018

Automated Verification of Functional Correctness of Race-Free GPU Programs.

Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi

J. Autom. Reason., 2018

BDDs Naturally Represent Boolean Functions, and ZDDs Naturally Represent Sets of Sets.

Kensuke Kojima

CoRR, 2018

2017

A Hoare Logic for GPU Kernels.

Kensuke Kojima, Atsushi Igarashi

ACM Trans. Comput. Log., 2017

Sharper and Simpler Nonlinear Interpolants for Program Verification.

Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

A Nonstandard Functional Programming Language.

Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2013

A Hoare Logic for SIMT Programs.

Kensuke Kojima, Atsushi Igarashi

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Relational and neighborhood semantics for intuitionistic modal logic.

Kensuke Kojima

Reports Math. Log., 2012

Which classical correspondence is valid in intuitionistic modal logic?

Kensuke Kojima

Log. J. IGPL, 2012

2011

Constructive linear-time temporal logic: Proof systems and Kripke semantics.

Kensuke Kojima, Atsushi Igarashi

Inf. Comput., 2011