2005 |
6 | | Moi Riba,
Jatindra Kumar Deka:
Variable Ordering of BDDs using Genetic Algorithm.
IICAI 2005: 198-208 |
2003 |
5 | EE | Jatindra Kumar Deka:
Reasoning about Extremal Properties of Events.
TIME 2003: 26-36 |
2001 |
4 | EE | Jatindra Kumar Deka,
S. Chaki,
Pallab Dasgupta,
P. P. Chakrabarti:
Abstractions for model checking of event timings.
ISCAS (5) 2001: 125-128 |
3 | EE | Pallab Dasgupta,
P. P. Chakrabarti,
Jatindra Kumar Deka,
Sriram Sankaranarayanan:
Min-max Computation Tree Logic.
Artif. Intell. 127(1): 137-162 (2001) |
2000 |
2 | EE | 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 | EE | 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 |