Ofer Strichman
Papers
1
Total Citations
8
H-Index
1
About
No biography available yet.
Research Focus
Computer network1 · 8 citations
Computer science1 · 8 citations
Concurrency control1 · 8 citations
Deadlock1 · 8 citations
Distributed computing1 · 8 citations
Lock (firearm)1 · 8 citations
Overhead (engineering)1 · 8 citations
Programming language1 · 8 citations
Set (abstract data type)1 · 8 citations
Synchronization (alternating current)1 · 8 citations
Thread (computing)1 · 8 citations
Key Achievements
1
H-Index
1
Papers
8
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
Verifying periodic programs with priority inheritance locks
8 citations · 2013
📈 Most Prolific Year: 2013 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Technion – Israel Institute of Technology
Top Papers
- 1Verifying periodic programs with priority inheritance locks8 citations · 2013
Key Collaborators
Not generated yet