Kensuke Kojima

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Sharper and Simpler Nonlinear Interpolants for Program Verification Programming Languages and Systems	2022-12-09	Paper
A Nonstandard Functional Programming Language Programming Languages and Systems	2022-12-09	Paper
Algorithms and hardness results for the maximum balanced connected subgraph problem (available as arXiv preprint)	2020-05-13	Paper
Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis Theoretical Computer Science	2018-09-24	Paper
Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis Lecture Notes in Computer Science	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 Journal of Automated Reasoning	2018-03-01	Paper
A Hoare Logic for GPU Kernels ACM Transactions on Computational Logic	2017-07-13	Paper
A Hoare logic for SIMT programs Programming Languages and Systems	2015-01-12	Paper
Relational and neighborhood semantics for intuitionistic modal logic	2014-04-25	Paper
Which classical correspondence is valid in intuitionistic modal logic? Logic Journal of the IGPL	2012-08-01	Paper
Constructive linear-time temporal logic: proof systems and Kripke semantics Information and Computation	2012-03-13	Paper

Research outcomes over time

This page was built for person: Kensuke Kojima