Sumit Gulwani
论文数
2
总引用数
153
H-Index
2
关于
暂无简介。
研究焦点
Theoretical computer science2 · 153 次引用
Artificial intelligence2 · 153 次引用
Assertion2 · 153 次引用
Bounded function2 · 153 次引用
Computation2 · 153 次引用
Computer science2 · 153 次引用
Correctness2 · 153 次引用
Interval (graph theory)2 · 153 次引用
Interval arithmetic2 · 153 次引用
Mathematics2 · 153 次引用
Path (computing)2 · 153 次引用
Probabilistic logic2 · 153 次引用
主要成就
2
H 指数
2
论文
153
总引用数
77
篇均引用
🏆 最高被引论文
Static analysis for probabilistic programs
122 次引用 · 2013
📈 最高产年份: 2013 (2 论文)
🤝 主要合作者: 3
🏛 所属机构: Microsoft (United States)
代表论文
- 1Static analysis for probabilistic programs122 次引用 · 2013
- 2Static analysis for probabilistic programs31 次引用 · 2013
主要合作者
尚未生成