A Universal Embedding Property of the RETs. - Anil Nerode; Alfred B. Manaster (J. Symb. Log., 1970)

Meeting of the Association for Symbolic Logic. - Anil Nerode; K. Jon Barwise (J. Symb. Log., 1973)

A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture). - Anil Nerode (LICS, 1986)

Generic objects in recursion theory II: Operations on recursive approximation spaces. - Anil Nerode; Jeffrey B. Remmel (Ann. Pure Appl. Log., 1986)

Complexity theoretic algebra I - vector spaces over finite fields. - Anil Nerode; Jeffrey B. Remmel (SCT, 1987)

Polynomially Grade Logic I: A Graded Version of System T - Anil Nerode; Jeffrey B. Remmel; Andre Scedrov (LICS, 1989)

Complexity-Theoretic Algebra II: Boolean Algebras. - Anil Nerode; Jeffrey B. Remmel (Ann. Pure Appl. Log., 1989)

A Theory of Nonmonotonic Rule Systems - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (LICS, 1990)

A Theory of Nonmonotonic Rule Systems I. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (Ann. Math. Artif. Intell., 1990)

Introduction. - Robert L. Grossman; Anil Nerode; Anders P. Ravn; Hans Rischel (Hybrid Systems, 1992)

Multiple Agent Hybrid Control Architecture. - Anil Nerode; Wolf Kohn (Hybrid Systems, 1992)

Models for Hybrid Systems: Automata, Topologies, Controllability, Observability. - Anil Nerode; Wolf Kohn (Hybrid Systems, 1992)

Rule Systems and Well-Orderings. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992)

Implementing Deductive Databases by Linear Programming. - Colin Bell; Anil Nerode; Raymond T. Ng; V. S. Subrahmanian (PODS, 1992)

A Theory of Nonmonotonic Rule Systems II. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (Ann. Math. Artif. Intell., 1992)

How Complicated is the Set of Stable Models of a Recursive Logic Program? - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (Ann. Pure Appl. Log., 1992)

Logic for Applications. - Anil Nerode; Richard A. Shore (Springer, 1993)

Hybrid Systems and Constraint Logic Programming. - Anil Nerode; Wolf Kohn (ICLP, 1993)

Implementing Stable Semantics by Linear Programming. - Colin Bell; Anil Nerode; Raymond T. Ng; V. S. Subrahmanian (LPNMR, 1993)

Autonomous Control of Hybrid Systems with Declarative Controllers. - Wolf Kohn; Anil Nerode (LPNMR, 1993)

Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections. - Wolf Kohn; Anil Nerode; Jeffrey B. Remmel (Hybrid Systems, 1994)

Controllers as Fixed Points of Set-Valued Operators. - Anil Nerode; Jeffrey B. Remmel; Alexander Yakhnis (Hybrid Systems, 1994)

Automatic Presentations of Structures. - Bakhadyr Khoussainov; Anil Nerode (LCC, 1994)

On Extreme Points of Convex Compact Turing Located Set. - Xiaolin Ge; Anil Nerode (LFCS, 1994)

The Notion of Rank and Games. - Bakhadyr Khoussainov; Anil Nerode (LFCS, 1994)

On Logical Constraints in Logic Programming. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (ILPS Workshop: Constraints and Databases, 1994)

Computing Definite Logic Programs by Partial Instantiation. - Vadim Kagan; Anil Nerode; V. S. Subrahmanian (Ann. Pure Appl. Log., 1994)

A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (Ann. Pure Appl. Log., 1994)

A Selection of Papers Presented at the Symposium "Logic at Tver '92" - Preface. - Anil Nerode; Michael A. Taitslin (Ann. Pure Appl. Log., 1994)

Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases. - Colin Bell; Anil Nerode; Raymond T. Ng; V. S. Subrahmanian (J. ACM, 1994)

The Stable Models of a Predicate Logic Program. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (J. Log. Program., 1994)

Introduction. - Anil Nerode; Victor W. Marek; V. S. Subrahmanian (Methods Log. Comput. Sci., 1994)

Hybrid Systems: Chattering Approximation to Relaxed Controls. - Xiaolin Ge; Wolf Kohn; Anil Nerode; Jeffrey B. Remmel (Hybrid Systems, 1995)

Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (LICS, 1995)

Viability in Hybrid Systems. - Wolf Kohn; Anil Nerode; Jeffrey B. Remmel; Alexander Yakhnis (Theor. Comput. Sci., 1995)

Computing Circumscriptive Databases: I. Theory and Algorithms - Anil Nerode; Raymond T. Ng; V. S. Subrahmanian (Inf. Comput., 1995)

Agent Based Velocity Control of Highway Systems. - Wolf Kohn; Anil Nerode; Jeffrey B. Remmel (Hybrid Systems, 1996)

Hybrid System Games: Extraction of Control Automata with Small Topologies. - Anil Nerode; Jeffrey B. Remmel; Alexander Yakhnis (Hybrid Systems, 1996)

On the Complexity of Abduction. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (LICS, 1996)

Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma. - Xiaolin Ge; Anil Nerode (Ann. Pure Appl. Log., 1996)

Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg". - Yuri V. Matiyasevich; Anil Nerode (Ann. Pure Appl. Log., 1996)

On the Lattices of NP-Subspaces of a Polynomial Time Vector Space over a Finite Field. - Anil Nerode; Jeffrey B. Remmel (Ann. Pure Appl. Log., 1996)

McNaughton Games and Extracting Strategies for Concurrent Programs. - Anil Nerode; Jeffrey B. Remmel; Alexander Yakhnis (Ann. Pure Appl. Log., 1996)

Preface - Special Volume Dedicated to the late Stephen Cole Kleene. - Anil Nerode; Gerald E. Sacks (Ann. Pure Appl. Log., 1996)

A Non-Ground Realization of the Stable and Well-Founded Semantics. - Georg Gottlob; Sherry Marcus; Anil Nerode; Gernot Salzer; V. S. Subrahmanian (Theor. Comput. Sci., 1996)

Computing Minimal Models by Partial Instantiation. - Vadim Kagan; Anil Nerode; V. S. Subrahmanian (Theor. Comput. Sci., 1996)

Hybrid Knowledge Bases. - James J. Lu; Anil Nerode; V. S. Subrahmanian (IEEE Trans. Knowl. Data Eng., 1996)

Implementing Deductive Databases by Mixed Integer Programming. - Colin Bell; Anil Nerode; Raymond T. Ng; V. S. Subrahmanian (ACM Trans. Database Syst., 1996)

Logic for Applications, Second Edition. - Anil Nerode; Richard A. Shore (Springer, 1997)

Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems. - Wolf Kohn; Anil Nerode; Jeffrey B. Remmel (Hybrid Systems, 1997)

Optimal Controller Switching for Stochastic Systems. - Efstratios Skafidas; Robin J. Evans 001; Iven M. Y. Mareels; Anil Nerode (Hybrid Systems, 1997)

Topological Semantics for Hybrid Systems. - Sergei N. Artëmov; Jennifer M. Davoren; Anil Nerode (LFCS, 1997)

Basic Forward Chaining Construction for Logic Programs. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (LFCS, 1997)

Tableaux for Functional Dependencies and Independencies. - Duminda Wijesekera; M. Ganesh 001; Jaideep Srivastava; Anil Nerode (TABLEAUX, 1997)

Nonmonotonic rule systems with recursive sets of restraints. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (Arch. Math. Log., 1997)

Complexity of Recursive Normal Default Logic. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (Fundam. Informaticae, 1997)

Annotated Nonmonotonic Rule Systems. - Anil Nerode; Jeffrey B. Remmel; V. S. Subrahmanian (Theor. Comput. Sci., 1997)

Performance evaluation of media losses in the Continuous Media Toolkit. - Duminda Wijesekera; Srivatsan Varadarajan; Shwetal S. Parikh; Jaideep Srivastava; Anil Nerode (MSE, 1998)

Decidable Kripke Models of Intuitionistic Theories. - Hajime Ishihara; Bakhadyr Khoussainov; Anil Nerode (Ann. Pure Appl. Log., 1998)

Computable Kripke Models and Intermediate Logics. - Hajime Ishihara; Bakhadyr Khoussainov; Anil Nerode (Inf. Comput., 1998)

Hybrid Control Systems: An Introductory Discussion to the Special Issue. - Panos J. Antsaklis; Anil Nerode (IEEE Trans. Autom. Control., 1998)

A Mathematical Framework for Asynchronous, Distributed, Decision-Making Systems with Semi-Autonomous Entities: Algorithm Synthesis, Simulation, and Evaluation. - Tony S. Lee; Sumit Ghosh; Anil Nerode (ISADS, 1999)

Logic Programs, Well-Orderings, and Forward Chaining. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (Ann. Pure Appl. Log., 1999)

Experimental Evaluation of Loss Perception in Continuous Media. - Duminda Wijesekera; Jaideep Srivastava; Anil Nerode; Mark Foresti (Multim. Syst., 1999)

Logics for hybrid systems. - Jennifer M. Davoren; Anil Nerode (Proc. IEEE, 2000)

Asynchronous, distributed, decision-making systems with semi-autonomous entities: a mathematical framework. - Tony S. Lee; Sumit Ghosh; Anil Nerode (IEEE Trans. Syst. Man Cybern. Part B, 2000)

Normal forms and syntactic completeness proofs for functional independencies. - Duminda Wijesekera; M. Ganesh 001; Jaideep Srivastava; Anil Nerode (Theor. Comput. Sci., 2001)

Hybrid Control Loops, A/D Maps, and Dynamic Specifications. - Jennifer M. Davoren; Thomas Moor; Anil Nerode (HSCC, 2002)

Foreword. - Ker-I Ko; Anil Nerode; Klaus Weihrauch (Theor. Comput. Sci., 2002)

On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. - Jennifer M. Davoren; Thomas Moor; Rajeev Goré; Vaughan Coulthard; Anil Nerode (FORMATS/FTRTFT, 2004)

Effective completeness theorems for modal logic. - Suman Ganguli; Anil Nerode (Ann. Pure Appl. Log., 2004)

Preface. - Anil Nerode (Ann. Pure Appl. Log., 2004)

An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy. - Duminda Wijesekera; James Bret Michael; Anil Nerode (POLICY, 2005)

Tableaux for constructive concurrent dynamic logic. - Duminda Wijesekera; Anil Nerode (Ann. Pure Appl. Log., 2005)

Logic and Control. - Anil Nerode (CiE, 2007)

A Synthesis Algorithm for Hybrid Systems. - Srikanth Gottipati; Anil Nerode (LFCS, 2007)

The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion. - Bjørn Kjos-Hanssen; Anil Nerode (LFCS, 2007)

Evaluating distributed xacml policies. - Vijayant Dhankhar; Saket Kaushik; Duminda Wijesekera; Anil Nerode (SWS, 2007)

Consistency properties and set based logic programming. - Anil Nerode; Jeffrey B. Remmel (Ann. Math. Artif. Intell., 2008)

Open Questions in the Theory of Automatic Structures. - Bakhadyr Khoussainov; Anil Nerode (Bull. EATCS, 2008)

Effective dimension of points visited by Brownian motion. - Bjørn Kjos-Hanssen; Anil Nerode (Theor. Comput. Sci., 2009)

Review: Alfred Tarski: Life and Logic by Anita Burdman Feferman; Solomon Feferman. - Anil Nerode (Am. Math. Mon., 2010)

A Small Tribute. - Anil Nerode (Logic and Program Semantics, 2012)

Preface. - Sergei N. Artëmov; Anil Nerode (Ann. Pure Appl. Log., 2012)

Musings on Turing's Thesis. - Anil Nerode (Turing's Legacy, 2014)

Editorial. - Anil Nerode; Melvin Fitting (Ann. Pure Appl. Log., 2014)

The life and work of Sergei Artemov. - Anil Nerode; Melvin Fitting (Ann. Pure Appl. Log., 2014)

A Micro-Grid Distributed Intelligent Control and Management System. - Wolf Kohn; Zelda B. Zabinsky; Anil Nerode (IEEE Trans. Smart Grid, 2015)

In Memoriam: Hartley Rogers, Jr. 1926-2015. - Anil Nerode (Bull. Symb. Log., 2016)

Prequel to the Cornell Computer Science Department. - Anil Nerode (Computability and Complexity, 2017)

Special Issue on Logical Foundations of Computer Science. - Sergei N. Artëmov; Anil Nerode (J. Log. Comput., 2020)

Editorial. - Sergei Artemov; Anil Nerode (J. Log. Comput., 2022)

John Crossley: A life intellectual. - Anil Nerode (Log. J. IGPL, 2023)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP). - Anil Nerode; Yanhong A. Liu (CoRR, 2024)