Sumit Gulwani

Microsoft (United States)

论文数

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)

代表论文

  1. 1
    Static analysis for probabilistic programs
    122 次引用 · 2013
  2. 2
    Static analysis for probabilistic programs
    31 次引用 · 2013

主要合作者

ACAleksandar Chakarov2 篇合著论文SSSriram Sankaranarayanan1 篇合著论文SSSriram Sankaranarayanan1 篇合著论文

联系与链接

可合作
内容已生成 · 13 天前