litlas
ログインアカウント作成

Peter Sewell

1943–2026 年に発表

所属
University of Cambridgeこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
ORCID
0000-0001-9352-1013
121
論文数
7,662
被引用数
45
h 指数
85
i10 指数

この数字には自己引用も含まれています。

年別の被引用数

被引用数

Peter Sewell の年別被引用数1977 年: 被引用 1 件1994 年: 被引用 1 件1995 年: 被引用 4 件1996 年: 被引用 4 件1997 年: 被引用 6 件1998 年: 被引用 13 件1999 年: 被引用 19 件2000 年: 被引用 34 件2001 年: 被引用 60 件2002 年: 被引用 44 件2003 年: 被引用 58 件2004 年: 被引用 69 件2005 年: 被引用 150 件2006 年: 被引用 129 件2007 年: 被引用 148 件2008 年: 被引用 142 件2009 年: 被引用 151 件2010 年: 被引用 152 件2011 年: 被引用 177 件2012 年: 被引用 174 件2013 年: 被引用 208 件2014 年: 被引用 213 件2015 年: 被引用 249 件2016 年: 被引用 309 件2017 年: 被引用 292 件2018 年: 被引用 276 件2019 年: 被引用 321 件2020 年: 被引用 259 件2021 年: 被引用 349 件2022 年: 被引用 230 件2023 年: 被引用 225 件2024 年: 被引用 268 件2025 年: 被引用 254 件2026 年: 被引用 156 件1978〜1993 年は被引用が無いため表示していません

引用元

国・地域

このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。

機関

分野

  • Computer Science88%
  • Social Sciences7.7%
  • Engineering1.6%
  • Physics and Astronomy0.4%
  • Biochemistry, Genetics and Molecular Biology0.4%
  • Decision Sciences0.4%
  • その他1.5%

トピック

  • Logic, programming, and type systems16.5%
  • Parallel Computing and Optimization Techniques14.6%
  • Distributed systems and fault tolerance14.5%
  • Security and Verification in Computing11.7%
  • Formal Methods in Verification11.2%
  • Logic, Reasoning, and Knowledge4.7%
  • その他26.7%

よく組む共著者

全論文

検索で開く

論文を読み込んでいます…

Peter Sewell | Litlas