4
Publications
211
Citations
4
H-Index
2006
Active since
Affiliations
Hebrew University of Jerusalem(Current)
Orly Cohen is an author at Hebrew University of Jerusalem specializing in inflammation, medicine, and cell development.
Top concepts
MedicineApoptosisCell DeathImmunologyEngineeringAutoimmunityCell BiologyInflammationVerificationCell Signaling
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
Rows per page
1–4 of 4