litlas
Log inCreate account

Anil Nerode

Active 1958–2024

Affiliations
Cornell UniversityFlorida State UniversityThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
141
Papers
5,425
Citations
35
h-index
81
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for Anil Nerode1958: 1 citations1959: 2 citations1961: 1 citations1962: 2 citations1964: 2 citations1966: 3 citations1967: 2 citations1968: 2 citations1969: 5 citations1970: 2 citations1971: 4 citations1972: 14 citations1973: 2 citations1974: 3 citations1975: 5 citations1976: 15 citations1977: 9 citations1978: 19 citations1979: 14 citations1980: 11 citations1981: 14 citations1982: 6 citations1983: 24 citations1984: 30 citations1985: 11 citations1986: 22 citations1987: 11 citations1988: 8 citations1989: 12 citations1990: 29 citations1991: 19 citations1992: 53 citations1993: 46 citations1994: 112 citations1995: 119 citations1996: 149 citations1997: 181 citations1998: 153 citations1999: 125 citations2000: 151 citations2001: 107 citations2002: 127 citations2003: 105 citations2004: 115 citations2005: 100 citations2006: 101 citations2007: 129 citations2008: 132 citations2009: 92 citations2010: 73 citations2011: 100 citations2012: 120 citations2013: 92 citations2014: 111 citations2015: 64 citations2016: 71 citations2017: 60 citations2018: 64 citations2019: 65 citations2020: 53 citations2021: 59 citations2022: 52 citations2023: 36 citations2024: 37 citations2025: 37 citations2026: 16 citations1960: no citations, so this year is not shown1963: no citations, so this year is not shown1965: no citations, so this year is not shown

Citation sources

Countries

This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.

Institutions

Fields

  • Computer Science81.2%
  • Engineering10%
  • Mathematics3.1%
  • Social Sciences1.4%
  • Biochemistry, Genetics and Molecular Biology1.1%
  • Decision Sciences1%
  • Other2.3%

Topics

  • 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%
  • Other27.3%

Frequent coauthors

All papers

Open in search

Loading papers…

Anil Nerode | Litlas