Mitchell Wand
1972–2025 年に発表
- 所属
- Indiana University BloomingtonNortheastern UniversityBoston UniversityMassachusetts Institute of Technologyこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- 102
- 論文数
- 3,961
- 被引用数
- 34
- h 指数
- 74
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science97.7%
- Decision Sciences0.5%
- Social Sciences0.4%
- Business, Management and Accounting0.2%
- Engineering0.2%
- Mathematics0.2%
- その他0.7%
トピック
- Logic, programming, and type systems30.5%
- Formal Methods in Verification16.2%
- Logic, Reasoning, and Knowledge9.8%
- Parallel Computing and Optimization Techniques8.2%
- Software Engineering Research7%
- Advanced Software Engineering Methodologies6%
- その他22.3%
よく組む共著者
- Daniel P. Friedman16
- Christopher T. Haynes6
- Patrick O'Keefe5
- Paul Steckler4
- Aaron Joseph Turon3
- Jens Palsberg3
- Margaret Montenyohl3
- Shriram Krishnamurthi3
- Vasileios Koutavas3
- William Clinger3
- Anthony Sloane2
- David Herman2
- Dino Oliva2
- Erich Gamma2
- Gregor Kiczales2
- Jan Heering2
- Jeremy Siek2
- Jerzy Tiuryn2
- Johan Ovlinger2
- John D. Ramsdell2
- John Vlissides2
- Jonathan Rees2
- Kathleen Fisher2
- Marjan Mernik2
全論文
論文を読み込んでいます…
