Rajesh K. Bawa

	2009
13		Rajesh K. Bawa, Srinivasan Natesan: An efficient hybrid numerical scheme for convection-dominated boundary-value problems. Int. J. Comput. Math. 86(2): 261-273 (2009)
	2008
12		Rajesh K. Bawa, Vinod Kumar: An Efficient Computational Technique for a System of Singularly Perturbed Initial Value Problems. NAA 2008: 184-191
	2007
11		Rajesh K. Bawa: A parallel approach for self-adjoint singular perturbation problems using Numerov's scheme. Int. J. Comput. Math. 84(3): 317-323 (2007)
	2006
10		Rajesh K. Bawa, Srinivasan Natesan: Parallel Implementation of a Spline Based Computational Approach for Singular Perturbation Problems. HiPC 2006: 254-262
9		Rajesh K. Bawa: Parallelizable Computational Technique for Singularly Perturbed Boundary Value Problems Using Spline. ICCSA (1) 2006: 1177-1182
8		Rajesh K. Bawa, V. Rathish Kumar, Tanu Gupta: Parallel Mesh Division Algorithm For General Linear Two Point Boundary Value Problems. PARELEC 2006: 417-420
	2005
7		Rajesh K. Bawa, Srinivasan Natesan: Quintic Spline Based Computational Scheme for Singularly Perturbed Convection-Diffusion Problems. HPCS 2005: 24-28
6		Rajesh K. Bawa, Srinivasan Natesan: Uniformly Convergent Computational Technique for Singularly Perturbed Self-adjoint Mixed Boundary-Value Problems. International Conference on Computational Science (3) 2005: 1104-1107
5		Rajesh K. Bawa: Spline based computational technique for linear singularly perturbed boundary value problems. Applied Mathematics and Computation 167(1): 225-236 (2005)
	1999
4		Ludovic Jacomme, Frédéric Pétrot, Rajesh K. Bawa: Formal Analysis of Single WAIT VHDL processes for Semantic Based Synthesis. VLSI Design 1999: 151-156
	1998
3		Fahim Rahim-Sarwary, Emmanuelle Encrenaz, Michel Minoux, Rajesh K. Bawa: Modular model checking of VLSI designs described in VHDL. Computers and Their Applications 1998: 368-371
2		Ludovic Jacomme, Frédéric Pétrot, Rajesh K. Bawa: Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis. EUROMICRO 1998: 10317-10620
	1996
1		Rajesh K. Bawa, Emmanuelle Encrenaz: A Tool for Translation of VHDL Descriptions into a Formal Model and its Application to Formal Verification and Synthesis. FTRTFT 1996: 471-474

Coauthor Index

1	Emmanuelle Encrenaz-Tiphène (Emmanuelle Encrenaz)	[1] [3]
2	Tanu Gupta	[8]
3	Ludovic Jacomme	[2] [4]
4	V. Rathish Kumar	[8]
5	Vinod Kumar	[12]
6	Michel Minoux	[3]
7	Srinivasan Natesan	[6] [7] [10] [13]
8	Frédéric Pétrot	[2] [4]
9	Fahim Rahim-Sarwary	[3]

Colors in the list of coauthors