Efficient On-the-Fly Model Checking for CTL* - Girish Bhat; Rance Cleaveland; Orna Grumberg (LICS, 1995)

Efficient Model Checking via the Equational µ-Calculus. - Girish Bhat; Rance Cleaveland (LICS, 1996)

Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus. - Girish Bhat; Rance Cleaveland (TACAS, 1996)

Dynamic Priorities for Modeling Real-Time. - Girish Bhat; Rance Cleaveland; Gerald Lüttgen (FORTE, 1997)

Adding Partial Orders to Linear Temporal Logic. - Girish Bhat; Doron A. Peled (Fundam. Informaticae, 1998)

A Practical Approach to Implementing Real-Time Semantics. - Girish Bhat; Rance Cleaveland; Gerald Lüttgen (Ann. Softw. Eng., 1999)

Efficient Model Checking Via Büchi Tableau Automata. - Girish Bhat; Rance Cleaveland; Alex Groce (CAV, 2001)