Concepedia

Anil Nerode

AN

55

Publications

2.7K

Citations

27

H-Index

1958

Active since

Affiliations

Cornell University(Current)

University of California San Diego

University of Maryland, College Park

University of Kentucky

Bellevue Hospital Center

Anil Nerode is an author at Cornell University specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceSystems EngineeringLogic ProgrammingAutomationFormal VerificationHybrid SystemsControl Systems

Publications per year

1958–2015

55

Publications

55

Linear automaton transformations

Anil Nerode · Proceedings of the American Mathematical Society · 1958 · 475 citations · Full text

Engineering, Automation, Linear System +5

Hybrid Control Systems: An Introductory Discussion to the Special Issue

Panos J. Antsaklis, Anil Nerode · IEEE Transactions on Automatic Control · 1998 · 240 citations

Engineering, Automation, Mechatronics +9

Logics for hybrid systems

J.M. Davoren, Anil Nerode · Proceedings of the IEEE · 2000 · 156 citations

Applied Logic, Engineering, Formal Verification +17

Effective content of field theory

G. Metakides, Anil Nerode · Annals of Mathematical Logic · 1979 · 141 citations

Field Method, Quantum Field Theory, Finite Field +2

Recursively enumerable vector spaces

G. Metakides, Anil Nerode · Annals of Mathematical Logic · 1977 · 135 citations

Infinite Dimensional Analysis, Enumerable Vector Spaces, Functional Analysis +2

Rows per page

1–5 of 55