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

Michael Norrish

1999–2026 年に発表

所属
Australian National UniversityData61University of Cambridgeこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
ORCID
0000-0003-1163-8467
89
論文数
3,693
被引用数
22
h 指数
43
i10 指数

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

年別の被引用数

被引用数

Michael Norrish の年別被引用数1999 年: 被引用 2 件2000 年: 被引用 7 件2001 年: 被引用 10 件2002 年: 被引用 16 件2003 年: 被引用 11 件2004 年: 被引用 6 件2005 年: 被引用 43 件2006 年: 被引用 34 件2007 年: 被引用 31 件2008 年: 被引用 66 件2009 年: 被引用 56 件2010 年: 被引用 71 件2011 年: 被引用 67 件2012 年: 被引用 67 件2013 年: 被引用 60 件2014 年: 被引用 102 件2015 年: 被引用 98 件2016 年: 被引用 99 件2017 年: 被引用 95 件2018 年: 被引用 119 件2019 年: 被引用 171 件2020 年: 被引用 117 件2021 年: 被引用 142 件2022 年: 被引用 89 件2023 年: 被引用 125 件2024 年: 被引用 126 件2025 年: 被引用 163 件2026 年: 被引用 78 件
  • 1 年分（被引用 2 件）は表示していません（最初の論文より前の日付）

引用元

国・地域

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

機関

分野

  • Computer Science93.9%
  • Engineering1.8%
  • Decision Sciences1%
  • Biochemistry, Genetics and Molecular Biology0.6%
  • Social Sciences0.6%
  • Mathematics0.4%
  • その他1.7%

トピック

  • Logic, programming, and type systems24.6%
  • Formal Methods in Verification17.9%
  • Security and Verification in Computing13.1%
  • Logic, Reasoning, and Knowledge7.5%
  • Software Testing and Debugging Techniques7.1%
  • Parallel Computing and Optimization Techniques6.7%
  • その他23.1%

よく組む共著者

全論文

検索で開く

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