Kensuke Kojima

Available identifiers

zbMath Open kojima.kensukeMaRDI QIDQ764260

List of research outcomes

Publication	Date of Publication	Type
Sharper and Simpler Nonlinear Interpolants for Program Verification	2022-12-09	Paper
A Nonstandard Functional Programming Language	2022-12-09	Paper
Algorithms and hardness results for the maximum balanced connected subgraph problem	2020-05-13	Paper
Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis	2018-09-24	Paper
Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis	2018-08-27	Paper
BDDs Naturally Represent Boolean Functions, and ZDDs Naturally Represent Sets of Sets	2018-06-26	Paper
Automated verification of functional correctness of race-free GPU programs	2018-03-01	Paper
A Hoare Logic for GPU Kernels	2017-07-13	Paper
A Hoare Logic for SIMT Programs	2015-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q5412173	2014-04-25	Paper
Which classical correspondence is valid in intuitionistic modal logic?	2012-08-01	Paper
Constructive linear-time temporal logic: proof systems and Kripke semantics	2012-03-13	Paper

Research outcomes over time

This page was built for person: Kensuke Kojima