Patrick O'Keefe
1968–2026 年に発表
- 別表記
- Patrick O’Keefe
- 15
- 論文数
- 467
- 被引用数
- 9
- h 指数
- 9
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science74.7%
- Environmental Science14%
- Agricultural and Biological Sciences2.2%
- Nursing2.2%
- Biochemistry, Genetics and Molecular Biology1.7%
- Decision Sciences1.1%
- その他3.9%
トピック
- Logic, programming, and type systems28.4%
- Formal Methods in Verification17.7%
- Logic, Reasoning, and Knowledge9.7%
- Software Engineering Research7.2%
- Parallel Computing and Optimization Techniques6.5%
- Toxic Organic Pollutants Impact5.7%
- その他24.7%
よく組む共著者
- Mitchell Wand5
- Graciela Muñiz‐Terrera3
- Jens Palsberg3
- Scott M. Hofer3
- Frank D. Mann2
- Joseph Lee Rodgers2
- Linda Wänström2
- Paul Kosovich2
- Sascha Zuber2
- Sean Clouston2
- Spiridon Kasapis2
- Stacey Voll2
- Aatiya Ali1
- Abdelrazek M. K. Shaltout1
- Adolfo G. Cuevas1
- Alan G. Ling1
- Alec J. Engell1
- Alexander G. Kosovichev1
- Ali G. A. Abdelkawy1
- Anastasios Anastasiadis1
- Andrés Muñoz-Jaramillo1
- Angelos Vourlidas1
- Annekatrin Steinhoff1
- Anthony P. DeCaprio1
全論文
論文を読み込んでいます…
