dblp.uni-trier.dewww.uni-trier.de

Jatindra Kumar Deka

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1S. Chaki [4]
2P. P. Chakrabarti (Partha Pratim Chakrabarti) [1] [2] [3] [4]
3Pallab Dasgupta [1] [2] [3] [4]
4Moi Riba [6]
5Sriram Sankaranarayanan [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)