Kengo Kido

Identifiers

• name variant Kengo Kido 0.60 · backfill

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

• 1511.00825 #1 · backfill · confidence 0.70 Kengo Kido
• 1712.06311 #1 · arxiv_oai · confidence 0.70 Kengo Kido

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