Anil Nerode

Q: What Schools Are Affiliated With Anil Nerode

Anil Nerode is affiliated with the following schools: Princeton University, University of Chicago, Cornell University

Anil Nerode's AcademicInfluence.com Rankings

Anil Nerode

Mathematics

#892

World Rank

#1567

Historical Rank

#390

USA Rank

Measure Theory

#1443

World Rank

#1808

Historical Rank

#492

USA Rank

mathematics Degrees

Download Badge

Mathematics

Anil Nerode's Degrees

PhD Mathematics Princeton University

Why Is Anil Nerode Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Anil Nerode is an American mathematician, known for his work in mathematical logic and for his many-decades tenure as a professor at Cornell University. He received his undergraduate education and a Ph.D. in mathematics from the University of Chicago, the latter under the directions of Saunders Mac Lane. He enrolled in the Hutchins College at the University of Chicago in 1947 at the age of 15, and received his Ph.D. in 1956. His Ph.D. thesis was on an algebraic abstract formulation of substitution in many-sorted free algebrass and its relation to equational definitions of the partial recursive functions.

(See a Problem?)

Anil Nerode's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Linear automaton transformations (1958) (499)
Models for Hybrid Systems: Automata, Topologies, Controllability, Observability (1992) (342)
Automatic Presentations of Structures (1994) (302)
Hybrid Systems II (1994) (241)
Hybrid Control Systems: An Introductory Discussion to the Special Issue (1998) (187)
Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings (1994) (173)
Logics for hybrid systems (2000) (172)
Logic for Applications (1997) (154)
Automata theory and its applications (2001) (126)
Recursively enumerable vector spaces (1977) (126)
Effective content of field theory (1979) (122)
Mixed integer programming methods for computing nonmonotonic deductive databases (1994) (94)
Hybrid Knowledge Bases (1996) (92)
Experimental evaluation of loss perception in continuous media (1999) (84)
EXTENSIONS TO ISOLS (1961) (83)
Hybrid Systems IV (1997) (79)
Multiple Agent Hybrid Control Architecture (1992) (75)
Modal Logics and Topological Semantics for Hybrid Systems (1997) (72)
The Stable Models of a Predicate Logic Program (1994) (69)
Hybrid Systems V (1999) (68)
Review: S. C. Kleene, Recursive Functionals and Quantifiers of Finite Types I (1962) (68)
Second order logic and first order theories of reducibility orderings (1980) (64)
Reducibility orderings: Theories, definability and automorphisms☆ (1980) (55)
Handbook of Recursive Mathematics (1998) (53)
Recursion theory and algebra (1975) (53)
Recursion Theory on Fields and Abstract Dependence (1980) (52)
A theory of nonmonotonic rule systems I (1990) (52)
Concurrent Programs as Strategies in Games (1992) (49)
Implementing Stable Semantics by Linear Programming (1993) (48)
Some Stone spaces and recursion theory (1959) (46)
Optimal control of systems with continuous and discrete states (1993) (42)
How Complicated is the Set of Stable Models of a Recursive Logic Program? (1992) (41)
Implementing deductive databases by linear programming (1992) (39)
Open Questions in the Theory of Automatic Structures (2008) (37)
Viability in Hybrid Systems (1995) (37)
Multiple agent autonomous hybrid control systems (1992) (36)
An Algebraic Proof of Kirchhoff's Network Theorem (1961) (36)
A Micro-Grid Distributed Intelligent Control and Management System (2015) (36)
The Introduction of Non-Recursive Methods into Mathematics* (1982) (35)
Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections (1994) (33)
A Non-Ground Realization of the Stable and Well-Founded Semantics (1996) (32)
Pi-0-1 classes in computable analysis and topology (2002) (31)
Recursion Theory on Matroids II (1983) (31)
Optimal controller switching for stochastic systems (1997) (30)
Diophantine correct non-standard models in the isols (1966) (30)
McNaughton Games and Extracting Strategies for Concurrent Programs (1996) (29)
Complexity-Theoretic Algebra II: Boolean Algebras (1989) (29)
Modelling hybrid systems as games (1992) (28)
Computing Circumscriptive Databases: I. Theory and Algorithms (1995) (28)
An autonomous systems control theory: an overview (1992) (28)
An Extended Duration Calculus for Hybrid Systems (1993) (28)
Effective dimension of points visited by Brownian motion (2009) (26)
Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (1993) (26)
Implementing deductive databases by mixed integer programming (1996) (25)
Multiple agent hybrid control: carrier manifolds and chattering approximations to optimal control (1994) (25)
Some Lectures on Modal Logic (1991) (24)
On Extreme Points of Convex Compact Turing Located Set (1994) (24)
Logic Programs, Well-Orderings, and Forward Chaining (1999) (24)
Optimal measurement scheduling in linear quadratic Gaussian control problems (1998) (24)
Justification semantics: a unifying framework for the semantics of Logic Programs (1993) (24)
Tableaux for constructive concurrent dynamic logic (2005) (23)
A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems (1994) (23)
Complexity theoretic algebra I - vector spaces over finite fields (1987) (23)
Computing Minimal Models by Partial Instantiation (1996) (21)
Hybrid Systems: Chattering Approximation to Relaxed Controls (1996) (20)
Computation and implementation of non-monotonic deductive databases (1991) (20)
A hybrid systems approach to computer-aided control engineering (1994) (19)
Logical Foundations of Computer Science — Tver '92 (1992) (19)
EXTENSIONS TO ISOLIC INTEGERS (1962) (18)
Hybrid System Games: Extraction of Control Automata with Small Topologies (1996) (18)
Controllers as fixed points of set-valued operators (1995) (17)
A decision method for $p$-adic integral zeros of diophantine equations (1963) (17)
Multiple Agent Autonomous Control A Hybrid Systems Architecture (1993) (17)
Towards a theory of hybrid knowledge bases (1993) (17)
Distributed Concurrent Programs as Strategies in Games (1993) (17)
Continualization : A hybrid systems control technique for computing (1996) (17)
Complexity-Theoretic Algebra: Vector Space Bases (1990) (16)
The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion (2007) (15)
Logical Foundations of Computer Science (2016) (14)
Some lectures on intuitionistic logic (1990) (14)
Logical Foundations of Computer Science (2018) (13)
Polynomially graded logic I. A graded version of system T (1989) (13)
Simulation for hybrid systems and nonlinear control (1992) (13)
Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma (1996) (13)
Composita, equations, and freely generated algebras (1959) (13)
Polynomially isolated sets (1990) (12)
Logic programming and non-monotonic reasoning : proceedings of the second international workshop (1991) (12)
Polynomially isolated sets (1990) (12)
Computing Definite Logic Programs by Partial Instantiation (1994) (11)
Annotated Nonmonotonic Rule Systems (1997) (11)
CONTROL SYNTHESIS IN HYBRID SYSTEMS WITH FINSLER DYNAMICS (2002) (10)
Hybrid Control Loops, A/D Maps, and Dynamic Specifications (2002) (10)
Combinatorial series and recursive equivalence types (1966) (9)
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems (1997) (9)
Asynchronous, distributed, decision-making systems with semi-autonomous entities: a mathematical framework (2000) (9)
Decidable Kripke Models of Intuitionistic Theories (1998) (9)
Logic and Control (2007) (9)
On Logical Constraints in Logic Programming (1995) (9)
Introduction to the handbook of Recursive Mathematics (1998) (9)
An agent-based framework for assessing missile defense doctrine and policy (2005) (8)
Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms (1993) (8)
Topological semantics for Intuitionistic modal logics, and spatial discretisation by A/D maps (8)
A survey of lattices of re substructures (1985) (8)
A mathematical framework for asynchronous, distributed, decision-making systems with semi-autonomous entities: algorithm synthesis, simulation, and evaluation (1999) (8)
Topological Semantics for Hybrid Systems (1997) (8)
Evaluating distributed xacml policies (2007) (7)
Performance evaluation of media losses in the Continuous Media Toolkit (1998) (7)
Nonmonotonic rule systems with recursive sets of restraints (1997) (7)
On the complexity of abduction (1996) (7)
A theory of nonmonotonic rule systems II (2005) (7)
Reflexive autoepistemic logic and logic programming (1993) (7)
Additive relations among recursive equivalence types (1965) (7)
Non-linear combinatorial functions of isols (1965) (7)
Hybrid Systems and Constraint Logic Programming (1993) (6)
A hybrid systems approach to integration of medical models (1994) (6)
A universal embedding property of the RETs (1970) (6)
Effective completeness theorems for modal logic (2004) (6)
BMD Agents: An Agent-Based Framework to Model Ballistic Missile Defense Strategies (2005) (6)
Reliable implementation of hybrid control systems for advanced avionics (1997) (6)
Basic Forward Chaining Construction for Logic Programs (1997) (6)
An Intuitionistic Interpretation of Finite and Infinite Failure (1993) (5)
Generic objects in recursion theory (1985) (5)
Extended Logic Programs as Autoepistemic Theories (1993) (5)
Reasoning with Inconsistency in Extended Deductive Databases (1993) (5)
Logic and foundations (1975) (5)
Complexity of Recursive Normal Default Logic (1997) (5)
Functorial properties of algebraic closure and Skolemization (1981) (5)
Games Played on Finite Graphs (2001) (4)
Logic for Applications (1993) (4)
On the Provision of Safety Assurance via Safety Kernels for Modern Weapon Systems (2006) (4)
Computable Kripke Models and Intermediate Logics (1998) (4)
Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings (1994) (4)
Agent Based Velocity Control of Highway Systems (1996) (4)
On the Lattices of NP-Subspaces of a Polynomial Time Vector Space over a Finite Field (1996) (4)
Principles of Logic and Logic Programming (2011) (3)
Multiple agent hybrid control for manufacturing systems (1996) (3)
Proceedings of the Third International Symposium on Logical Foundations of Computer Science (1994) (3)
Distributed intelligent control theory of hybrid systems (1994) (3)
Tableaux for Functional Dependencies and Independencies (1997) (3)
A New Approach to Generating Finite-State Control Programs for Hybrid Systems (1996) (3)
Logic, topological semantics and hybrid systems (1997) (3)
Polynomially graded logic (1989) (3)
Rule Systems and Well-Orderings (1992) (3)
Contributions to the Stable Model Semantics of Logic Programs with Negation (1993) (3)
Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings (1997) (3)
Complexity of normal default logic and related modes of nonmonotonic reasoning (1995) (3)
An Abductive Framework for Generalized Logic Programs (1993) (3)
Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995 : Proceedings (1995) (2)
QoS Based Evaluation of the Berkeley Continuous Media Toolkit (1999) (2)
Nonmonotonic logic: a monotonic approach (1999) (2)
Computability and complexity properties of automatic structures and their applications (2008) (2)
Effective Properties of Finitely Generated R.E. Algebras (1995) (2)
The declarative approach to design of robust control systems (1996) (2)
Hybrid systems: models, simulation, and testing [military] (1994) (2)
Topological semantics for intuitionistic modal logics I: completeness, Godel translations, and bisimulations (2)
Semantic investigations of linear logic (2005) (2)
Proceedings of the 1994 International Symposium on Logic programming (1994) (2)
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992 : Proceedings (1992) (2)
Hybrid systems as a substrate for DSSA (1994) (2)
Generic objects in recursion theory II: Operations on recursive approximation spaces (1986) (2)
A Characterization of Stable Models using a Non-Monotonic Operator (1993) (1)
Reactive control of distributed interactive simulations (1998) (1)
Recursion Theory (1985) (1)
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies (2004) (1)
Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (1993) (1)
The Work of Harvey Friedman1) (1985) (1)
An Integrated Approach to Intelligent Systems (2002) (1)
A nonmonotonic reasoning formalism using implicit specificity information (1993) (1)
Canonical Kripke Models and The Intuitionistic Semantics of Logic Programs (1993) (1)
A Selection of Papers Presented at the Symposium "Logic at Tver '92" - Preface (1994) (1)
Non-ground stable and well-founded semantics (1994) (1)
Foreword (2002) (1)
Scalable Data and Sensor Fusion Through Optimal Solutions of Multiple-Agent Systems. (1997) (1)
Autonomous Control of Hybrid Systems with Declarative Controllers (1993) (1)
Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings (2007) (1)
A Mathematical Framework for Asynchronous , Decentralized , Decision-Making Algorithm with Semi-Autonomous Entities : Synthesis , Simulation , and Evaluation (2004) (1)
Quantum Wave Processor Research Report. (1996) (0)
Normal forms and syntactic completeness proofs for functional independencies (2001) (0)
Review: P. Lorenzen, J. Myhill, Constructive Definition of Certain Analytic Sets of Numbers (1968) (0)
Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734) (2013) (0)
A Synthesis Algorithm for Hybrid Systems (2007) (0)
Minimal Knowledge + Negation as Failure = Only Knowing (Sometimes) (1993) (0)
Non-Monotonic Predicate Logics Syntax , Semantics , Completeness (2006) (0)
Downey, R., Fiiredi, Z., Jockusch Jr., CG and Ruhel, LA (1998) (0)
enter for loundations of Intelligent (0)
A theory of multitask learning for learning from disparate data sources (2003) (0)
Introduction (1966) (0)
enter for foundations of Intelligent ystems (1999) (0)
Reviews. Evert W. Beth. The foundations of mathematics, A study in the philosophy of science. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, XXVI + 741 pp (1962) (0)
Editorial (2022) (0)
Discussion on: “An Optimal Control Approach for Hybrid Systems” (2003) (0)
Review: Alfred Tarski: Life and Logic by Anita Burdman Feferman; Solomon Feferman (2010) (0)
SLS-resolution without floundering (1993) (0)
Reasoning in Open Domains (1993) (0)
Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg" (1996) (0)
Meeting of the Association for Symbolic Logic, New York 1969 (1973) (0)
The life and work of Sergei Artemov (2014) (0)
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning (1991) (0)
Logic at Tver '92 (1993) (0)
Preface (2012) (0)
The Automorphism Extension Property (1974) (0)
IN MEMORIAM: HARTLEY ROGERS, JR. 1926–2015 (2016) (0)
Review (2010) (0)
Decision procedure for Default Logic (2006) (0)
Hybrid control architecture with multiple agents (1996) (0)
Editorial (2020) (0)
A meeting of the Association for Symbolic Logic (1952) (0)
Logical Constraints and Logic Programming (2006) (0)
JSL volume 47 issue 4 Cover and Back matter and errata (1982) (0)
Categories and Functors (1974) (0)
A Conversation with Anil Nerode (2014) (0)
An assumption-based framework for non-monotonic reasoning (1993) (0)
An Architecture for Incremental Construction of Distributed, Heterogeneous Systems. Part 1. (1995) (0)
Elements of Set Theory (1997) (0)
Negation as Failure to Support (1993) (0)
Uniform circuits, Boolean proof nets (2018) (0)
Connectionist Approach to Finding Stable Models and Other Structures in Nonmonotonic Reasoning (1993) (0)
Architecture hybride de commande a agents multiples (1996) (0)
Shoenfield J. R.. Quasicreative sets. Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 964–967. (1960) (0)
Non-Classical Logics in Computer Science (Dagstuhl Seminar 9338) (2021) (0)
Prequel to the Cornell Computer Science Department (2017) (0)
In Memoriam: Paul J. Cohen 1934–2007 (2009) (0)
Beyond Hybrid Systems (2007) (0)
Rational default logic and disjunctive logic programming (1993) (0)
Negation as Partial Failure (1993) (0)
Computability and Complexity in Analysis (Dagstuhl Seminar 99461) (2021) (0)
Review: R. L. Goodstein, The Recursive Irrationality of $\pi$ (1960) (0)
Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013, proceedings (2013) (0)
Some Lectures on Modal Logic. Supplement (1989) (0)
Fellowship in Parallel and Distributed Computing (1990) (0)
Autoepistemic Logic Programming (1993) (0)
Musings on Turing's Thesis (2014) (0)
A Center of Excellence in the Mathematical Sciences - at Cornell University (1992) (0)
Logic Programming and Nonmonotonic Reasoning 4th International Conference, Lpnmr '97, Dagstuhl Castle, Germany, July 28-31, 1997 : Proceedings' (1997) (0)
Relating Disjunctive Logic Programs to Default Theories (1993) (0)
Tools for Deductive Databases (1993) (0)
The Notion of Rank and Games (1994) (0)
Performance Evaluation of Media Synchronization Losses in the Continuous Media Toolkit (1998) (0)
Consistency properties and set based logic programming (2008) (0)
The Dimension Case (1974) (0)
A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture) (1986) (0)
Preface - Special Volume Dedicated to the late Stephen Cole Kleene (1996) (0)
Editorial (2020) (0)
Editorial (2014) (0)
Lectures on Intuitionistic Logic. Part 2 (1989) (0)
Cost-Benefit Policy-Extraction Using a Multiple-Agent Hybrid Control Architecture (MAHCA). Request to Downsizing: Reducing Costs by Distributed Optimization. Part 2. Executive Summary. (1995) (0)
A Small Tribute (2012) (0)
Applications of Rabin Automata (2001) (0)
MBNF and Related Topics (1993) (0)
Review: J. C. E. Dekker, J. Myhill, Retraceable Sets (1962) (0)
Special Issue on Logical Foundations of Computer Science (2020) (0)
Preface (2004) (0)
Managing editors D. Van Dalen Y. Gurevich J. hartmanis (1984) (0)
Goodstein R. L.. The recursive irrationality of π. The journal of symbolic logic, vol. 19 (1954), pp. 267–274. (1960) (0)
Review: J. R. Shoenfield, Quasicreative Sets (1960) (0)
Stability and Related Topics (1993) (0)
Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning (1995) (0)
Self-assembly via a quantum control tracking system (2018) (0)
Mathematical Foundations of Network Analysis (Paul Slepian) (1970) (0)
Dekker J. C. E. and Myhill J.. Retraceable sets. Canadian journal of mathematics, vol. 10 (1958), pp. 357–373. (1962) (0)
Kleene S. C.. Recursive functionals and quantifiers of finite types I. Transactions of the American Mathematical Society, vol. 91 (1959), pp. 1–52. (1962) (0)
Algebraic Curves and Riemann Surfaces for Undergraduates (2022) (0)
A Sequent Axiomatization of Three-valued Logic with Two Negations (1993) (0)
Review: John Myhill, Recursive Digraphs, Splinters, and Cylinders (1960) (0)
Disjunctive LP, Inconsistency Handling (1993) (0)
Hybrid systems and distributed interactive simulations [military] (1994) (0)
A Center for Excellence in Mathematical Sciences Final Progress Report (1997) (0)
Automaton Comparison Procedure for the Verification of Hybrid Systems (0)
JSL volume 46 issue 4 Cover and Back matter and Errata (1981) (0)
Concurrent program development and correctness: S2S game strategies and constructive dynamic logic (1989) (0)
Automation Comparison Procedure for Verification of Hybrid Systems. (1997) (0)

This paper list is powered by the following services:

Other Resources About Anil Nerode

en.wikipedia.org

What Schools Are Affiliated With Anil Nerode?

Anil Nerode is affiliated with the following schools:

Anil Nerode's Academic­Influence.com Rankings