Kengo Kido

Identifiers

No identifiers captured yet.

Papers (3)

1. Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version) cs.SY · 2017 · author #1
2. Sharper and Simpler Nonlinear Interpolants for Program Verification cs.LO · 2017 · author #5
3. Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version) cs.PL · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ichiro Hasuo 3 shared papers
• Kensuke Kojima 1 shared papers
• Kohei Suenaga 1 shared papers
• Sean Sedwards 1 shared papers
• Swarat Chaudhuri 1 shared papers
• Takamasa Okudono 1 shared papers
• Yuki Nishida 1 shared papers