A Tool for Translation of VHDL Descriptions into a Formal Model and its Application to Formal Verification and Synthesis. - Rajesh K. Bawa; Emmanuelle Encrenaz (FTRTFT, 1996)

Modular model checking of VLSI designs described in VHDL. - Fahim Rahim-Sarwary; Emmanuelle Encrenaz; Michel Minoux; Rajesh K. Bawa (CATA, 1998)

Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis. - Ludovic Jacomme; Frédéric Pétrot; Rajesh K. Bawa (EUROMICRO, 1998)

Formal Analysis of Single WAIT VHDL processes for Semantic Based Synthesis. - Ludovic Jacomme; Frédéric Pétrot; Rajesh K. Bawa (VLSI Design, 1999)

Quintic Spline Based Computational Scheme for Singularly Perturbed Convection-Diffusion Problems. - Rajesh K. Bawa; Srinivasan Natesan (HPCS, 2005)

Uniformly Convergent Computational Technique for Singularly Perturbed Self-adjoint Mixed Boundary-Value Problems. - Rajesh K. Bawa; Srinivasan Natesan (International Conference on Computational Science (3), 2005)

Spline based computational technique for linear singularly perturbed boundary value problems. - Rajesh K. Bawa (Appl. Math. Comput., 2005)

Parallel Implementation of a Spline Based Computational Approach for Singular Perturbation Problems. - Rajesh K. Bawa; Srinivasan Natesan (HiPC, 2006)

Parallelizable Computational Technique for Singularly Perturbed Boundary Value Problems Using Spline. - Rajesh K. Bawa (ICCSA (1), 2006)

Parallel Mesh Division Algorithm For General Linear Two Point Boundary Value Problems. - Rajesh K. Bawa; B. V. Rathish Kumar; Tanu Gupta (PARELEC, 2006)

A parallel approach for self-adjoint singular perturbation problems using Numerov's scheme. - Rajesh K. Bawa (Int. J. Comput. Math., 2007)

An Efficient Computational Technique for a System of Singularly Perturbed Initial Value Problems. - Rajesh K. Bawa; Vinod Kumar (NAA, 2008)

An efficient hybrid numerical scheme for convection-dominated boundary-value problems. - Rajesh K. Bawa; Srinivasan Natesan (Int. J. Comput. Math., 2009)

A robust second-order numerical method for global solution and global normalized flux of singularly perturbed self-adjoint boundary-value problems. - Carmelo Clavero; Rajesh K. Bawa; Srinivasan Natesan (Int. J. Comput. Math., 2009)

Higher order global solution and normalized flux for singularly perturbed reaction-diffusion problems. - Rajesh K. Bawa; Carmelo Clavero (Appl. Math. Comput., 2010)

An ϵ-uniform hybrid scheme for singularly perturbed delay differential equations. - Rajesh K. Bawa; Arvind Kumar Lal; Vinod Kumar (Appl. Math. Comput., 2011)

A review on binarization algorithms for camera based natural scene images. - Rajesh K. Bawa; Ganesh K. Sethi (ICACCI, 2012)

A robust computational technique for a system of singularly perturbed reaction-diffusion equations. - Vinod Kumar; Rajesh K. Bawa; Arvind Kumar Lal (Int. J. Appl. Math. Comput. Sci., 2014)

Enhancing the detection of airway disease by applying deep learning and explainable artificial intelligence. - Apeksha Koul; Rajesh K. Bawa; Yogesh Kumar 002 (Multim. Tools Appl., 2024)