Kengo Kido and Ichiro Hasuo - Free people check

(1 - 7 from 7

)

FEVER @CAV 2017

www.cs.ru.nl

... Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido and Ichiro Hasuo: Sharper and Simpler Nonlinear Interpolants for Program Verification ...

Author: Kengo Kido

easychair.org

Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo. In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR

Search | arXiv e-print repository

128.84.21.199

Authors: Kengo Kido, Sean Sedwards, Ichiro Hasuo. Abstract: Time delays pose an important challenge in networked control systems, which are now ubiquitous.

All web results to the name "Kengo Kido"

Kengo Kido - The Univ. of Tokyo

group-mmm.org

Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo. Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis. Preprint, Kengo Kido. Nonstandard Abstract Interpretation with Infinitesimals for Hybrid Systems. MSc thesis, University of Tokyo, Kengo Kido.

Related search requests for Kengo Kido

Yuki Nishida
Shinya Kido

People
Forename "Kengo" (277)
Name "Kido" (461)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Kengo Kido and Ichiro Hasuo Free People Check

FEVER @CAV 2017

Author: Kengo Kido

Search | arXiv e-print repository

All web results to the name "Kengo Kido"

Kengo Kido - The Univ. of Tokyo

APLAS 2017

SNR 2015: 1st International Workshop on Symbolic and...

[TYPES/announce] APLAS 2017: Call for Participation