D.K. Pradhan

Recent advances in verification, equivalence checking & SAT solvers

R. Dreschler, D.K. Pradhan, 2003, The IEEE International Symposium on Circuits and Systems, 2003. Tutorial Guide: ISCAS 2003..

GfXpress: A Technique for Synthesis and Optimization of $\hbox{GF}(2^{m})$ Polynomials

J. Mathew, D.K. Pradhan, A.M. Jabir, 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Wideband low-distortion sigma-delta ADC for WLAN

P. Mythili, B. R. Jose, D.K. Pradhan, 2007, 2007 6th International Conference on Information, Communications & Signal Processing.

Wavelet fuzzy combined approach for fault classification of a series-compensated transmission line

S. Pati, A.K. Pradhan, D.K. Pradhan, 2004, IEEE Transactions on Power Delivery.