Jeffrey Ullman
1997–2025 年に発表
- 4
- 論文数
- 6
- 被引用数
- 1
- h 指数
- 0
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science100%
トピック
- Formal Methods in Verification16.7%
- Software Testing and Debugging Techniques16.7%
- Logic, programming, and type systems11.1%
- Software Engineering Research11.1%
- Parallel Computing and Optimization Techniques5.6%
- Software Engineering Techniques and Practices5.6%
- その他33.3%
よく組む共著者
- Arjun Guha3
- Axel Legay3
- Edmund Clarke3
- Nikolaj Bjrner3
- Orna Grumberg3
- Rajeev Alur3
- A Sanjit2
- Aarti Gupta2
- Alec Story2
- Alessandro Cimatti2
- Alexandre David2
- Amin Vahdat2
- Amir Pnueli2
- Andreas Podelski2
- Andrzej Wasowski2
- Anirudh Sivaraman2
- Anthony Sloane2
- C Baier2
- Cesare Tinelli2
- Christel Baier2
- Christopher Monsanto2
- Chunqiu Steven2
- Chunqiu Steven Xia2
- Clark Barrett2
全論文
論文を読み込んでいます…
