Girish Bhat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1995–2001
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | CAV | Efficient Model Checking Via Bchi Tableau Automata. | Girish Bhat, Rance Cleaveland, Alex Groce |
| 1997 | CONCUR | Adding Partial Orders to Linear Temporal Logic. | Girish Bhat, Doron A. Peled |
| 1997 | FORTE | Dynamic Priorities for Modeling Real-Time. | Girish Bhat, Rance Cleaveland, Gerald Lttgen |
| 1996 | LICS | Efficient Model Checking via the Equational µ-Calculus. | Girish Bhat, Rance Cleaveland |
| 1996 | TACAS | Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus. | Girish Bhat, Rance Cleaveland |
| 1995 | LICS | Efficient On-the-Fly Model Checking for CTL* | Girish Bhat, Rance Cleaveland, Orna Grumberg |