Anil Nerode

Publication Activity (10 Years)

Years Active: 1970-2023
Publications (10 Years): 7

Top Topics

Grid Middleware

Computer Science

Top Venues

J. Log. Comput.

Ann. Pure Appl. Log.

Bull. Symb. Log.

Publications

Anil Nerode
John Crossley: A life intellectual. Log. J. IGPL 31 (6) (2023)
Sergei Artemov, Anil Nerode
Editorial. J. Log. Comput. 32 (8) (2022)
Sergei N. Artëmov, Anil Nerode
Editorial. J. Log. Comput. 31 (1) (2021)
Sergei N. Artëmov, Anil Nerode
Editorial. J. Log. Comput. 30 (8) (2020)
Sergei N. Artëmov, Anil Nerode
Special Issue on Logical Foundations of Computer Science. J. Log. Comput. 30 (1) (2020)
Anil Nerode
Prequel to the Cornell Computer Science Department. Computability and Complexity (2017)
Anil Nerode
In Memoriam: Hartley Rogers, Jr. 1926-2015. Bull. Symb. Log. 22 (2) (2016)
Wolf Kohn, Zelda B. Zabinsky, Anil Nerode
A Micro-Grid Distributed Intelligent Control and Management System. IEEE Trans. Smart Grid 6 (6) (2015)
Anil Nerode, Melvin Fitting
Editorial. Ann. Pure Appl. Log. 165 (1) (2014)
Anil Nerode, Melvin Fitting
The life and work of Sergei Artemov. Ann. Pure Appl. Log. 165 (1) (2014)
Sergei N. Artëmov, Anil Nerode
Preface. Ann. Pure Appl. Log. 163 (7) (2012)
Anil Nerode
A Small Tribute. Logic and Program Semantics (2012)
Anil Nerode
Review: Alfred Tarski: Life and Logic by Anita Burdman Feferman; Solomon Feferman. Am. Math. Mon. 117 (3) (2010)
Bjørn Kjos-Hanssen, Anil Nerode
Effective dimension of points visited by Brownian motion. Theor. Comput. Sci. 410 (4-5) (2009)
Bakhadyr Khoussainov, Anil Nerode
Open Questions in the Theory of Automatic Structures. Bull. EATCS 94 (2008)
Anil Nerode, Jeffrey B. Remmel
Consistency properties and set based logic programming. Ann. Math. Artif. Intell. 53 (1-4) (2008)
Bjørn Kjos-Hanssen, Anil Nerode
The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion. LFCS (2007)
Vijayant Dhankhar, Saket Kaushik, Duminda Wijesekera, Anil Nerode
Evaluating distributed xacml policies. SWS (2007)
Srikanth Gottipati, Anil Nerode
A Synthesis Algorithm for Hybrid Systems. LFCS (2007)
Anil Nerode
Logic and Control. CiE (2007)
Duminda Wijesekera, Anil Nerode
Tableaux for constructive concurrent dynamic logic. Ann. Pure Appl. Log. 135 (1-3) (2005)
Duminda Wijesekera, James Bret Michael, Anil Nerode
An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy. POLICY (2005)
Anil Nerode
Preface. Ann. Pure Appl. Log. 126 (1-3) (2004)
Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. FORMATS/FTRTFT (2004)
Suman Ganguli, Anil Nerode
Effective completeness theorems for modal logic. Ann. Pure Appl. Log. 128 (1-3) (2004)
Ker-I Ko, Anil Nerode, Klaus Weihrauch
Foreword. Theor. Comput. Sci. 284 (2) (2002)
Jennifer M. Davoren, Thomas Moor, Anil Nerode
Hybrid Control Loops, A/D Maps, and Dynamic Specifications. HSCC (2002)
Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode
Normal forms and syntactic completeness proofs for functional independencies. Theor. Comput. Sci. 266 (1-2) (2001)
Jennifer M. Davoren, Anil Nerode
Logics for hybrid systems. Proc. IEEE 88 (7) (2000)
Tony S. Lee, Sumit Ghosh, Anil Nerode
Asynchronous, distributed, decision-making systems with semi-autonomous entities: a mathematical framework. IEEE Trans. Syst. Man Cybern. Part B 30 (1) (2000)
Duminda Wijesekera, Jaideep Srivastava, Anil Nerode, Mark Foresti
Experimental Evaluation of Loss Perception in Continuous Media. Multim. Syst. 7 (6) (1999)
Tony S. Lee, Sumit Ghosh, Anil Nerode
A Mathematical Framework for Asynchronous, Distributed, Decision-Making Systems with Semi-Autonomous Entities: Algorithm Synthesis, Simulation, and Evaluation. ISADS (1999)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
Logic Programs, Well-Orderings, and Forward Chaining. Ann. Pure Appl. Log. 96 (1-3) (1999)
Duminda Wijesekera, Srivatsan Varadarajan, Shwetal S. Parikh, Jaideep Srivastava, Anil Nerode
Performance evaluation of media losses in the Continuous Media Toolkit. MSE (1998)
Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode
Decidable Kripke Models of Intuitionistic Theories. Ann. Pure Appl. Log. 93 (1-3) (1998)
Panos J. Antsaklis, Anil Nerode
Hybrid Control Systems: An Introductory Discussion to the Special Issue. IEEE Trans. Autom. Control. 43 (4) (1998)
Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode
Computable Kripke Models and Intermediate Logics. Inf. Comput. 143 (2) (1998)
Anil Nerode, Jeffrey B. Remmel, V. S. Subrahmanian
Annotated Nonmonotonic Rule Systems. Theor. Comput. Sci. 171 (1-2) (1997)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
Nonmonotonic rule systems with recursive sets of restraints. Arch. Math. Log. 36 (4-5) (1997)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
Basic Forward Chaining Construction for Logic Programs. LFCS (1997)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
Complexity of Recursive Normal Default Logic. Fundam. Informaticae 32 (2) (1997)
Wolf Kohn, Anil Nerode, Jeffrey B. Remmel
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems. Hybrid Systems (1997)
Efstratios Skafidas, Robin J. Evans, Iven M. Y. Mareels, Anil Nerode
Optimal Controller Switching for Stochastic Systems. Hybrid Systems (1997)
Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode
Topological Semantics for Hybrid Systems. LFCS (1997)
Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode
Tableaux for Functional Dependencies and Independencies. TABLEAUX (1997)
Georg Gottlob, Sherry Marcus, Anil Nerode, Gernot Salzer, V. S. Subrahmanian
A Non-Ground Realization of the Stable and Well-Founded Semantics. Theor. Comput. Sci. 166 (1&2) (1996)
Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian
Implementing Deductive Databases by Mixed Integer Programming. ACM Trans. Database Syst. 21 (2) (1996)
Anil Nerode, Jeffrey B. Remmel
On the Lattices of NP-Subspaces of a Polynomial Time Vector Space over a Finite Field. Ann. Pure Appl. Log. 81 (1-3) (1996)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
On the Complexity of Abduction. LICS (1996)
Xiaolin Ge, Anil Nerode
Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma. Ann. Pure Appl. Log. 78 (1-3) (1996)
Yuri V. Matiyasevich, Anil Nerode
Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg". Ann. Pure Appl. Log. 78 (1-3) (1996)
Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
Hybrid System Games: Extraction of Control Automata with Small Topologies. Hybrid Systems (1996)
Wolf Kohn, Anil Nerode, Jeffrey B. Remmel
Agent Based Velocity Control of Highway Systems. Hybrid Systems (1996)
Vadim Kagan, Anil Nerode, V. S. Subrahmanian
Computing Minimal Models by Partial Instantiation. Theor. Comput. Sci. 155 (1) (1996)
Anil Nerode, Gerald E. Sacks
Preface - Special Volume Dedicated to the late Stephen Cole Kleene. Ann. Pure Appl. Log. 81 (1-3) (1996)
Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
McNaughton Games and Extracting Strategies for Concurrent Programs. Ann. Pure Appl. Log. 78 (1-3) (1996)
James J. Lu, Anil Nerode, V. S. Subrahmanian
Hybrid Knowledge Bases. IEEE Trans. Knowl. Data Eng. 8 (5) (1996)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
On Logical Constraints in Logic Programming. LPNMR (1995)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning LICS (1995)
Anil Nerode, Raymond T. Ng, V. S. Subrahmanian
Computing Circumscriptive Databases: I. Theory and Algorithms Inf. Comput. 116 (1) (1995)
Wolf Kohn, Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
Viability in Hybrid Systems. Theor. Comput. Sci. 138 (1) (1995)
Xiaolin Ge, Wolf Kohn, Anil Nerode, Jeffrey B. Remmel
Hybrid Systems: Chattering Approximation to Relaxed Controls. Hybrid Systems (1995)
Bakhadyr Khoussainov, Anil Nerode
The Notion of Rank and Games. LFCS (1994)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
The Stable Models of a Predicate Logic Program. J. Log. Program. 21 (3) (1994)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
On Logical Constraints in Logic Programming. ILPS Workshop: Constraints and Databases (1994)
Anil Nerode, Victor W. Marek, V. S. Subrahmanian
Introduction. Methods Log. Comput. Sci. 1 (1) (1994)
Xiaolin Ge, Anil Nerode
On Extreme Points of Convex Compact Turing Located Set. LFCS (1994)
Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
Controllers as Fixed Points of Set-Valued Operators. Hybrid Systems (1994)
Anil Nerode, Michael A. Taitslin
A Selection of Papers Presented at the Symposium "Logic at Tver '92" - Preface. Ann. Pure Appl. Log. 67 (1-3) (1994)
Vadim Kagan, Anil Nerode, V. S. Subrahmanian
Computing Definite Logic Programs by Partial Instantiation. Ann. Pure Appl. Log. 67 (1-3) (1994)
Wolf Kohn, Anil Nerode, Jeffrey B. Remmel
Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections. Hybrid Systems (1994)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. Ann. Pure Appl. Log. 67 (1-3) (1994)
Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian
Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases. J. ACM 41 (6) (1994)
Bakhadyr Khoussainov, Anil Nerode
Automatic Presentations of Structures. LCC (1994)
Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian
Implementing Stable Semantics by Linear Programming. LPNMR (1993)
Wolf Kohn, Anil Nerode
Autonomous Control of Hybrid Systems with Declarative Controllers. LPNMR (1993)
Anil Nerode, Wolf Kohn
Hybrid Systems and Constraint Logic Programming. ICLP (1993)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
The Stable Models of a Predicate Logic Program. JICSLP (1992)
Anil Nerode, Wolf Kohn
Multiple Agent Hybrid Control Architecture. Hybrid Systems (1992)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
Rule Systems and Well-Orderings. Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)
Anil Nerode, Wolf Kohn
Models for Hybrid Systems: Automata, Topologies, Controllability, Observability. Hybrid Systems (1992)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
How Complicated is the Set of Stable Models of a Recursive Logic Program? Ann. Pure Appl. Log. 56 (1-3) (1992)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
A Theory of Nonmonotonic Rule Systems II. Ann. Math. Artif. Intell. 5 (2-4) (1992)
Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
Introduction. Hybrid Systems (1992)
Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian
Implementing Deductive Databases by Linear Programming. PODS (1992)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
A Theory of Nonmonotonic Rule Systems I. Ann. Math. Artif. Intell. 1 (1990)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
A Theory of Nonmonotonic Rule Systems LICS (1990)
Anil Nerode, Jeffrey B. Remmel, Andre Scedrov
Polynomially Grade Logic I: A Graded Version of System T LICS (1989)
Anil Nerode, Jeffrey B. Remmel
Complexity-Theoretic Algebra II: Boolean Algebras. Ann. Pure Appl. Log. 44 (1-2) (1989)
Anil Nerode, Jeffrey B. Remmel
Complexity theoretic algebra I - vector spaces over finite fields. Computational Complexity Conference (1987)
Anil Nerode
A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture). LICS (1986)
Anil Nerode, Jeffrey B. Remmel
Generic objects in recursion theory II: Operations on recursive approximation spaces. Ann. Pure Appl. Log. 31 (1986)
Anil Nerode, K. Jon Barwise
Meeting of the Association for Symbolic Logic. J. Symb. Log. 38 (2) (1973)
Anil Nerode, Alfred B. Manaster
A Universal Embedding Property of the RETs. J. Symb. Log. 35 (1) (1970)