Maneuver design for multiple aircraft conflict resolution. - Ronojoy Ghosh; Claire J. Tomlin (ACC, 2000)

Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model. - Ronojoy Ghosh; Claire J. Tomlin (HSCC, 2001)

Safety verification of conflict resolution manoeuvres. - Claire J. Tomlin; Ian Mitchell 001; Ronojoy Ghosh (IEEE Trans. Intell. Transp. Syst., 2001)

A hybrid system model of planar cell polarity signaling in Drosophila melanogaster wing epithelium. - Ronojoy Ghosh; Keith Amonlirdviman; Claire J. Tomlin (CDC, 2002)

Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction. - Inseok Hwang 002; Hamsa Balakrishnan; Ronojoy Ghosh; Claire J. Tomlin (HiPC, 2002)

Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata. - Ronojoy Ghosh; Ashish Tiwari 001; Claire J. Tomlin (HSCC, 2003)

An algorithm for reachability computations on hybrid automata models of protein signaling networks. - Ronojoy Ghosh; Claire J. Tomlin (CDC, 2004)

A query-based technique for interpreting reachable sets for hybrid automaton models of protein feedback signaling. - Ronojoy Ghosh; Claire J. Tomlin (ACC, 2005)