| |
| 2008 | ||
|---|---|---|
| 5 | EE | Ch. Rambabu, I. Chakrabarti: An Efficient Hillclimbing-based Watershed Algorithm and its Prototype Hardware Architecture. Signal Processing Systems 52(3): 281-295 (2008) |
| 2007 | ||
| 4 | EE | Ch. Rambabu, I. Chakrabarti: An efficient immersion-based watershed transform method and its prototype architecture. Journal of Systems Architecture 53(4): 210-226 (2007) |
| 1997 | ||
| 3 | EE | I. Chakrabarti, Dilip Sarkar, Arun K. Majumdar: Inductive Verification of Sequential Circuits with a Datapath. VLSI Design 1997: 226-231 |
| 1995 | ||
| 2 | I. Chakrabarti, Dilip Sarkar, Arun K. Majumdar: Identification of Inductive Properties during Verification of Synchronous Sequential Circuits. J. Autom. Reasoning 14(3): 427-462 (1995) | |
| 1994 | ||
| 1 | I. Chakrabarti, Dilip Sarkar: Mechanical Identification of Inductive Properties During Verification of Finite State Machines. VLSI Design 1994: 389-394 | |
| 1 | Arun K. Majumdar | [2] [3] |
| 2 | Ch. Rambabu | [4] [5] |
| 3 | Dilip Sarkar | [1] [2] [3] |