Orna Kupferman
Scholar

Orna Kupferman

Google Scholar ID: 5o111aIAAAAJ
Professor of Computer Science, The Hebrew University
Formal verificationautomatatemporal logic
Citations & Impact
All-time
Citations
3,553
 
H-index
29
 
i10-index
75
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
2 items
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)