BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
2 × USA
Collaborated with:
R.Cleaveland A.Groce O.Grumberg
Talks about:
model (4) check (4) effici (3) calculus (2) fragment (1) automata (1) tableau (1) modal (1) local (1) equat (1)

Person: Girish Bhat

DBLP DBLP: Bhat:Girish

Contributed to:

CAV 20012001
LICS 19961996
TACAS 19961996
LICS 19951995

Wrote 4 papers:

CAV-2001-BhatCG #automaton #model checking #performance
Efficient Model Checking Via Büchi Tableau Automata (GB, RC, AG), pp. 38–52.
LICS-1996-BhatC #calculus #equation #model checking #performance #μ-calculus
Efficient Model Checking via the Equational μ-Calculus (GB, RC), pp. 304–312.
TACAS-1996-BhatC #calculus #model checking #μ-calculus
Efficent Local Model-Checking for Fragments of teh Modal μ-Calculus (GB, RC), pp. 107–126.
LICS-1995-BhatCG #model checking #on the fly #performance
Efficient On-the-Fly Model Checking for CTL* (GB, RC, OG), pp. 388–397.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.