5
Publications
135
Citations
5
H-Index
2000
Active since
Affiliations
Isao Sasano is an author at The University of Tokyo specializing in formal methods, program analysis, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisComputational ComplexityCompilersFormal VerificationParallel ProgrammingSoftware TestingSoftware Analysis
Publications per year
2000–2016
5
5
Isao Sasano, Zhenjiang Hu, Masato Takeichi et al. · 2000 · 41 citations · Full text
Mathematical Programming, Engineering, Analysis Of Algorithm +21
Lightweight fusion by fixed point promotion
Atsushi Ohori, Isao Sasano · ACM SIGPLAN Notices · 2007 · 41 citations
Lightweight fusion by fixed point promotion
Atsushi Ohori, Isao Sasano · 2007 · 28 citations
Iterative-free program analysis
Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano · 2003 · 10 citations
Rows per page
1–5 of 5