Anil Nerode - Concepedia

Author

Anil Nerode

Cornell University

Also Known As

A. Nerode, Anil Nerode, Artemov, Sergei N., Burton Dreden, Nerode, A., Nerode, Anil, Nierstrasz, Oscar

309

Publications

5.7K

Citations

H-Index

118

Concepts

All Affiliations

Cornell University University of California San Diego University of Maryland, College Park University of Kentucky Bellevue Hospital Center

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	22	37	1.8K
2	Business	2	2	45
3	Education	2	2	59
4	Language Studies	2	2	78
5	Management	1	1	26

Anil Nerode

Publications

2.7K

Citations

H-Index

Page 1

	Year	Citations
Linear automaton transformations Anil Nerode Proceedings of the American Mathematical Society EngineeringAutomationLinear SystemAutomaton OperationLinear Automaton Transformations	1958	475
Hybrid Control Systems: An Introductory Discussion to the Special Issue Panos J. Antsaklis, Anil Nerode IEEE Transactions on Automatic Control EngineeringAutomationMechatronicsMechanical SystemsProcess Control	1998	240
Logics for hybrid systems J.M. Davoren, Anil Nerode Proceedings of the IEEE Applied LogicEngineeringFormal VerificationStochastic Hybrid SystemComputational Logic	2000	156
Effective content of field theory G. Metakides, Anil Nerode Annals of Mathematical Logic Field MethodQuantum Field TheoryFinite FieldConstructive Field TheoryField Theory	1979	141
Recursively enumerable vector spaces G. Metakides, Anil Nerode Annals of Mathematical Logic Infinite Dimensional AnalysisEnumerable Vector SpacesFunctional AnalysisRecursive FunctionComputability Theory	1977	135
Extensions to Isols Anil Nerode Annals of Mathematics Abstract AlgebraUniversal AlgebraIso Management Standard	1961	85
Hybrid knowledge bases James Lu, Anil Nerode, V. S. Subrahmanian IEEE Transactions on Knowledge and Data Engineering EngineeringKnowledge ExtractionModel-based ReasoningDeductive DatabasesIntelligent Systems	1996	79
Experimental evaluation of loss perception in continuous media Duminda Wijesekera, Jaideep Srivastava, Anil Nerode, Multimedia Systems Video CommunicationVideo QualityLoss PerceptionPerceptionCommunication	1999	77
Mixed integer programming methods for computing nonmonotonic deductive databases Colin E. Bell, Anil Nerode, Raymond T. Ng, Journal of the ACM Mathematical ProgrammingEngineeringWell-founded SemanticsComputational Complexity” Negation	1994	76
A theory of nonmonotonic rule systems I W. Marek, Anil Nerode, Jeffrey B. Remmel Annals of Mathematics and Artificial Intelligence Nonmonotonic LogicNonmonotonic Rule SystemsRealization Theory	1990	64

Page 1