Search the dblp DataBase

Publications of Author

1. Moi Riba, Jatindra Kumar Deka
   Variable Ordering of BDDs using Genetic Algorithm. [Citation Graph (0, 0)][DBLP]
   IICAI, 2005, pp:198-208 [Conf]
   
2. Jatindra Kumar Deka, S. Chaki, Pallab Dasgupta, P. P. Chakrabarti
   Abstractions for model checking of event timings. [Citation Graph (0, 0)][DBLP]
   ISCAS (5), 2001, pp:125-128 [Conf]
   
3. Jatindra Kumar Deka
   Reasoning about Extremal Properties of Events. [Citation Graph (0, 0)][DBLP]
   TIME, 2003, pp:26-36 [Conf]
   
4. Jatindra Kumar Deka, Pallab Dasgupta, P. P. Chakrabarti
   An Efficiently Checkable Subset of TCTL for Formal Verification of Transition Systems with Delays. [Citation Graph (0, 0)][DBLP]
   VLSI Design, 1999, pp:294-299 [Conf]
   
5. Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka, Sriram Sankaranarayanan
   Min-max Computation Tree Logic. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 2001, v:127, n:1, pp:137-162 [Journal]
   
6. Pallab Dasgupta, Jatindra Kumar Deka, Partha Pratim Chakrabarti
   Model checking on timed-event structures. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. on CAD of Integrated Circuits and Systems, 2000, v:19, n:5, pp:601-611 [Journal]