Christopher Colby
1991–2021 年に発表
- 所属
- Laboratoire d'Informatique de Paris-NordCarnegie Mellon Universityこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- 14
- 論文数
- 475
- 被引用数
- 10
- h 指数
- 10
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science92.9%
- Decision Sciences1.6%
- Physics and Astronomy1.3%
- Social Sciences1.3%
- Economics, Econometrics and Finance0.6%
- Engineering0.6%
- その他1.6%
トピック
- Logic, programming, and type systems20.2%
- Formal Methods in Verification20%
- Security and Verification in Computing12.5%
- Software Testing and Debugging Techniques9.3%
- Parallel Computing and Optimization Techniques6.2%
- Distributed systems and fault tolerance4.7%
- その他27%
よく組む共著者
- Peter Lee 00015
- Konstantin Läufer4
- Lalita Jategaonkar Jagadeesan4
- Radha Jagadeesan4
- Carlos Puchol3
- Chih-Wei Hsu2
- Craig Boutilier2
- Dustin Tran2
- Eugene Ie2
- George C. Necula2
- Hubert Pham2
- Ivan Vendrov2
- Martin Mladenov2
- Nicolas Mayoraz2
- Vihan Jain2
- Frank Pfenning1
- Fred Blau1
- Karl Crary1
- Kenneth Cline1
- Kenneth Rehor1
- Lalita Jategaonkar1
- Mark Plesko1
- Patrice Godefroid1
- Peter J. Danielsen1
全論文
論文を読み込んでいます…
