Search the dblp DataBase
Girish Bhat: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Girish Bhat, Rance Cleaveland, Alex Groce
Efficient Model Checking Via Büchi Tableau Automata. [Citation Graph (0, 0)][DBLP]
CAV, 2001, pp:38-52 [Conf] - Girish Bhat, Doron Peled
Adding Partial Orders to Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
CONCUR, 1997, pp:119-134 [Conf] - Girish Bhat, Rance Cleaveland, Gerald Lüttgen
Dynamic Priorities for Modeling Real-Time. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:321-336 [Conf] - Girish Bhat, Rance Cleaveland
Efficient Model Checking via the Equational µ-Calculus. [Citation Graph (0, 0)][DBLP]
LICS, 1996, pp:304-312 [Conf] - Girish Bhat, Rance Cleaveland, Orna Grumberg
Efficient On-the-Fly Model Checking for CTL* [Citation Graph (0, 0)][DBLP]
LICS, 1995, pp:388-397 [Conf] - Girish Bhat, Rance Cleaveland
Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus. [Citation Graph (0, 0)][DBLP]
TACAS, 1996, pp:107-126 [Conf] - Girish Bhat, Rance Cleaveland, Gerald Lüttgen
A Practical Approach to Implementing Real-Time Semantics. [Citation Graph (0, 0)][DBLP]
Ann. Software Eng., 1999, v:7, n:, pp:127-155 [Journal] - Girish Bhat, Doron Peled
Adding Partial Orders to Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 1998, v:36, n:1, pp:1-21 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002