Rajesh K. Bawa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1998–2006
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | HiPC | Parallel Implementation of a Spline Based Computational Approach for Singular Perturbation Problems. | Rajesh K. Bawa, Srinivasan Natesan |
| 2006 | ICCSA | Parallelizable Computational Technique for Singularly Perturbed Boundary Value Problems Using Spline. | Rajesh K. Bawa |
| 2005 | ICCS | Uniformly Convergent Computational Technique for Singularly Perturbed Self-adjoint Mixed Boundary-Value Problems. | Rajesh K. Bawa, Srinivasan Natesan |
| 1999 | VLSID | Formal Analysis of Single WAIT VHDL processes for Semantic Based Synthesis. | Ludovic Jacomme, Frdric Ptrot, Rajesh K. Bawa |
| 1998 | CATA | Modular model checking of VLSI designs described in VHDL. | Fahim Rahim-Sarwary, Emmanuelle Encrenaz, Michel Minoux, Rajesh K. Bawa |