| 2007 |
|---|
| 80 | | Sergei N. Artëmov,
Anil Nerode:
Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
Springer 2007 |
| 79 | EE | Anil Nerode:
Logic and Control.
CiE 2007: 585-597 |
| 78 | EE | Srikanth Gottipati,
Anil Nerode:
A Synthesis Algorithm for Hybrid Systems.
LFCS 2007: 254-268 |
| 77 | EE | Bjørn Kjos-Hanssen,
Anil Nerode:
The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion.
LFCS 2007: 310-317 |
| 76 | EE | Vijayant Dhankhar,
Saket Kaushik,
Duminda Wijesekera,
Anil Nerode:
Evaluating distributed xacml policies.
SWS 2007: 99-110 |
| 2005 |
|---|
| 75 | EE | Duminda Wijesekera,
James Bret Michael,
Anil Nerode:
An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy.
POLICY 2005: 115-118 |
| 74 | EE | Duminda Wijesekera,
Anil Nerode:
Tableaux for constructive concurrent dynamic logic.
Ann. Pure Appl. Logic 135(1-3): 1-72 (2005) |
| 2004 |
|---|
| 73 | EE | 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: 52-67 |
| 72 | EE | Anil Nerode:
Preface.
Ann. Pure Appl. Logic 126(1-3): 1-2 (2004) |
| 71 | EE | Suman Ganguli,
Anil Nerode:
Effective completeness theorems for modal logic.
Ann. Pure Appl. Logic 128(1-3): 141-195 (2004) |
| 2002 |
|---|
| 70 | EE | Jennifer M. Davoren,
Thomas Moor,
Anil Nerode:
Hybrid Control Loops, A/D Maps, and Dynamic Specifications.
HSCC 2002: 149-163 |
| 69 | EE | Ker-I Ko,
Anil Nerode,
Klaus Weihrauch:
Foreword.
Theor. Comput. Sci. 284(2): 197 (2002) |
| 2001 |
|---|
| 68 | EE | Duminda Wijesekera,
M. Ganesh,
Jaideep Srivastava,
Anil Nerode:
Normal forms and syntactic completeness proofs for functional independencies.
Theor. Comput. Sci. 266(1-2): 365-405 (2001) |
| 2000 |
|---|
| 67 | | Tony S. Lee,
Sumit Ghosh,
Anil Nerode:
Asynchronous, distributed, decision-making systems with semi-autonomous entities: a mathematical framework.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 30(1): 229-239 (2000) |
| 1999 |
|---|
| 66 | | Panos J. Antsaklis,
Wolf Kohn,
Michael D. Lemmon,
Anil Nerode,
Shankar Sastry:
Hybrid Systems V
Springer 1999 |
| 65 | EE | 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: 206-212 |
| 64 | | V. Wiktor Marek,
Anil Nerode,
Jeffrey B. Remmel:
Logic Programs, Well-Orderings, and Forward Chaining.
Ann. Pure Appl. Logic 96(1-3): 231-276 (1999) |
| 63 | EE | Duminda Wijesekera,
Jaideep Srivastava,
Anil Nerode,
Mark Foresti:
Experimental Evaluation of Loss Perception in Continuous Media.
Multimedia Syst. 7(6): 486-499 (1999) |
| 1998 |
|---|
| 62 | | Hajime Ishihara,
Bakhadyr Khoussainov,
Anil Nerode:
Decidable Kripke Models of Intuitionistic Theories.
Ann. Pure Appl. Logic 93(1-3): 115-123 (1998) |
| 61 | | Hajime Ishihara,
Bakhadyr Khoussainov,
Anil Nerode:
Computable Kripke Models and Intermediate Logics.
Inf. Comput. 143(2): 205-230 (1998) |
| 1997 |
|---|
| 60 | | Sergei I. Adian,
Anil Nerode:
Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings
Springer 1997 |
| 59 | | Jürgen Dix,
Ulrich Furbach,
Anil Nerode:
Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
Springer 1997 |
| 58 | | Panos J. Antsaklis,
Wolf Kohn,
Anil Nerode,
Shankar Sastry:
Hybrid Systems IV
Springer 1997 |
| 57 | EE | Wolf Kohn,
Anil Nerode,
Jeffrey B. Remmel:
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems.
Hybrid Systems 1997: 122-141 |
| 56 | EE | E. Skafidas,
Rob J. Evans,
Iven M. Y. Mareels,
Anil Nerode:
Optimal Controller Switching for Stochastic Systems.
Hybrid Systems 1997: 341-355 |
| 55 | | Sergei N. Artëmov,
Jennifer M. Davoren,
Anil Nerode:
Topological Semantics for Hybrid Systems.
LFCS 1997: 1-8 |
| 54 | | V. Wiktor Marek,
Anil Nerode,
Jeffrey B. Remmel:
Basic Forward Chaining Construction for Logic Programs.
LFCS 1997: 214-225 |
| 53 | | Duminda Wijesekera,
M. Ganesh,
Jaideep Srivastava,
Anil Nerode:
Tableaux for Functional Dependencies and Independencies.
TABLEAUX 1997: 358-372 |
| 52 | | V. Wiktor Marek,
Anil Nerode,
Jeffrey B. Remmel:
Complexity of Recursive Normal Default Logic.
Fundam. Inform. 32(2): 139-147 (1997) |
| 51 | EE | Anil Nerode,
Jeffrey B. Remmel,
V. S. Subrahmanian:
Annotated Nonmonotonic Rule Systems.
Theor. Comput. Sci. 171(1-2): 111-146 (1997) |
| 1996 |
|---|
| 50 | | Wolf Kohn,
Anil Nerode,
Jeffrey B. Remmel:
Agent Based Velocity Control of Highway Systems.
Hybrid Systems 1996: 174-214 |
| 49 | | Anil Nerode,
Jeffrey B. Remmel,
Alexander Yakhnis:
Hybrid System Games: Extraction of Control Automata with Small Topologies.
Hybrid Systems 1996: 248-293 |
| 48 | | V. Wiktor Marek,
Anil Nerode,
Jeffrey B. Remmel:
On the Complexity of Abduction.
LICS 1996: 513-522 |
| 47 | EE | Colin Bell,
Anil Nerode,
Raymond T. Ng,
V. S. Subrahmanian:
Implementing Deductive Databases by Mixed Integer Programming.
ACM Trans. Database Syst. 21(2): 238-269 (1996) |
| 46 | | Yuri Matiyasevich,
Anil Nerode:
Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science ``Logic at St. Petersburg''.
Ann. Pure Appl. Logic 78(1-3): 1 (1996) |
| 45 | | Xiaolin Ge,
Anil Nerode:
Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma.
Ann. Pure Appl. Logic 78(1-3): 127-146 (1996) |
| 44 | | Anil Nerode,
Jeffrey B. Remmel,
Alexander Yakhnis:
McNaughton Games and Extracting Strategies for Concurrent Programs.
Ann. Pure Appl. Logic 78(1-3): 203-242 (1996) |
| 43 | | Anil Nerode,
Gerald E. Sacks:
Preface - Special Volume Dedicated to the late Stephen Cole Kleene.
Ann. Pure Appl. Logic 81(1-3): 1 (1996) |
| 42 | | Anil Nerode,
Jeffrey B. Remmel:
On the Lattices of NP-Subspaces of a Polynomial Time Vector Space over a Finite Field.
Ann. Pure Appl. Logic 81(1-3): 125-170 (1996) |
| 41 | EE | James J. Lu,
Anil Nerode,
V. S. Subrahmanian:
Hybrid Knowledge Bases.
IEEE Trans. Knowl. Data Eng. 8(5): 773-785 (1996) |
| 40 | EE | Vadam Kagan,
Anil Nerode,
V. S. Subrahmanian:
Computing Minimal Models by Partial Instantiation.
Theor. Comput. Sci. 155(1): 157-177 (1996) |
| 39 | EE | 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): 221-262 (1996) |
| 1995 |
|---|
| 38 | | V. Wiktor Marek,
Anil Nerode:
Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings
Springer 1995 |
| 37 | | Panos J. Antsaklis,
Wolf Kohn,
Anil Nerode,
Shankar Sastry:
Hybrid Systems II
Springer 1995 |
| 36 | | Xiaolin Ge,
Wolf Kohn,
Anil Nerode,
Jeffrey B. Remmel:
Hybrid Systems: Chattering Approximation to Relaxed Controls.
Hybrid Systems 1995: 76-100 |
| 35 | | V. Wiktor Marek,
Anil Nerode,
Jeffrey B. Remmel:
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning
LICS 1995: 178-185 |
| 34 | | V. Wiktor Marek,
Anil Nerode,
Jeffrey B. Remmel:
On Logical Constraints in Logic Programming.
LPNMR 1995: 43-56 |
| 33 | | Anil Nerode,
Raymond T. Ng,
V. S. Subrahmanian:
Computing Circumscriptive Databases: I. Theory and Algorithms
Inf. Comput. 116(1): 58-80 (1995) |
| 32 | EE | Wolf Kohn,
Anil Nerode,
Jeffrey B. Remmel,
Alexander Yakhnis:
Viability in Hybrid Systems.
Theor. Comput. Sci. 138(1): 141-168 (1995) |
| 1994 |
|---|
| 31 | | Anil Nerode,
Yuri Matiyasevich:
Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings
Springer 1994 |
| 30 | | Wolf Kohn,
Anil Nerode,
Jeffrey B. Remmel:
Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections.
Hybrid Systems 1994: 294-321 |
| 29 | | Anil Nerode,
Jeffrey B. Remmel,
Alexander Yakhnis:
Controllers as Fixed Points of Set-Valued Operators.
Hybrid Systems 1994: 344-358 |
| 28 | | Bakhadyr Khoussainov,
Anil Nerode:
Automatic Presentations of Structures.
LCC 1994: 367-392 |
| 27 | | Xiaolin Ge,
Anil Nerode:
On Extreme Points of Convex Compact Turing Located Set.
LFCS 1994: 114-128 |
| 26 | | Bakhadyr Khoussainov,
Anil Nerode:
The Notion of Rank and Games.
LFCS 1994: 204-217 |
| 25 | | Anil Nerode,
Michael A. Taitslin:
A Selection of Papers Presented at the Symposium "Logic at Tver '92" - Preface.
Ann. Pure Appl. Logic 67(1-3): 1 (1994) |
| 24 | | Vadim Kagan,
Anil Nerode,
V. S. Subrahmanian:
Computing Definite Logic Programs by Partial Instantiation.
Ann. Pure Appl. Logic 67(1-3): 161-182 (1994) |
| 23 | | V. Wiktor Marek,
Anil Nerode,
Jeffrey B. Remmel:
A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems.
Ann. Pure Appl. Logic 67(1-3): 269-323 (1994) |
| 22 | EE | Colin Bell,
Anil Nerode,
Raymond T. Ng,
V. S. Subrahmanian:
Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases.
J. ACM 41(6): 1178-1215 (1994) |
| 21 | | V. Wiktor Marek,
Anil Nerode,
Jeffrey B. Remmel:
The Stable Models of a Predicate Logic Program.
J. Log. Program. 21(3): 129-153 (1994) |
| 1993 |
|---|
| 20 | | Robert L. Grossman,
Anil Nerode,
Anders P. Ravn,
Hans Rischel:
Hybrid Systems
Springer 1993 |
| 19 | | Anil Nerode,
Wolf Kohn:
Hybrid Systems and Constraint Logic Programming.
ICLP 1993: 18-24 |
| 18 | | Colin Bell,
Anil Nerode,
Raymond T. Ng,
V. S. Subrahmanian:
Implementing Stable Semantics by Linear Programming.
LPNMR 1993: 23-42 |
| 17 | | Wolf Kohn,
Anil Nerode:
Autonomous Control of Hybrid Systems with Declarative Controllers.
LPNMR 1993: 3-22 |
| 1992 |
|---|
| 16 | | Anil Nerode,
Michael A. Taitslin:
Logical Foundations of Computer Science - Tver '92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings
Springer 1992 |
| 15 | | Robert L. Grossman,
Anil Nerode,
Anders P. Ravn,
Hans Rischel:
Introduction.
Hybrid Systems 1992: 1-3 |
| 14 | | Anil Nerode,
Wolf Kohn:
Multiple Agent Hybrid Control Architecture.
Hybrid Systems 1992: 297-316 |
| 13 | | Anil Nerode,
Wolf Kohn:
Models for Hybrid Systems: Automata, Topologies, Controllability, Observability.
Hybrid Systems 1992: 317-356 |
| 12 | | V. Wiktor Marek,
Anil Nerode,
Jeffrey B. Remmel:
The Stable Models of a Predicate Logic Program.
JICSLP 1992: 446-460 |
| 11 | EE | Colin Bell,
Anil Nerode,
Raymond T. Ng,
V. S. Subrahmanian:
Implementing Deductive Databases by Linear Programming.
PODS 1992: 283-292 |
| 10 | | V. Wiktor Marek,
Anil Nerode,
Jeffrey B. Remmel:
Rule Systems and Well-Orderings.
Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 69-92 |
| 9 | | V. Wiktor Marek,
Anil Nerode,
Jeffrey B. Remmel:
A Theory of Nonmonotonic Rule Systems II.
Ann. Math. Artif. Intell. 5(2-4): 229-263 (1992) |
| 8 | | V. Wiktor Marek,
Anil Nerode,
Jeffrey B. Remmel:
How Complicated is the Set of Stable Models of a Recursive Logic Program?
Ann. Pure Appl. Logic 56(1-3): 119-135 (1992) |
| 1990 |
|---|
| 7 | | V. Wiktor Marek,
Anil Nerode,
Jeffrey B. Remmel:
A Theory of Nonmonotonic Rule Systems
LICS 1990: 79-94 |
| 6 | | V. Wiktor Marek,
Anil Nerode,
Jeffrey B. Remmel:
A Theory of Nonmonotonic Rule Systems I.
Ann. Math. Artif. Intell. 1: (1990) |
| 1989 |
|---|
| 5 | | Anil Nerode,
Jeffrey B. Remmel,
Andre Scedrov:
Polynomially Grade Logic I: A Graded Version of System T
LICS 1989: 375-385 |
| 4 | | Anil Nerode,
Jeffrey B. Remmel:
Complexity-Theoretic Algebra II: Boolean Algebras.
Ann. Pure Appl. Logic 44(1-2): 71-99 (1989) |
| 1986 |
|---|
| 3 | | Anil Nerode:
A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture).
LICS 1986: 120 |
| 1973 |
|---|
| 2 | | Anil Nerode,
K. Jon Barwise:
Meeting of the Association for Symbolic Logic.
J. Symb. Log. 38(2): 348-358 (1973) |
| 1970 |
|---|
| 1 | | Anil Nerode,
Alfred B. Manaster:
A Universal Embedding Property of the RETs.
J. Symb. Log. 35(1): 51-59 (1970) |
