Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Anil Nerode
2010 – today
- 2013
[e12]Sergei N. Artëmov, Anil Nerode (Eds.): Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Lecture Notes in Computer Science 7734, Springer 2013, ISBN 978-3-642-35721-3- 2012
- [j41]
- [c38]
- 2010
- [j40]Anil Nerode: Review: Alfred Tarski: Life and Logic by Anita Burdman Feferman; Solomon Feferman. The American Mathematical Monthly 117(3): 286-288 (2010)
2000 – 2009
- 2009
- [j39]Bjørn Kjos-Hanssen, Anil Nerode: Effective dimension of points visited by Brownian motion. Theor. Comput. Sci. 410(4-5): 347-354 (2009)
- [e11]Sergei N. Artëmov, Anil Nerode (Eds.): Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Lecture Notes in Computer Science 5407, Springer 2009, ISBN 978-3-540-92686-3
- 2008
- [j38]Anil Nerode, Jeffrey B. Remmel: Consistency properties and set based logic programming. Ann. Math. Artif. Intell. 53(1-4): 289-311 (2008)
- [j37]Bakhadyr Khoussainov, Anil Nerode: Open Questions in the Theory of Automatic Structures. Bulletin of the EATCS 94: 181-204 (2008)
- 2007
- [c37]
- [c36]
- [c35]Bjørn Kjos-Hanssen, Anil Nerode: The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion. LFCS 2007: 310-317
- [c34]Vijayant Dhankhar, Saket Kaushik, Duminda Wijesekera, Anil Nerode: Evaluating distributed xacml policies. SWS 2007: 99-110
- [e10]Sergei N. Artëmov, Anil Nerode (Eds.): Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings. Lecture Notes in Computer Science 4514, Springer 2007, ISBN 978-3-540-72732-3
- 2005
- [j36]Duminda Wijesekera, Anil Nerode: Tableaux for constructive concurrent dynamic logic. Ann. Pure Appl. Logic 135(1-3): 1-72 (2005)
- [c33]Duminda Wijesekera, James Bret Michael, Anil Nerode: An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy. POLICY 2005: 115-118
- 2004
- [j35]
- [j34]Suman Ganguli, Anil Nerode: Effective completeness theorems for modal logic. Ann. Pure Appl. Logic 128(1-3): 141-195 (2004)
- [c32]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
- 2002
- [j33]
- [c31]Jennifer M. Davoren, Thomas Moor, Anil Nerode: Hybrid Control Loops, A/D Maps, and Dynamic Specifications. HSCC 2002: 149-163
- 2001
- [j32]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
- [j31]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)
1990 – 1999
- 1999
- [j30]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)
- [j29]Duminda Wijesekera, Jaideep Srivastava, Anil Nerode, Mark Foresti: Experimental Evaluation of Loss Perception in Continuous Media. Multimedia Syst. 7(6): 486-499 (1999)
- [c30]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
- [e9]Panos J. Antsaklis, Wolf Kohn, Michael D. Lemmon, Anil Nerode, Shankar Sastry (Eds.): Hybrid Systems V. Lecture Notes in Computer Science 1567, Springer 1999, ISBN 3-540-65643-X
- 1998
- [j28]Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode: Decidable Kripke Models of Intuitionistic Theories. Ann. Pure Appl. Logic 93(1-3): 115-123 (1998)
- [j27]Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode: Computable Kripke Models and Intermediate Logics. Inf. Comput. 143(2): 205-230 (1998)
- 1997
- [b2]Anil Nerode, Richard A. Shore: Logic for applications (2. ed.). Graduate texts in computer science, Springer 1997, ISBN 978-0-387-94893-5, pp. I-XIII, 1-456
- [j26]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)
- [j25]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Complexity of Recursive Normal Default Logic. Fundam. Inform. 32(2): 139-147 (1997)
- [j24]Anil Nerode, Jeffrey B. Remmel, V. S. Subrahmanian: Annotated Nonmonotonic Rule Systems. Theor. Comput. Sci. 171(1-2): 111-146 (1997)
- [c29]Wolf Kohn, Anil Nerode, Jeffrey B. Remmel: Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems. Hybrid Systems 1997: 122-141
- [c28]Efstratios Skafidas, Robin J. Evans, Iven M. Y. Mareels, Anil Nerode: Optimal Controller Switching for Stochastic Systems. Hybrid Systems 1997: 341-355
- [c27]Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode: Topological Semantics for Hybrid Systems. LFCS 1997: 1-8
- [c26]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Basic Forward Chaining Construction for Logic Programs. LFCS 1997: 214-225
- [c25]Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode: Tableaux for Functional Dependencies and Independencies. TABLEAUX 1997: 358-372
- [e8]Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (Eds.): Hybrid Systems IV. Lecture Notes in Computer Science 1273, Springer 1997, ISBN 3-540-63358-8
- [e7]Sergei I. Adian, Anil Nerode (Eds.): Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings. Lecture Notes in Computer Science 1234, Springer 1997, ISBN 3-540-63045-7
- [e6]Jürgen Dix, Ulrich Furbach, Anil Nerode (Eds.): Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings. Lecture Notes in Computer Science 1265, Springer 1997, ISBN 3-540-63255-7
- 1996
- [j23]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)
- [j22]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)
- [j21]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)
- [j20]Anil Nerode, Gerald E. Sacks: Preface - Special Volume Dedicated to the late Stephen Cole Kleene. Ann. Pure Appl. Logic 81(1-3): 1 (1996)
- [j19]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)
- [j18]Vadam Kagan, Anil Nerode, V. S. Subrahmanian: Computing Minimal Models by Partial Instantiation. Theor. Comput. Sci. 155(1): 157-177 (1996)
- [j17]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)
- [j16]James J. Lu, Anil Nerode, V. S. Subrahmanian: Hybrid Knowledge Bases. IEEE Trans. Knowl. Data Eng. 8(5): 773-785 (1996)
- [j15]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)
- [c24]Wolf Kohn, Anil Nerode, Jeffrey B. Remmel: Agent Based Velocity Control of Highway Systems. Hybrid Systems 1996: 174-214
- [c23]Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis: Hybrid System Games: Extraction of Control Automata with Small Topologies. Hybrid Systems 1996: 248-293
- [c22]
- 1995
- [j14]Anil Nerode, Raymond T. Ng, V. S. Subrahmanian: Computing Circumscriptive Databases: I. Theory and Algorithms. Inf. Comput. 116(1): 58-80 (1995)
- [j13]Wolf Kohn, Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis: Viability in Hybrid Systems. Theor. Comput. Sci. 138(1): 141-168 (1995)
- [c21]Xiaolin Ge, Wolf Kohn, Anil Nerode, Jeffrey B. Remmel: Hybrid Systems: Chattering Approximation to Relaxed Controls. Hybrid Systems 1995: 76-100
- [c20]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning. LICS 1995: 178-185
- [c19]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: On Logical Constraints in Logic Programming. LPNMR 1995: 43-56
- [e5]Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (Eds.): Hybrid Systems II. Lecture Notes in Computer Science 999, Springer 1995, ISBN 3-540-60472-3
- [e4]V. Wiktor Marek, Anil Nerode (Eds.): Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings. Lecture Notes in Computer Science 928, Springer 1995, ISBN 3-540-59487-6
- 1994
- [j12]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)
- [j11]Vadim Kagan, Anil Nerode, V. S. Subrahmanian: Computing Definite Logic Programs by Partial Instantiation. Ann. Pure Appl. Logic 67(1-3): 161-182 (1994)
- [j10]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)
- [j9]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)
- [j8]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: The Stable Models of a Predicate Logic Program. J. Log. Program. 21(3): 129-153 (1994)
- [j7]Anil Nerode, Victor W. Marek, V. S. Subrahmanian: Introduction. Meth. of Logic in CS 1(1): 1-3 (1994)
- [c18]Wolf Kohn, Anil Nerode, Jeffrey B. Remmel: Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections. Hybrid Systems 1994: 294-321
- [c17]Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis: Controllers as Fixed Points of Set-Valued Operators. Hybrid Systems 1994: 344-358
- [c16]
- [c15]
- [c14]
- [e3]Anil Nerode, Yuri Matiyasevich (Eds.): Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings. Lecture Notes in Computer Science 813, Springer 1994, ISBN 3-540-58140-5
- 1993
- [b1]Anil Nerode, Richard A. Shore: Logic for applications. Texts and monographs in computer science, Springer 1993, ISBN 978-0-387-94129-5, pp. I-XVII, 1-365
- [c13]
- [c12]Wolf Kohn, Anil Nerode: Autonomous Control of Hybrid Systems with Declarative Controllers. LPNMR 1993: 3-22
- [c11]Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian: Implementing Stable Semantics by Linear Programming. LPNMR 1993: 23-42
- [e2]Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (Eds.): Hybrid Systems. Lecture Notes in Computer Science 736, Springer 1993, ISBN 3-540-57318-6
- 1992
- [j6]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)
- [j5]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)
- [c10]Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel: Introduction. Hybrid Systems 1992: 1-3
- [c9]
- [c8]Anil Nerode, Wolf Kohn: Models for Hybrid Systems: Automata, Topologies, Controllability, Observability. Hybrid Systems 1992: 317-356
- [c7]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
- [c6]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: The Stable Models of a Predicate Logic Program. JICSLP 1992: 446-460
- [c5]Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian: Implementing Deductive Databases by Linear Programming. PODS 1992: 283-292
- [e1]Anil Nerode, Michael A. Taitslin (Eds.): Logical Foundations of Computer Science - Tver '92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings. Lecture Notes in Computer Science 620, Springer 1992, ISBN 3-540-55707-5
- 1990
- [j4]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: A Theory of Nonmonotonic Rule Systems I. Ann. Math. Artif. Intell. 1: 241-273 (1990)
- [c4]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: A Theory of Nonmonotonic Rule Systems. LICS 1990: 79-94
1980 – 1989
- 1989
- [j3]Anil Nerode, Jeffrey B. Remmel: Complexity-Theoretic Algebra II: Boolean Algebras. Ann. Pure Appl. Logic 44(1-2): 71-99 (1989)
- [c3]Anil Nerode, Jeffrey B. Remmel, Andre Scedrov: Polynomially Grade Logic I: A Graded Version of System T. LICS 1989: 375-385
- 1987
- [c2]Anil Nerode, Jeffrey B. Remmel: Complexity theoretic algebra I - vector spaces over finite fields. Structure in Complexity Theory Conference 1987
- 1986
- [c1]Anil Nerode: A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture). LICS 1986: 120
1970 – 1979
- 1973
- [j2]Anil Nerode, K. Jon Barwise: Meeting of the Association for Symbolic Logic. J. Symb. Log. 38(2): 348-358 (1973)
- 1970
- [j1]Anil Nerode, Alfred B. Manaster: A Universal Embedding Property of the RETs. J. Symb. Log. 35(1): 51-59 (1970)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-03-06 20:29 CET by the dblp team