Statistics
Publications
4
Citations
211
H-Index
4
Active since
2006
Affiliations
Hebrew University of Jerusalem(Current)
Orly Cohen is an author at Hebrew University of Jerusalem specializing in inflammation, medicine, and cell development.
Publications per year
2006–2010
4
4
SAT-based semiformal verification of hardware
Sabih Agbaria, Dan Carmi, Orly Cohen et al. · Formal Methods in Computer-Aided Design · 2010 · 10 citations
Engineering, Hardware Verification Language, Verification +17
1–4 of 4