Publications in Formal Methods
- R. Samanta, J. V. Deshmukh and E. A. Emerson, "Automatic Generation of Local
Repairs for Boolean Programs," in Proc. of Formal Methods in Computer Aided Design,
Nov. 17-21, 2008, Portland OR.
[Paper] [Slides]
Publications in Multi-Antenna Communications
Conference & Journal Papers
Limited Feedback Multi-Antenna Systems
- B. Mondal, R. Samanta, and R. W. Heath, Jr., "On the Voronoi Tessellations
of a Sphere by an Equiangular Unit Norm Frame," Applied and Computational
Harmonic Analysis, vol. 23, pp. 254-258, Sep. 2007.
- R. Samanta and R. W. Heath, Jr., "Codebook Adaptation for Quantized MIMO
Beamforming Systems," in Proc. of IEEE Asilomar Conf. on Signals, Systems,
and Computers, Oct. 30 - Nov. 2, 2005, pp. 376-380, Pacific Grove, CA.
- B. Mondal, R. Samanta, and R. W. Heath, Jr., "Frame Theoretic Quantization
of Limited Feedback MIMO Beamforming Systems," in Proc. of International
Conference on Wireless Networks, Communications and Mobile Computing, June
13-16, 2005, pp. 1065-1070, Maui, Hawaii.
Space-Time Interference Cancellation
- R. Samanta, R. W. Heath, Jr., and B. L. Evans, "Joint Interference
Cancellation and Channel Shortening for Multi-User MIMO Systems,"
IEEE Transactions on Vehicular Technology, vol. 56, pp. 652-660, Mar. 2007.
- R. Samanta, R. W. Heath, Jr., and B. L. Evans, "Joint Space-Time
Interference Cancellation and Channel Shortening," in Proc. of IEEE
Asilomar Conf. on Signals, Systems, and Computers, Nov. 9-12, 2003, invited
paper, vol. 1, pp. 32-36, Pacific Grove, CA.
Patent Applications
- N. Himayat, R. Samanta, and S. Talwar, "Link Performance Prediction Presence
of Co-channel Interference," US patent application #20070238430, filed: Mar.
2006, pub: Oct. 2007.
- S. Talwar, R. Samanta, and N. Himayat, "MIMO Precoding in the Presence of
Co-channel Interference," US patent application #20070211813, filed: Mar. 2006, pub: Sep. 2007
Master's Report
Contribution to IEEE Standard