Inseok Hwang (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Hamsa Balakrishnan, Inseok Hwang, Jung Soon Jang, Claire Tomlin: Inference Methods for Autonomous Stochastic Linear Hybrid Systems. HSCC 2004: 64-79

1 Inseok Hwang, Hamsa Balakrishnan, Ronojoy Ghosh, Claire Tomlin: Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction. HiPC 2002: 715-724

Selection of 2 from 6 records - Inseok Hwang has 17 coauthors

3		Hamsa Balakrishnan, Inseok Hwang, Jung Soon Jang, Claire Tomlin: Inference Methods for Autonomous Stochastic Linear Hybrid Systems. HSCC 2004: 64-79
1		Inseok Hwang, Hamsa Balakrishnan, Ronojoy Ghosh, Claire Tomlin: Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction. HiPC 2002: 715-724