Arnab Sinha
Arnab Sinha
Amazon, Microsoft Research, Princeton University, IIT Kharagpur
Adresse e-mail validée de amazon.com
Titre
Citée par
Citée par
Année
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
3772015
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
312011
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
182009
Runtime checking of serializability in software transactional memory
A Sinha, S Malik
2010 IEEE International Symposium on Parallel & Distributed Processing …, 2010
162010
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
142018
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
132008
Predicting serializability violations: SMT-based search vs. DPOR-based search
A Sinha, S Malik, C Wang, A Gupta
Haifa Verification Conference, 95-114, 2011
92011
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
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
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
72019
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
72019
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
62007
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
52019
Bo-June (Paul) Hsu, and Kuansan Wang. 2015
A Sinha, Z Shen, Y Song, H Ma, D Eide
An Overview of Microsoft Academic Service (MAS) and Applications WWW 15, 2015
52015
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
42019
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
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
32018
Using concurrency to check concurrency: Checking serializability in software transactional memory
A Sinha, S Malik
Parallel and Distributed Processing Symposium, 2010
32010
Hardware accelerated constrained random test generation
B Pal, A Sinha, P Dasgupta, PP Chakrabarti, K De
IET Computers & Digital Techniques 1 (4), 423-433, 2007
32007
Combinatorial image analysis
VE Brimkov, A Maimone, G Nordo, R Reulke
Springer 4040, 241-252, 2006
32006
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20