Ronojoy Ghosh

Publication Activity (10 Years)

Years Active: 2000-2005
Publications (10 Years): 0

Publications

Ronojoy Ghosh, Claire J. Tomlin
A query-based technique for interpreting reachable sets for hybrid automaton models of protein feedback signaling. ACC (2005)
Ronojoy Ghosh, Claire J. Tomlin
An algorithm for reachability computations on hybrid automata models of protein signaling networks. CDC (2004)
Ronojoy Ghosh, Ashish Tiwari, Claire J. Tomlin
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata. HSCC (2003)
Ronojoy Ghosh, Keith Amonlirdviman, Claire J. Tomlin
A hybrid system model of planar cell polarity signaling in Drosophila melanogaster wing epithelium. CDC (2002)
Inseok Hwang, Hamsa Balakrishnan, Ronojoy Ghosh, Claire J. Tomlin
Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction. HiPC (2002)
Claire J. Tomlin, Ian Mitchell, Ronojoy Ghosh
Safety verification of conflict resolution manoeuvres. IEEE Trans. Intell. Transp. Syst. 2 (2) (2001)
Ronojoy Ghosh, Claire J. Tomlin
Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model. HSCC (2001)
Ronojoy Ghosh, Claire J. Tomlin
Maneuver design for multiple aircraft conflict resolution. ACC (2000)