Kensuke Kojima

Identifiers

No identifiers captured yet.

Papers (3)

1. BDDs Naturally Represent Boolean Functions, and ZDDs Naturally Represent Sets of Sets cs.LO · 2018 · author #1
2. Sharper and Simpler Nonlinear Interpolants for Program Verification cs.LO · 2017 · author #3
3. Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis cs.PL · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Kohei Suenaga 2 shared papers
• Ichiro Hasuo 1 shared papers
• Kengo Kido 1 shared papers
• Minoru Kinoshita 1 shared papers
• Takamasa Okudono 1 shared papers
• Yuki Nishida 1 shared papers