Items where Author is "Chatterjee, Krishnendu"

Article

Chatterjee, Krishnendu ; Dasgupta, Pallab ; Chakrabarti, P. P. (2005) Complexity of compositional model checking of computation tree logic on simple structures Lecture Notes in Computer Science, 3326 . pp. 89-102. ISSN 0302-9743

Chatterjee, Krishnendu ; Dasgupta, Pallab ; Chakrabarti, P. P. (2004) The power of first-order quantification over states in branching and linear time temporal logics Information Processing Letters, 91 (5). pp. 201-210. ISSN 0020-0190

Chatterjee, Krishnendu ; Dasgupta, Pallab ; Chakrabarti, P. P. (2003) A branching time temporal framework for quantitative reasoning Journal of Automated Reasoning, 30 (2). pp. 205-232. ISSN 0168-7433