Arie Gurfinkel

Software Engineering Institute

论文数

3

总引用数

12

H-Index

2

关于

暂无简介。

研究焦点

Programming language3 · 12 次引用
Computer science3 · 12 次引用
Distributed computing2 · 10 次引用
Thread (computing)1 · 8 次引用
Set (abstract data type)1 · 8 次引用
Synchronization (alternating current)1 · 8 次引用
Deadlock1 · 8 次引用
Lock (firearm)1 · 8 次引用
Computer network1 · 8 次引用
Overhead (engineering)1 · 8 次引用
Concurrency control1 · 8 次引用
Consistency (knowledge bases)2 · 4 次引用

主要成就

2
H 指数
3
论文
12
总引用数
4
篇均引用
🏆 最高被引论文
Verifying periodic programs with priority inheritance locks
8 次引用 · 2013
📈 最高产年份: 2014 (2 论文)
🤝 主要合作者: 3
🏛 所属机构: Software Engineering Institute

代表论文

  1. 1
    Verifying periodic programs with priority inheritance locks
    8 次引用 · 2013
  2. 2
    Efficient Verification of Periodic Programs using Sequential Consistency and Snapshots
    2 次引用 · 2014
  3. 3
    Efficient verification of periodic programs using sequential consistency and snapshots
    2 次引用 · 2014

主要合作者

SCSagar Chaki3 篇合著论文NSNishant Sinha2 篇合著论文OSOfer Strichman1 篇合著论文
尚未生成