Arie Gurfinkel
Papers
3
Total Citations
12
H-Index
2
About
No biography available yet.
Research Focus
Programming language3 · 12 citations
Computer science3 · 12 citations
Distributed computing2 · 10 citations
Thread (computing)1 · 8 citations
Set (abstract data type)1 · 8 citations
Synchronization (alternating current)1 · 8 citations
Deadlock1 · 8 citations
Lock (firearm)1 · 8 citations
Computer network1 · 8 citations
Overhead (engineering)1 · 8 citations
Concurrency control1 · 8 citations
Consistency (knowledge bases)2 · 4 citations
Key Achievements
2
H-Index
3
Papers
12
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Verifying periodic programs with priority inheritance locks
8 citations · 2013
📈 Most Prolific Year: 2014 (2 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Software Engineering Institute
Top Papers
- 1Verifying periodic programs with priority inheritance locks8 citations · 2013
- 2
- 3
Key Collaborators
Not generated yet