Chad E. Brown
2000–2026 年に発表
- 所属
- Saarland UniversityCarnegie Mellon Universityこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0003-4050-4361
- 53
- 論文数
- 673
- 被引用数
- 14
- h 指数
- 19
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 1 年分(被引用 1 件)は表示していません(最初の論文より前の日付)
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science94%
- Psychology1.4%
- Decision Sciences1.1%
- Mathematics1.1%
- Engineering0.9%
- Physics and Astronomy0.9%
- その他0.6%
トピック
- Logic, programming, and type systems31.2%
- Logic, Reasoning, and Knowledge23.3%
- Formal Methods in Verification16.4%
- Semantic Web and Ontologies7.3%
- Natural Language Processing Techniques3.8%
- Mathematics, Computing, and Information Processing3.1%
- その他15%
よく組む共著者
- Cezary Kaliszyk14
- Josef Urban13
- Mikolas Janota6
- Christoph Benzmüller5
- Thibault Gauthier5
- Peter B. Andrews4
- Gert Smolka3
- Michael Kohlhase3
- Christine Rizkallah2
- Geoff Sutcliffe2
- Johannes Niederhauser2
- Karol Pak2
- Matthew Bishop2
- Mirek Olsák2
- Adam Pease1
- Bartosz Piotrowski1
- Cécilia Pradic1
- Daniel Ranalter1
- Feryal Fulya Horozal1
- Frank Pfenning1
- Frank Theiss1
- Hongwei Xi 00011
- Julian Backes1
- Julian Parsert1
全論文
論文を読み込んでいます…
