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

Michael Codish

1986–2025 年に発表

所属
Ben-Gurion University of the NegevThe University of Melbourneこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
ORCID
0000-0003-0394-5854
116
論文数
2,500
被引用数
31
h 指数
67
i10 指数

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

年別の被引用数

被引用数

Michael Codish の年別被引用数1986 年: 被引用 5 件1987 年: 被引用 2 件1988 年: 被引用 13 件1989 年: 被引用 21 件1990 年: 被引用 14 件1991 年: 被引用 16 件1992 年: 被引用 22 件1993 年: 被引用 34 件1994 年: 被引用 75 件1995 年: 被引用 51 件1996 年: 被引用 50 件1997 年: 被引用 56 件1998 年: 被引用 52 件1999 年: 被引用 42 件2000 年: 被引用 37 件2001 年: 被引用 79 件2002 年: 被引用 48 件2003 年: 被引用 37 件2004 年: 被引用 54 件2005 年: 被引用 30 件2006 年: 被引用 36 件2007 年: 被引用 49 件2008 年: 被引用 57 件2009 年: 被引用 62 件2010 年: 被引用 87 件2011 年: 被引用 48 件2012 年: 被引用 83 件2013 年: 被引用 83 件2014 年: 被引用 87 件2015 年: 被引用 100 件2016 年: 被引用 86 件2017 年: 被引用 82 件2018 年: 被引用 77 件2019 年: 被引用 56 件2020 年: 被引用 68 件2021 年: 被引用 41 件2022 年: 被引用 40 件2023 年: 被引用 38 件2024 年: 被引用 44 件2025 年: 被引用 30 件2026 年: 被引用 12 件
  • 1 年分（被引用 1 件）は表示していません（最初の論文より前の日付）

引用元

国・地域

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

機関

分野

  • Computer Science92.5%
  • Engineering2.8%
  • Decision Sciences2.4%
  • Biochemistry, Genetics and Molecular Biology0.7%
  • Mathematics0.5%
  • Agricultural and Biological Sciences0.2%
  • その他0.9%

トピック

  • Logic, programming, and type systems24.8%
  • Formal Methods in Verification24.7%
  • Logic, Reasoning, and Knowledge12.8%
  • Constraint Satisfaction and Optimization8.8%
  • Software Testing and Debugging Techniques6.6%
  • Model-Driven Software Engineering Techniques3.8%
  • その他18.5%

よく組む共著者

全論文

検索で開く

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