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