Kensuke Kojima

Research field (4)： Software , Information theory , Applied mathematics and statistics , Basic mathematics

Research keywords (6)：理論計算機科学 , 形式手法 , 直観主義論理 , 様相論理 , 非古典論理 , 数理論理学

Papers (18)：

Kojima, Kensuke, Wu, Ketian. Extension of Formal Concept Analysis for (k,l)-Plex in Bipartite Graphs. 2019. 45-49
Yasuaki Kobayashi, Kensuke Kojima, Norihide Matsubara, Taiga Sone, Akihiro Yamamoto. Algorithms and Hardness Results for the Maximum Balanced Connected Subgraph Problem. Combinatorial Optimization and Applications. 2019. 303-315
Kojima, Kensuke. Comparing BDDs and ZDDs via Categorical Properties of Boolean Functions and Combination Sets. SIG-FPAI. 2018. B5. 03. 57-62
Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi. Automated Verification of Functional Correctness of Race-Free GPU Programs. Journal of Automated Reasoning. 2018. 60. 3. 279-298
Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga. Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis. Theoretical Computer Science. 2018

ｍore...

MISC (1)：

Towards the Fixed-Parameter Tractability of the Commutative Matching Problem. 2020. 112. 61-66

Lectures and oral presentations (5)：

Formal Verification of the Correctness of CUDA Programs Using Hoare Logic
(International Symbosium on Post Petascale System Software 2014)
Towards Generic GluonJ (in Japanese)
(PPL 2014 2014)
A Hoare logic for SIMT programs (in Japanese)
(PPL 2013 2013)
Birelational Kripke semantics for an intuitionistic LTL
(Topology, algebra and categories in logic (TACL) 2009 2009)
On Constructive Linear-Time Temporal Logic
(Intuitionistic modal logic and applications (IMLA) '08 2008)

Professional career (1)：

Association Membership(s) (2)：

ACM , JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page