2009 |
83 | EE | Sergei N. Artëmov,
Anil Nerode:
Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Springer 2009 |
82 | EE | Bjørn Kjos-Hanssen,
Anil Nerode:
Effective dimension of points visited by Brownian motion.
Theor. Comput. Sci. 410(4-5): 347-354 (2009) |
2007 |
81 | | 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 |
80 | EE | Anil Nerode:
Logic and Control.
CiE 2007: 585-597 |
79 | EE | Srikanth Gottipati,
Anil Nerode:
A Synthesis Algorithm for Hybrid Systems.
LFCS 2007: 254-268 |
78 | EE | Bjørn Kjos-Hanssen,
Anil Nerode:
The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion.
LFCS 2007: 310-317 |
77 | EE | Vijayant Dhankhar,
Saket Kaushik,
Duminda Wijesekera,
Anil Nerode:
Evaluating distributed xacml policies.
SWS 2007: 99-110 |
2005 |
76 | EE | Duminda Wijesekera,
James Bret Michael,
Anil Nerode:
An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy.
POLICY 2005: 115-118 |
75 | EE | Duminda Wijesekera,
Anil Nerode:
Tableaux for constructive concurrent dynamic logic.
Ann. Pure Appl. Logic 135(1-3): 1-72 (2005) |
2004 |
74 | 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 |
73 | EE | Anil Nerode:
Preface.
Ann. Pure Appl. Logic 126(1-3): 1-2 (2004) |
72 | EE | Suman Ganguli,
Anil Nerode:
Effective completeness theorems for modal logic.
Ann. Pure Appl. Logic 128(1-3): 141-195 (2004) |
2002 |
71 | EE | Jennifer M. Davoren,
Thomas Moor,
Anil Nerode:
Hybrid Control Loops, A/D Maps, and Dynamic Specifications.
HSCC 2002: 149-163 |
70 | EE | Ker-I Ko,
Anil Nerode,
Klaus Weihrauch:
Foreword.
Theor. Comput. Sci. 284(2): 197 (2002) |
2001 |
69 | 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 |
68 | | 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 |
67 | | Panos J. Antsaklis,
Wolf Kohn,
Michael D. Lemmon,
Anil Nerode,
Shankar Sastry:
Hybrid Systems V
Springer 1999 |
66 | 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 |
65 | | 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) |
64 | 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 |
63 | | Hajime Ishihara,
Bakhadyr Khoussainov,
Anil Nerode:
Decidable Kripke Models of Intuitionistic Theories.
Ann. Pure Appl. Logic 93(1-3): 115-123 (1998) |
62 | | Hajime Ishihara,
Bakhadyr Khoussainov,
Anil Nerode:
Computable Kripke Models and Intermediate Logics.
Inf. Comput. 143(2): 205-230 (1998) |
1997 |
61 | | Sergei I. Adian,
Anil Nerode:
Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings
Springer 1997 |
60 | | 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 |
59 | | Panos J. Antsaklis,
Wolf Kohn,
Anil Nerode,
Shankar Sastry:
Hybrid Systems IV
Springer 1997 |
58 | EE | Wolf Kohn,
Anil Nerode,
Jeffrey B. Remmel:
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems.
Hybrid Systems 1997: 122-141 |
57 | EE | E. Skafidas,
Rob J. Evans,
Iven M. Y. Mareels,
Anil Nerode:
Optimal Controller Switching for Stochastic Systems.
Hybrid Systems 1997: 341-355 |
56 | | Sergei N. Artëmov,
Jennifer M. Davoren,
Anil Nerode:
Topological Semantics for Hybrid Systems.
LFCS 1997: 1-8 |
55 | | V. Wiktor Marek,
Anil Nerode,
Jeffrey B. Remmel:
Basic Forward Chaining Construction for Logic Programs.
LFCS 1997: 214-225 |
54 | | Duminda Wijesekera,
M. Ganesh,
Jaideep Srivastava,
Anil Nerode:
Tableaux for Functional Dependencies and Independencies.
TABLEAUX 1997: 358-372 |
53 | EE | V. Wiktor Marek,
Anil Nerode,
Jeffrey B. Remmel:
Nonmonotonic rule systems with recursive sets of restraints.
Arch. Math. Log. 36(4-5): 339-384 (1997) |
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) |