The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Anil Nerode: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  70. Evaluating distributed xacml policies. [Citation Graph (, )][DBLP]


  71. Consistency properties and set based logic programming. [Citation Graph (, )][DBLP]


  72. Nonmonotonic rule systems with recursive sets of restraints. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002