Kensuke Kojima

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