Arnab Sinha
Arnab Sinha
Amazon, Microsoft Research, Princeton University, IIT Kharagpur
Verified email at amazon.com
Title
Cited by
Cited by
Year
An overview of Microsoft academic service (MAS) and applications
A Sinha, Z Shen, Y Song, H Ma, D Eide, BJP Hsu, K Wang
World Wide Web, 2015
5432015
Predictive analysis for detecting serializability violations through trace segmentation
A Sinha, S Malik, C Wang, A Gupta
Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011
342011
An integrated microfluidic platform to perform uninterrupted SELEX cycles to screen affinity reagents specific to cardiovascular biomarkers
A Sinha, P Gopinathan, YD Chung, HY Lin, KH Li, HP Ma, PC Huang, ...
Biosensors and Bioelectronics 122, 104-112, 2018
252018
Integrated verification approach during ADL-driven processor design
A Chattopadhyay, A Sinha, D Zhang, R Leupers, G Ascheid, H Meyr
Microelectronics journal 40 (7), 1111-1123, 2009
202009
Runtime checking of serializability in software transactional memory
A Sinha, S Malik
2010 IEEE International Symposium on Parallel & Distributed Processing …, 2010
182010
Design and demonstration of tunable amplified sensitivity of AlGaN/GaN high electron mobility transistor (HEMT)-based biosensors in human serum
TY Tai, A Sinha, I Sarangadharan, AK Pulikkathodi, SL Wang, GY Lee, ...
Analytical chemistry 91 (9), 5953-5960, 2019
162019
An integrated microfluidic system with field-effect-transistor sensor arrays for detecting multiple cardiovascular biomarkers from clinical samples
A Sinha, TY Tai, KH Li, P Gopinathan, YD Chung, I Sarangadharan, ...
Biosensors and Bioelectronics 129, 155-163, 2019
162019
Accelerating assertion coverage with adaptive testbenches
B Pal, A Banerjee, A Sinha, P Dasgupta
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008
162008
Simultaneous detection of multiple NT-proBNP clinical samples utilizing an aptamer-based sandwich assay on an integrated microfluidic system
A Sinha, P Gopinathan, YD Chung, SC Shiesh, GB Lee
Lab on a Chip 19 (9), 1676-1685, 2019
122019
Optimization of an enzyme linked DNA aptamer assay for cardiac Troponin I detection: Synchronous multiple sample analysis on an integrated microfluidic platform
P Gopinathan, A Sinha, YD Chung, SC Shiesh, GB Lee
Analyst 144 (16), 4943-4951, 2019
112019
Predicting serializability violations: SMT-based search vs. DPOR-based search
A Sinha, S Malik, C Wang, A Gupta
Haifa Verification Conference, 95-114, 2011
112011
Design intent coverage revisited
A Sinha, P Dasgupta, B Pal, S Das, P Basu, PP Chakrabarti
ACM Transactions on Design Automation of Electronic Systems (TODAES) 14 (1 …, 2009
92009
Stensor: A novel stochastic algorithm for placement of sensors in a rectangular grid
A Sinha, B Pal
paperpresentation competition “Eureka” in Kshitij, IIT Kharagpur, Available …, 2007
92007
Efficient predictive analysis for detecting nondeterminism in multi-threaded programs
A Sinha, S Malik, A Gupta
2012 Formal Methods in Computer-Aided Design (FMCAD), 6-15, 2012
82012
Aptamer-functionalized AlGaN/GaN high-electron-mobility transistor for rapid diagnosis of fibrinogen in human plasma
TY Tai, A Sinha, I Sarangadharan, AK Pulikkathodi, SL Wang, SC Shiesh, ...
Sensors and Materials 30 (10), 2321-2331, 2018
52018
Food Security and Nutritional Status of Children in Maharashtra
S Unisa, A Chattopadhyay, P Fulpagare, A Sinha
52017
Exploring circulating tumor cells in cholangiocarcinoma using a novel glycosaminoglycan probe on a microfluidic platform
P Gopinathan, NJ Chiang, A Bandaru, A Sinha, WY Huang, SC Hung, ...
Advanced healthcare materials 9 (10), 1901875, 2020
42020
Using concurrency to check concurrency: Checking serializability in software transactional memory
A Sinha, S Malik
Parallel and Distributed Processing Symposium, 2010
42010
ADL-driven test pattern generation for functional verification of embedded processors
A Chattopadhyay, A Sinha, D Zhang, R Leupers, G Ascheid, H Meyr
12th IEEE European Test Symposium, 21-24, 2007
42007
Integrated microfluidic system with field effect transistor for automatic detection of multiple cardiovascular biomarkers
A Sinha, TY Tai, YL Wang, GB Lee
2018 IEEE Micro Electro Mechanical Systems (MEMS), 286-289, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–20