Mechanical Identification of Inductive Properties During Verification of Finite State Machines. - I. Chakrabarti; Dipankar Sarkar 001 (VLSI Design, 1994)

Identification of Inductive Properties during Verification of Synchronous Sequential Circuits. - I. Chakrabarti; Dipankar Sarkar 001; Arun K. Majumdar (J. Autom. Reason., 1995)

Inductive Verification of Sequential Circuits with a Datapath. - I. Chakrabarti; Dipankar Sarkar 001; Arun K. Majumdar (VLSI Design, 1997)

An efficient immersion-based watershed transform method and its prototype architecture. - Ch. Rambabu; I. Chakrabarti (J. Syst. Archit., 2007)

An Efficient Hillclimbing-based Watershed Algorithm and its Prototype Hardware Architecture. - Ch. Rambabu; I. Chakrabarti (J. Signal Process. Syst., 2008)