Anil Nerode

According to our database1, Anil Nerode authored at least 89 papers between 1970 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Prequel to the Cornell Computer Science Department.
Proceedings of the Computability and Complexity, 2017

2015
A Micro-Grid Distributed Intelligent Control and Management System.
IEEE Trans. Smart Grid, 2015

2014
The life and work of Sergei Artemov.
Ann. Pure Appl. Logic, 2014

Editorial.
Ann. Pure Appl. Logic, 2014

Musings on Turing's Thesis.
Proceedings of the Turing's Legacy: Developments from Turing's Ideas in Logic, 2014

2012
Preface.
Ann. Pure Appl. Logic, 2012

A Small Tribute.
Proceedings of the Logic and Program Semantics, 2012

2010
Review: Alfred Tarski: Life and Logic by Anita Burdman Feferman; Solomon Feferman.
The American Mathematical Monthly, 2010

2009
Effective dimension of points visited by Brownian motion.
Theor. Comput. Sci., 2009

2008
Open Questions in the Theory of Automatic Structures.
Bulletin of the EATCS, 2008

Consistency properties and set based logic programming.
Ann. Math. Artif. Intell., 2008

2007
Evaluating distributed xacml policies.
Proceedings of the 4th ACM Workshop On Secure Web Services, 2007

The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

A Synthesis Algorithm for Hybrid Systems.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Logic and Control.
Proceedings of the Computation and Logic in the Real World, 2007

2005
Tableaux for constructive concurrent dynamic logic.
Ann. Pure Appl. Logic, 2005

An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy.
Proceedings of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 2005

2004
Preface.
Ann. Pure Appl. Logic, 2004

Effective completeness theorems for modal logic.
Ann. Pure Appl. Logic, 2004

On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies.
Proceedings of the Formal Techniques, 2004

2002
Foreword.
Theor. Comput. Sci., 2002

Hybrid Control Loops, A/D Maps, and Dynamic Specifications.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

2001
Normal forms and syntactic completeness proofs for functional independencies.
Theor. Comput. Sci., 2001

2000
Asynchronous, distributed, decision-making systems with semi-autonomous entities: a mathematical framework.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2000

1999
Experimental Evaluation of Loss Perception in Continuous Media.
Multimedia Syst., 1999

Logic Programs, Well-Orderings, and Forward Chaining.
Ann. Pure Appl. Logic, 1999

A Mathematical Framework for Asynchronous, Distributed, Decision-Making Systems with Semi-Autonomous Entities: Algorithm Synthesis, Simulation, and Evaluation.
Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

1998
Computable Kripke Models and Intermediate Logics.
Inf. Comput., 1998

Decidable Kripke Models of Intuitionistic Theories.
Ann. Pure Appl. Logic, 1998

Performance evaluation of media losses in the Continuous Media Toolkit.
Proceedings of the 1998 International Workshop on Multimedia Software Engineering, 1998

1997
Annotated Nonmonotonic Rule Systems.
Theor. Comput. Sci., 1997

Complexity of Recursive Normal Default Logic.
Fundam. Inform., 1997

Nonmonotonic rule systems with recursive sets of restraints.
Arch. Math. Log., 1997

Tableaux for Functional Dependencies and Independencies.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

Basic Forward Chaining Construction for Logic Programs.
Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

Topological Semantics for Hybrid Systems.
Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

Optimal Controller Switching for Stochastic Systems.
Proceedings of the Hybrid Systems V, 1997

Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems.
Proceedings of the Hybrid Systems V, 1997

Logic for Applications, Second Edition.
Graduate Texts in Computer Science, Springer, ISBN: 978-1-4612-0649-1, 1997

1996
Implementing Deductive Databases by Mixed Integer Programming.
ACM Trans. Database Syst., 1996

Hybrid Knowledge Bases.
IEEE Trans. Knowl. Data Eng., 1996

Computing Minimal Models by Partial Instantiation.
Theor. Comput. Sci., 1996

A Non-Ground Realization of the Stable and Well-Founded Semantics.
Theor. Comput. Sci., 1996

Preface - Special Volume Dedicated to the late Stephen Cole Kleene.
Ann. Pure Appl. Logic, 1996

McNaughton Games and Extracting Strategies for Concurrent Programs.
Ann. Pure Appl. Logic, 1996

On the Lattices of NP-Subspaces of a Polynomial Time Vector Space over a Finite Field.
Ann. Pure Appl. Logic, 1996

Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg".
Ann. Pure Appl. Logic, 1996

Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma.
Ann. Pure Appl. Logic, 1996

On the Complexity of Abduction.
Proceedings of the Proceedings, 1996

Hybrid System Games: Extraction of Control Automata with Small Topologies.
Proceedings of the Hybrid Systems IV, 1996

Agent Based Velocity Control of Highway Systems.
Proceedings of the Hybrid Systems IV, 1996

1995
Computing Circumscriptive Databases: I. Theory and Algorithms
Inf. Comput., January, 1995

Viability in Hybrid Systems.
Theor. Comput. Sci., 1995

On Logical Constraints in Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning
Proceedings of the Proceedings, 1995

Hybrid Systems: Chattering Approximation to Relaxed Controls.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994
Introduction.
Meth. of Logic in CS, 1994

The Stable Models of a Predicate Logic Program.
J. Log. Program., 1994

Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases.
J. ACM, 1994

A Selection of Papers Presented at the Symposium "Logic at Tver '92" - Preface.
Ann. Pure Appl. Logic, 1994

A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems.
Ann. Pure Appl. Logic, 1994

Computing Definite Logic Programs by Partial Instantiation.
Ann. Pure Appl. Logic, 1994

On Logical Constraints in Logic Programming.
Proceedings of the ILPS 1994, 1994

The Notion of Rank and Games.
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

On Extreme Points of Convex Compact Turing Located Set.
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

Automatic Presentations of Structures.
Proceedings of the Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, 1994

Controllers as Fixed Points of Set-Valued Operators.
Proceedings of the Hybrid Systems II, 1994

Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections.
Proceedings of the Hybrid Systems II, 1994

1993
Autonomous Control of Hybrid Systems with Declarative Controllers.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Implementing Stable Semantics by Linear Programming.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Hybrid Systems and Constraint Logic Programming.
Proceedings of the Logic Programming, 1993

Logic for Applications.
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4684-0211-7, 1993

1992
How Complicated is the Set of Stable Models of a Recursive Logic Program?
Ann. Pure Appl. Logic, 1992

A Theory of Nonmonotonic Rule Systems II.
Ann. Math. Artif. Intell., 1992

Implementing Deductive Databases by Linear Programming.
Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Rule Systems and Well-Orderings.
Proceedings of the Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992

The Stable Models of a Predicate Logic Program.
Proceedings of the Logic Programming, 1992

Models for Hybrid Systems: Automata, Topologies, Controllability, Observability.
Proceedings of the Hybrid Systems, 1992

Multiple Agent Hybrid Control Architecture.
Proceedings of the Hybrid Systems, 1992

Introduction.
Proceedings of the Hybrid Systems, 1992

1990
A Theory of Nonmonotonic Rule Systems I.
Ann. Math. Artif. Intell., 1990

A Theory of Nonmonotonic Rule Systems
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1989
Complexity-Theoretic Algebra II: Boolean Algebras.
Ann. Pure Appl. Logic, 1989

Polynomially Grade Logic I: A Graded Version of System T
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

1987
Complexity theoretic algebra I - vector spaces over finite fields.
Proceedings of the Second Annual Conference on Structure in Complexity Theory, 1987

1986
Generic objects in recursion theory II: Operations on recursive approximation spaces.
Ann. Pure Appl. Logic, 1986

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

1973
Meeting of the Association for Symbolic Logic.
J. Symb. Log., 1973

1970
A Universal Embedding Property of the RETs.
J. Symb. Log., 1970


  Loading...