Kojima, Kensuke

J-GLOBAL         Last updated: Jun 14, 2019 at 18:07
 
Avatar
Name
Kojima, Kensuke
Affiliation
Kyoto University
Job title
PD researcher
ORCID ID
0000-0001-7245-1810

Research Areas

 
 

Published Papers

 
Extension of Formal Concept Analysis for (k,l)-Plex in Bipartite Graphs
Kojima, Kensuke and Wu, Ketian
45-49   Jan 2019
Comparing BDDs and ZDDs via Categorical Properties of Boolean Functions and Combination Sets
Kojima, Kensuke
SIG-FPAI   B5(03) 57-62   Mar 2018
Kensuke Kojima,Akifumi Imanishi,Atsushi Igarashi
J. Autom. Reasoning   60(3) 279-298   2018   [Refereed]
Hirofumi Nakamura,Kensuke Kojima,Kohei Suenaga,Atsushi Igarashi
Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings   514-533   2017   [Refereed]
Takamasa Okudono,Yuki Nishida,Kensuke Kojima,Kohei Suenaga,Kengo Kido,Ichiro Hasuo
Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings   491-513   2017   [Refereed]

Misc

 

Conference Activities & Talks

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