logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
S

Sharad Malik

Princeton University

65H-index
417Paper Count
2.1WCitation Count
Published Papers 5
Publication Date
logo
Hierarchical Formal Verification of Hardware
errIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IF2.9
err2025-01-01
err0
PREAI
errHuaixi Lu; Yue Xing; Aarti Gupta; Sharad Malik
errShare
errSave
Boolean Satisfiability Solvers and Their Applications in Model Checking
errPROCEEDINGS OF THE IEEE
IF25.9
err2015-11-01
err75
PREAI
errVizel, Yakir; Weissenbacher, Georg; Malik, Sharad
errShare
errSave
Reverse Engineering Digital Circuits Using Structural and Functional Analyses
errIEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING
IF5.4
err2014-03-01
err106
errOAAI
errSubramanyan, Pramod; Tsiskaridze, Nestan; Li, Wenchao; Gascon, Adria; Tan, Wei Yang; Tiwari, Ashish; Shankar, Natarajan; Seshia, Sanjit A.; Malik, Sharad
errShare
errSave
Boolean satisfiability from Theoretical hardness to Practical success
errCOMMUNICATIONS OF THE ACM
IF12.2
err2009-08-01
err118
PREAI
errMalik, Sharad; Zhang, Lintao
errShare
errSave
Declarative Infrastructure Configuration Synthesis and Debugging
errJOURNAL OF NETWORK AND SYSTEMS MANAGEMENT
IF3.9
err2008-10-16
err54
PREAI
errNarain, Sanjai; Levin, Gary; Malik, Sharad; Kaul, Vikram
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
S
Sanjit A. Seshia
H-index: 63 · Papers: 437
A
Ashish Tiwari
H-index: 48 · Papers: 330
A
Aarti Gupta
H-index: 40 · Papers: 286
N
Natarajan Shankar
H-index: 38 · Papers: 151
L
Lintao Zhang
H-index: 33 · Papers: 93
View more