Items where Author is "Basu, P."

Article

Sinha, Mandira ; Majumdar, H. ; Basu, P. ; Roy, Subinit ; Bhattacharya, R. ; Biswas, M. ; Pradhan, M. K. ; Palit, R. ; Mazumdar, I. ; Kailas, S. (2010) Sub- and above-barrier fusion of loosely bound ⁶Li with ²⁸Si European Physical Journal A (EPJ A), The Hadrons and Nuclei, 44 (3). pp. 403-410. ISSN 1434-6001

Sinha, Mandira ; Majumdar, H. ; Basu, P. ; Roy, Subinit ; Bhattacharya, R. ; Biswas, M. ; Pradhan, M. K. ; Kailas, S. (2008) Sub-barrier fusion excitation for the system ⁷Li + ²⁸Si Physical Review C, 78 (2). pp. 027601 _1-027601 _3. ISSN 0556-2813

Sinha, Mandira ; Majumdar, H. ; Bhattacharya, R. ; Basu, P. ; Roy, Subinit ; Biswas, M. ; Palit, R. ; Mazumdar, I. ; Joshi, P. K. ; Jain, H. C. ; Kailas, S. (2007) Experimental investigation of fusion of ⁷Li+²⁸Si above the Coulomb barrier Physical Review C, 76 (2). pp. 027603_1-027603_4. ISSN 0556-2813

Mukherjee, A. ; Roy, Subinit ; Pradhan, M. K. ; Saha Sarkar, M. ; Basu, P. ; Dasmahapatra, B. ; Bhattacharya, T. ; Bhattacharya, S. ; Basu, S. K. ; Chatterjee, A. ; Tripathi, V. ; Kailas, S. (2006) Influence of projectile α-breakup threshold on complete fusion Physics Letters B, 636 (2). pp. 91-95. ISSN 0370-2693

Kalita, K. ; Verma, S. ; Singh, R. ; Das, J. J. ; Jhingan, A. ; Madhavan, N. ; Nath, S. ; Varughese, T. ; Sugathan, P. ; Parkar, V. V. ; Mahata, K. ; Ramachandran, K. ; Shrivastava, A. ; Chatterjee, A. ; Kailas, S. ; Barua, S. ; Basu, P. ; Majumdar, H. ; Sinha, M. ; Bhattacharya, R. ; Sinha, A. K. (2006) Elastic scattering and fusion cross sections for ⁷Be,⁷Li+²⁷Al systems Physical Review C, 73 (2). pp. 024609_1-024609_7. ISSN 0556-2813

Alvarez-Gaume, L. ; Basu, P. ; Mariño, M. ; Wadia, S. R. (2006) Black hole/string transition for the small Schwarzschild black hole of AdS₅ × S⁵ and critical unitary matrix models European Physical Journal C (EPJ C), The - Particles and Fields, 48 (2). pp. 647-665. ISSN 1434-6044

Basu, P. ; Das, S. ; Banerjee, A. ; Dasgupta, P. ; Chakrabarti, P. P. ; Mohan, C. R. ; Fix, L. ; Armoni, R. (2006) Design-intent coverage-a new paradigm for formal property verification IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 25 (10). pp. 1922-1934. ISSN 0278-0070

Das, A. ; Basu, P. ; Banerjee, A. ; Dasgupta, P. ; Chakrabarti, P. P. ; Rama Mohan, C. ; Fix, L. ; Armoni, R. (2004) Formal verification coverage: computing the coverage gap between temporal specifications Digest of Technical Papers - IEEE/ACM International Conference on Computer-Aided Design . pp. 198-203. ISSN 1092-3152

Behera, Bivash R. ; Satpathy, M. ; Jena, S. ; Kailas, S. ; Thomas, R. G. ; Mahata, K. ; Chatterjee, A. ; Roy, Subinit ; Basu, P. ; Datta, S. K. (2004) Fission fragment angular distributions for the systems ¹⁴N+²³²Th and ¹¹B+²³⁵U at near and sub-barrier energies Physical Review C, 69 (6). pp. 064603_1-064603_10. ISSN 0556-2813

Behera, Bivash R. ; Kailas, S. ; Mahata, K. ; Chatterjee, A. ; Basu, P. ; Roy, Subinit ; Satpathy, M. ; Datta, S. K. (2004) Role of entrance channel properties in heavy ion induced fission fragment angular distribution studies Nuclear Physics A, 734 . pp. 249-252. ISSN 0375-9474

Chattopadhyay, B. ; Basu, P. ; Gangopadhyay, P. K. ; Mukherjee, S. C. ; Sinha, K. K. ; Chakraborty, A. ; Roy, T. ; Roychoudhury, S. ; Majumder, P. P. ; Bhattacharyya, N. P. (2003) Variation of CAG repeats and two intragenic polymorphisms at SCA3 locus among Machado-Joseph disease/SCA3 patients and diverse normal populations from eastern India Acta Neurologica Scandinavica, 108 (6). pp. 407-414. ISSN 0001-6314

Majumdar, H. ; Basu, C. ; Basu, P. ; Roy, Subinit ; Mahata, K. ; Santra, S. ; Chatterjee, A. ; Kailas, S. (2003) Effect of higher order couplings in the barrier distribution of ¹²C+¹⁴²Nd extracted from quasielastic excitation functions Physical Review C, 68 (1). pp. 017602_1-017602_4. ISSN 0556-2813

Behera, Bivash R. ; Jena, S. ; Satpathy, M. ; Roy, Subinit ; Basu, P. ; Sharan, M. K. ; Chatterjee, M. L. ; Kailas, S. ; Mahata S. K., K. (2002) Statistical model analysis of fission fragment angular distributions for the system ¹⁶O+¹⁸¹Ta Physical Review C, 66 (4). pp. 047602_1-047602_3. ISSN 0556-2813

Behera, Bivash R. ; Jena, S. ; Satpathy, M. ; Kailas, S. ; Mahata, K. ; Shrivastava, A. ; Chatterjee, A. ; Roy, Subinit ; Basu, P. ; Sharan, M. K. ; Datta, S. S. K. (2001) Entrance-channel effect in fission fragment anisotropies from ¹¹B+²³⁵U and ¹⁴N+²³²Th systems Physical Review C, 64 (4). pp. 041602(R)_1-041602(R)_3. ISSN 0556-2813

Gupta, Dhruba ; Samanta, C. ; Kanungo, R. ; Basu, P. ; Roy, Subinit ; Kailas, S. ; Chatterjee, A. ; Roy, B. J. ; Mahata, K. ; Samant, A. ; Shrivastava, A. (2001) Breakup of 42 MeV ⁷Li projectiles in the fields of ¹²C and ¹⁹⁷Au nuclei Pramana - Journal of Physics, 57 (1). pp. 209-213. ISSN 0304-4289

Conference or Workshop Item

Basu, P. ; Dasgupta, P. ; Chakrabarti, P. P. (2005) Syntactic transformation of assume-guarantee assertions: from sub-modules to modules In: 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design, 3-7 January 2005.

Basu, P. ; Dasgupta, P. ; Chakrabarti, P. P. ; Mohan, C. R. (2004) Property refinement techniques for enhancing coverage of formal property verification In: 17th International Conference on VLSI Design, 2004, 9 January 2004.

Basu, P. ; Das, S. ; Dasgupta, P. ; Chakrabarti, P. P. ; Mohan, C. R. ; Fix, L. (2004) Formal verification coverage: are the RTL-properties covering the design's architectural intent? In: Design, Automation and Test in Europe Conference and Exhibition, 2004, 16-20 February 2004, Paris, France.