Kojima, Kensuke

J-GLOBAL         Last updated: Jun 29, 2018 at 09:44
 
Avatar
Name
Kojima, Kensuke
Affiliation
Kyoto University
Job title
PD researcher

Research Areas

 
 

Published Papers

 
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]
Kensuke Kojima,Atsushi Igarashi
ACM Trans. Comput. Log.   18(1) 3:1-3:43   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