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

Anil Nerode

1958–2024 年に発表

所属
Cornell UniversityFlorida State Universityこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
141
論文数
5,425
被引用数
35
h 指数
81
i10 指数

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

年別の被引用数

被引用数

Anil Nerode の年別被引用数1958 年: 被引用 1 件1959 年: 被引用 2 件1961 年: 被引用 1 件1962 年: 被引用 2 件1964 年: 被引用 2 件1966 年: 被引用 3 件1967 年: 被引用 2 件1968 年: 被引用 2 件1969 年: 被引用 5 件1970 年: 被引用 2 件1971 年: 被引用 4 件1972 年: 被引用 14 件1973 年: 被引用 2 件1974 年: 被引用 3 件1975 年: 被引用 5 件1976 年: 被引用 15 件1977 年: 被引用 9 件1978 年: 被引用 19 件1979 年: 被引用 14 件1980 年: 被引用 11 件1981 年: 被引用 14 件1982 年: 被引用 6 件1983 年: 被引用 24 件1984 年: 被引用 30 件1985 年: 被引用 11 件1986 年: 被引用 22 件1987 年: 被引用 11 件1988 年: 被引用 8 件1989 年: 被引用 12 件1990 年: 被引用 29 件1991 年: 被引用 19 件1992 年: 被引用 53 件1993 年: 被引用 46 件1994 年: 被引用 112 件1995 年: 被引用 119 件1996 年: 被引用 149 件1997 年: 被引用 181 件1998 年: 被引用 153 件1999 年: 被引用 125 件2000 年: 被引用 151 件2001 年: 被引用 107 件2002 年: 被引用 127 件2003 年: 被引用 105 件2004 年: 被引用 115 件2005 年: 被引用 100 件2006 年: 被引用 101 件2007 年: 被引用 129 件2008 年: 被引用 132 件2009 年: 被引用 92 件2010 年: 被引用 73 件2011 年: 被引用 100 件2012 年: 被引用 120 件2013 年: 被引用 92 件2014 年: 被引用 111 件2015 年: 被引用 64 件2016 年: 被引用 71 件2017 年: 被引用 60 件2018 年: 被引用 64 件2019 年: 被引用 65 件2020 年: 被引用 53 件2021 年: 被引用 59 件2022 年: 被引用 52 件2023 年: 被引用 36 件2024 年: 被引用 37 件2025 年: 被引用 37 件2026 年: 被引用 16 件1960 年は被引用が無いため表示していません1963 年は被引用が無いため表示していません1965 年は被引用が無いため表示していません

引用元

国・地域

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

機関

分野

  • Computer Science81.2%
  • Engineering10%
  • Mathematics3.1%
  • Social Sciences1.4%
  • Biochemistry, Genetics and Molecular Biology1.1%
  • Decision Sciences1%
  • その他2.3%

トピック

  • Formal Methods in Verification17.2%
  • Logic, programming, and type systems15.4%
  • Logic, Reasoning, and Knowledge14.9%
  • semigroups and automata theory10.7%
  • Computability, Logic, AI Algorithms8.3%
  • Advanced Algebra and Logic6.2%
  • その他27.3%

よく組む共著者

全論文

検索で開く

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