Concepedia

Roopsha Samanta

RS

9

Publications

188

Citations

9

H-Index

2004

Active since

Affiliations

The University of Texas at Austin(Current)

Purdue University West Lafayette

University of Pennsylvania

Institute of Science and Technology Austria

Roopsha Samanta is an author at The University of Texas at Austin specializing in engineering, signal processing, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceSignal ProcessingSoftware AnalysisAutomated ReasoningBeamformingVerificationProgram AnalysisWireless Systems

Publications per year

2004–2023

9

Publications

9

Codebook Adaptation for Quantized MIMO Beamforming Systems

Roopsha Samanta, Robert W. Heath · 2006 · 36 citations

Wireless Communications, Channel Statistics, Mimo System +10

Automatic Generation of Local Repairs for Boolean Programs

Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson · 2008 · 35 citations

Software Maintenance, Program Checking, Engineering +17

SemCluster: clustering of imperative programming assignments based on quantitative semantic features

David Mitchel Perry, Dohyeong Kim, Roopsha Samanta et al. · 2019 · 27 citations · Full text

Engineering, Software Engineering, Software Analysis +23

Succinct Representation of Concurrent Trace Sets

Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna et al. · 2014 · 25 citations

Computational Logic, Formal Specification, Concurrent Traces +15

Frame theoretic quantization for limited feedback MIMO beamforming systems

Bishwarup Mondal, Roopsha Samanta, Robert W. Heath · 2005 · 21 citations

Mimo System, Vector Quantization, Limited Feedback Mimo +9

Rows per page

1–5 of 9