Edit Profile (opens in new tab) Aanand, Sumit Jha Compute Distance To: Compute Author ID: aanand.sumit-jha Published as: Aanand, Sumit Jha Documents Indexed: 1 Publication since 2007 Co-Authors: 2 Co-Authors with 1 Joint Publication 35 Co-Co-Authors Co-Authors 0 single-authored 1 Bu, Lei 1 Li, Xuandong Serials Fields 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming. Zbl 1277.68139Li, Xuandong; Aanand, Sumit Jha; Bu, Lei 1 2007 Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming. Zbl 1277.68139Li, Xuandong; Aanand, Sumit Jha; Bu, Lei 1 2007 Cited by 4 Authors 1 Bu, Lei 1 Li, Xuandong 1 Xie, Dingbao 1 Zhao, Jianhua Cited in 1 Serial 1 Formal Methods in System Design Cited in 2 Fields 1 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year