Nerode Bibliography

This bibliography contains papers, books, books edited, and a few abstracts and unpublished reports. Though sorted by year, it remains to be sorted by subject and alphabetic order. I never used the system in which the order of authors is an order based on seniority or purported size of contribution, so joint authors are listed usually in alphabetical order.



2001: Ganesh, M., Nerode., A , Srivastava, J., Wijesekera, D., Normal Forms and Syntactic Completeness Proofs for Functional Independencies , J. Theoretical Computer Science, December 2001.


2001: Kohn, W.; Nerode, A.; Agent Control, Enterprise Models, and Supply Chain Systems (book in prep.)


2000: Khoussainov, B.; Nerode, A., Automata Theory and Its Applications,Birkhauser, 2001, 430pp.ISBN 3-7643-4207-2


2000: Nerode, A.; Odifreddi, G.; Constructive Logics and Lambda Calculi, 500pp. (book in prep.)


2000: Nerode, A.; Foreword to Principles of Modeling and Asynchronous Distributed Simulation of Complex Systems, by Sumit Ghosh, IEEE Press. To appear early 2000.


2000: Ge, X.; Ghosh, S.; Kohn, W.; Lee, T.; Lu, J.; Nerode, A.; A mathematical framework for asynchronous, distributed, decision-making systems with semi-autonomous entities: algorithm synthesis, simulation, and evaluation, IEICE Transactions on Fundamentals, to appear.


2000: Wijesekera, D.; Srivsatava, J.; Nerode, A.; Foresti, M.; Human perception of media and synchronization losses, ACM Multimedia Systems , to appear.


2000: Wijesekera, D.; Srivastava, J.; Nerode, A.; Varadarajan, S.; Parikh, S.; Performance evaluation of media losses in the continuous media toolkit, ACM workshop in Software Engineering issues in Multimedia, to appear.


2000: Wijesekera, D.; Srivastava, J.; Nerode, A; Varadarajan, S.; Parikh, S.; Performance evaluation of synchronization losses in the continuous media toolkit . IEEE Workshop in Quality of Service in Multimedia, to appear.


2000: Wijeskera; D., Ganesh, M.; Nerode, A.; Srivastava, J.; Normal forms for functional independencies, Theoretical Computer Science, to appear.



1999: Hybrid Systems V; Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry, eds, Lecture Notes in Computer Science1567 , Springer-Verlag, 1999.


1999: Ge, X.; Ghosh, S.; Lee, T.; Lu, J.; Nerode, A.; Kohn. W.; 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, ISADS99, Tokyo, Japan, March 21-23, 1999, pp. 206-212.


1999: Foresti, M.; Wijesekera, D.; Nerode, A.; Srivastava, S; Experimental Evaluation of Loss Perception in Continuous Media, in ACM Multimedia Journal, July 1999.


1999: Nerode, A.; Parikh, S.; Srivastava, S.;, Varadarajan, S.; Wijesekera; QoS based Evaluation of the Berkeley Continuous Media Toolkit, in Multimedia Tools and Applications, 1999. (to appear)


1999: Kohn, W., Nerode, A., Remmel, J. B., Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems, in the voume Hybrid Systems V, pp. 122-141 1997.


1999: Computability and complexity in analysis. Including papers from the seminar held at Castle Dagstuhl, April 1997. Edited by A. Nerode, K.-I Ko and K. Weihrauch. Theoret. Comput. Sci. 219 (1999), no. 1-2. Elsevier Science Publishers, B.V., Amsterdam, 1999. pp. ix-xii and 1-510.


1999: Marek, V. W.; Nerode, A.; Remmel, J. B.; Logic programs, well-orderings, and forward chaining. Festschrift on the occasion of Professor Rohit Parikh's 60th birthday. Ann. Pure Appl. Logic 96 (1999), no. 1-3, 231-276.


1998: Hybrid control systems. Edited by Panos J. Antsaklis and Anil Nerode. Editorial by Antsaklis and Nerode. IEEE Transactions Automatic Control 43 (1998), no. 4. Institute of Electrical and Electronics Engineers, Inc. (IEEE), Amsterdam, 1998. pp. 457-587.


1998: E. Skafidas and A. Nerode, Optimal Measurement Scheduling in Linear Quadratic Gaussian ControlProblems, CDC, 1998.


1998: Handbook of recursive mathematics. Vol. 1. Recursive model theory. Edited by Yu. L. Ershov, S. S. Goncharov, A. Nerode, J. B. Remmel and V. W. Marek. Studies in Logic and the Foundations of Mathematics, 138. North-Holland, Amsterdam, 1998. xlvi+620 pp.


1998: Handbook of recursive mathematics. Vol. 2. Recursive algebra, analysis and combinatorics. Edited by Yu. L. Ershov, S. S. Goncharov, A. Nerode, J. B. Remmel and V. W. Marek. Studies in Logic and the Foundations of Mathematics, 139. North-Holland, Amsterdam, 1998. pp. i-xlvi and 621-1372. ISBN: 0-444-50106-1


1998: Ishihara, H.; Khoussainov, B.; Nerode, A.; Decidable Kripke models of intuitionistic theories. Computability theory. Ann. Pure Appl. Logic 93 (1998), no. 1-3, 115-123.


1998: Ishihara, H., Khoussainov, B. Nerode, A., Computable Kripke models and intermediate logics. Information and Computation 143 (1998), no. 2, 205-230.


1998: Kohn, W., Remmel, J. B., Nerode, A., Hybrid multiagent architectures for heterogeneous distributed simulations, ISIC 98, 1998.



1997: Nerode, Anil; Shore, Richard A. Logic for applications. Second edition. Graduate Texts in Computer Science. Springer-Verlag, New York, 1997. xiv+456 pp. ISBN: 0-387-94893-7 03-01.


1997: Logical foundations of computer science. Proceedings of the 4th International Symposium (LFCS'97) held in Yaroslavl, July 6-12, 1997. Edited by Sergei Adian [S. I. Adyan] and Anil Nerode. Lecture Notes in Computer Science, 1234. Springer-Verlag, Berlin, 1997. x+431 pp. ISBN: 3-540-63045-7 68-06


1997: Logic programming and nonmonotonic reasoning. Proceedings of the 4th International Conference (LPNMR '97) held in Dagstuhl, July 28-31, 1997. Edited by Jurgen Dix, Ulrich Furbach and Anil Nerode. Lecture Notes in Computer Science, 1265. Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 1997. x+453 pp. ISBN: 3-540-63255-7 68-06


1997: Skafidas, E., Evans, R. J., I.M.Y. Mareels, I.M.Y., Nerode, A., Optimal Controller Switching for Stochastic Systems, in the volume Hybrid Systems V, pp.341-355, 1997.


1997: S. N. Artemov, J. M. Davoren and A. Nerode, Modal Logics and Topological Semantics for Hybrid Systems, Cornell CFIS Technical Report 97-02; 37 pages. (not published)


1997: S. N. Artemov, J. M. Davoren and A. Nerode, Topological Semantics for Hybrid Systems, in S. Adian and A. Nerode (eds.), Logical Foundations of Computer Science LFCS'97, Proceedings of 4th International Symposium, Yaroslavl, Russia, July 1997, Lecture Notes in Computer Science 1234 (Springer-Verlag, Berlin, 1997); pp. 1-8.


1997: Marek, V. , Nerode, A., Remmel, J. B., Complexity of recursive normal default logic. Fundamenta Informatica 32 (1997), no. 2, 139-147.


1997: Marek, V. , Nerode, A., Remmel, J. B., Basic forward chaining construction for logic programs. Logical foundations of computer science (Yaroslavl, 1997), 214-225, Lecture Notes in Comput. Sci., 1234, Springer, Berlin, 1997.


1997: Marek, V. , Nerode, A., Remmel, Jeffrey B. Nonmonotonic rule systems with recursive sets of restraints. Sacks Symposium (Cambridge, MA, 1993). Arch. Math. Logic 36 (1997), no. 4-5, 339-384.


1997: Wijesekera, Duminda; Ganesh, M.; Srivastava, Jaideep; Nerode, A., Tableaux for functional dependencies and independencies. Automated reasoning with analytic tableaux and related methods (Pont-a-Mousson, 1997), 358-372, Lecture Notes in Artificial Intelligence, Springer, Berlin, 1997.


1997: Nerode, A.; Remmel, J. B.; Subrahmanian, V. S. Annotated nonmonotonic rule systems. Theoretical Computer Sci. 171 (1997), no. 1-2, 111-146.


1997: Kohn, , W., Remmel, J. B., and Nerode, A., Automaton Comparison Procedure for the Verification of Hybrid Systems, Proceedings of 5th IEEE Mediterranian Conference on Control and Systems (MED'97).


1997: Hybrid Systems IV, Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry, eds, Lecture Notes in Computer Science 1273, Springer-Verlag, 1999. (ISBN: 3540633588)


1996: Volume Dedicated to the late Stephen Cole Kleene. Edited by Anil Nerode and Gerald Sacks. Ann. Pure Appl. Logic {81} (1996), no. 1-3. North-Holland Publishing Co., Amsterdam, 1996. pp. i-ii and 1-241.


1996: Papers in honor of the Symposium on Logical Foundations of Computer Science, Logic at St. Petersburg. Papers from the Third Symposium held in St. Petersburg, July 12-15, 1994. Edited by Y. Matiyasevich and A. Nerode. Ann. Pure Appl. Logic 78 (1996), no. 1-3. North-Holland Publishing Co., Amsterdam, 1996. pp. i-ii and 1-271.


1996: Metakides, G.; Nerode, A. Principles of logic and logic programming. With contributions by A. Sinachopoulos and George Potamias. Studies in Computer Science and Artificial Intelligence, 13. North-Holland Publishing Co., Amsterdam, 1996. xiv+329 pp. ISBN: 0-444-81644-5


1996: Lu, J., Nerode, A., and Subrahmanian, V. S., Hybrid knowledge bases, IEEE Transactions on Knowledge and Data Engineering, Vol. 8, No. 5, pp. 773-785 October 1996


1996: Ge, X.; Nerode, A., Effective content of the calculus of variations. I. Semi-continuity and the chattering lemma. Papers in honor of the Symposium on Logical Foundations of Computer Science, Logic at St. Petersburg (St. Petersburg, 1994). Ann. Pure Appl. Logic 78 (1996), no. 1-3, 127-146.


1996: Kagan, V.; Nerode, A.; Subrahmanian, V. S. Computing minimal models by partial instantiation. Theoretical Computer Science 155 (1996), no. 1, 157-177.


1996 Nerode, Anil An appreciation of Kreisel. In Kreiseliana, (G. Odifreddi, ed.) 81-88, A K Peters, Wellesley, MA, 1996.


1996: Marek, Victor W.; Nerode, Anil; Remmel, Jeffrey B. On the complexity of abduction. 11th Annual IEEE Symposium on Logic in Computer Science (New Brunswick, NJ, 1996), 513-522, IEEE Comput. Soc. Press, Los Alamitos, CA, 1996.


1996: Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis: Hybrid System Games: Extraction of Control Automata with Small Topologies, LCNS Hybrid Systems 4, 1996: 248-293.


1996: Wolf Kohn, Anil Nerode, Jeffrey B. Remmel: Agent based velocity control of highway systems, Hybrid Systems 4, 1996: 174-214


1996: Nerode, A., Remmel, J. B., On the lattices of NP-subspaces of a polynomial time vector space over a finite field. Dedicated to the late Stephen Cole Kleene. Ann. Pure Appl. Logic 81 (1996), no. 1-3, 125-170.


1996: Gottlob, Georg; Marcus, Sherry; Nerode, Anil; Salzer, Gernot; Subrahmanian, V. S. A non-ground realization of the stable and well-founded semantics. Theoret. Comput. Sci. 166 (1996), no. 1-2, 221-262.


1996: Kohn, W., Remmel, J. B., Nerode, A., Feedback Derivations: Near Optimal Controls for Hybrid Systems, Proceedings of CESA'96 IMACS Multiconference, Vol 2. 517-521.


1996: Kohn, W., Nerode, A., James, J., Remmel, J. B., and Cummings, B. , A New Approach to Generating Finite-State Control Programs for Hybrid Systems, Proceedings of the 13 World Congress of the International Federation of Automatic Control (IFAC'96), Vol. J, 461-466.


1996: Kohn, W., Nerode, A., and Remmel, J. B., Continualization: A Hybrid Systems Control Technique for Computing, Proceedings of CESA'96 IMACS Multiconference, Vol 2. 507-511.


1996: Kohn, W., James, J., Nerode, A., Remmel, J. B., Multiple Agent Hybrid Control for Manufacturing Systems, IFAC, 1996.


1996: Ge, X. ,Kohn, W. Nerode, A. and Remmel, J. B., Hybrid Systems: Chattering approximations to relaxed controls, in Hybrid Systems III Alur, Henzinger, Sontag, eds, Springer Verlag LNCS 999, 1996.)



1996: Marek, V., Nerode, A., Remmel, J. B.,Complexity of normal default logic and related modes of nonmonotonic reasoning, Proceedings of the 10-th Annual Symposium of Logic in Computer Science, IEEE Computer Society Press, pp. 178-187, 1995.



1995: Hybrid systems. II. Papers from the Third Workshop held at Cornell University, Ithaca, New York, October 28-30, 1994. Edited by Panos Antsaklis, Wolf Kohn, Anil Nerode and Shankar Sastry. Lecture Notes in Computer Science, 999. Springer-Verlag, Berlin, 1995. viii+569 pp. ISBN: 3-540-60472-3 68-06


1995: Kohn, W., Nerode, A., V. S. Subrhamanian,Constraint Logic Programming: Hybrid Control and Logic as Linear Programming, in Principles and Practice of Constraint Logic Programming, V. Saraswat and P. Van Hentenryck, eds., MIT Press, 1995. 85-100.


1995: Logic programming and nonmonotonic reasoning. Proceedings of the 3rd International Conference (LPNMR '95) held in Lexington, KY, June 26-28, 1995. Edited by V. W. Marek, A. Nerode and M. Truszczynski. Lecture Notes in Computer Science, 928. Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 1995. viii+417 pp. ISBN: 3-540-59487-6 68-06


1995: Kohn, Wolf; Nerode, Anil; Remmel, Jeffrey B.; Yakhnis, Alexander Viability in hybrid systems. Special issue on hybrid systems. Theoret. Comput. Sci. 138 (1995), no. 1.


1995: Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B. On logical constraints in logic programming. Logic programming and nonmonotonic reasoning (Lexington, KY, 1995), 43-56, Lecture Notes in Comput. Sci., 928, Springer, Berlin, 1995.


1995: Khoussainov, Bakhadyr; Nerode, Anil Effective properties of finitely generated r.e. algebras. Feasible mathematics, II (Ithaca, NY, 1992), 256-283, Progr. Comput. Sci. Appl. Logic, 13, Birkhauser Boston, Boston, MA, 1995.


1995: Grossman, R., Kohn, W., Nerode, A., Subrahmanian, V. S., Distributed Autonomous multiple agent hybrid control with high performance distributed object stores and hybrid knowledge bases, IROS 95 Conference Volume, July 1995.


1995: Nerode, Anil; Ng, Raymond T.; Subrahmanian, V. S. Computing circumscriptive databases. I. Theory and algorithms. Inform. and Comput. 116 (1995), no. 1, 58-80.


1995: Khoussainov, Bakhadyr; Nerode, Anil, Automatic presentations of structures. Logic and Computational Complexity}, LNCS 960, Springer-Verlag, pp. 367-392, 1995.


1995: Ge., X.,James, J., Nerode, A., A Multiple Agent Hybrid Control Architecture for Automated Forces: Design and Software Implementation, Proc. 5th Conference on Computer Generated Forces and Behavioral Representations, May 9-11, 1995, Orlando, Fla.


1995: Agrawala, A., Harbison, K., James, Kohn, W. 11:45 PM 9/16/99J., Nerode, A., K. Harbison, A Hybrid Systems Approach to Computer-Aided Control Engineering'', IEEE Control Systems, Vol. 15, no. 2, April, 1995, pp. 14-25.


1995: Chandra, J., James, J., Kohn, W., Nerode, A., An Architecture for Incremental Construction of Distributed Heterogeneous Systems'', Proc. Workshop on Architectures for Software Systems, Inter. Conf. on Architectures for Software Systems, Seattle, Washington. April, 1995.


1995: Cummings, B., Kohn, W., James, J., Nerode, A., and Remmel, J. B. Research needs in economic analysis of control design projects,, Proceedings of 34 IEEE Conference on Decision and Control, vol. 4, (1995), 4355-4359.


1995: Nerode, Anil; Remmel, Jeffrey B.; Yakhnis, A., Controllers as fixed points of set-valued operators, in Hybrid Systems II, Lecture Notes in Computer Science 999, Springer-Verlag, pp. 344-358, 1995. An extended abstract appeared in the Proceedings of Int. Symp. on Intelligent Control, Aug. 27-29, 1995, Monteray, CA., 47-52



1995 Proceedings of The Tenth International Conference on Mathematical and Computer Modelling and Scientific Computing Conference, Edited by X. J. R. Avula and Anil Nerode, July 1995, Boston, MA.



1994: A selection of papers presented at the symposium Logic at Tver '92. Papers from the Second Symposium on Logical Foundations of Computer Science held in Tver, July 20-24, 1992. Edited by A. Nerode and M. A. Taitslin. Ann. Pure Appl. Logic 67 (1994), no. 1-3. North-Holland Publishing Co., Amsterdam, 1994. pp. i-ii and 1-349


1994: Logical foundations of computer science. Proceedings of the Third International Symposium (LFCS '94) held in St. Petersburg, July 11-14, 1994. Edited by A. Nerode and Yu. V. Matiyasevich. Lecture Notes in Computer Science, 813. Springer-Verlag, Berlin, 1994. x+392 pp. ISBN: 3-540-58140-5


1994: Nerode, Anil; Remmel, Jeffrey B.; Yakhnis, A., McNaughton games and extracting strategies for concurrent programs. Papers in honor of the Symposium on Logical Foundations of Computer Science, "Logic at St. Petersburg" (St. Petersburg, 1994). Ann. Pure Appl. Logic 78 (1996), no. 1-3, 203-242.


1994: Ge, X., Kohn, W., Lu, J., Nerode, A., Coleman, N., A semi-autonomous multiagent decision model for a battlefield environment '', MSI Tech. Rpt., 1994. (never published)


1994: Ge, X., Kohn, W., Nerode, A., Remmel, J. B.,Multiple agent hybrid control: carrier manifolds and chattering approximations to optimal control, Proceedings of the 33rd IEEE Conference on Decision and Control (1994), 4221-4227.


1994: Marek, V., Nerode, A., and Remmel, J. B., On logical constraints in logic programming, Proceedings of the Workshop on Constraints and Databases held in conjunction with International Logic Programming Symposium, Ithaca, NY., Nov. 13-19, 1994.


1994: Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B. The stable models of a predicate logic program. J. Logic Programming 21 (1994), no. 3, 129-154.


1994: Kohn, Wolf; Nerode, Anil; Remmel, Jeffrey B. Hybrid systems as Finsler manifolds: finite state control as approximation to connections. Hybrid systems, II (Ithaca, NY, 1994), 294-321, Lecture Notes in Comput. Sci., 999, Springer, Berlin, 1995.


1994: Ge, Xiaolin; Nerode, Anil On extreme points of convex compact Turing located set. Logical foundations of computer science (St. Petersburg, 1994), 114-128, Lecture Notes in Comput. Sci., 813, Springer, Berlin, 1994.


1994: Kagan, Vadim; Nerode, Anil; Subrahmanian, V. S. Computing definite logic programs by partial instantiation. A selection of papers presented at the symposium "Logic at Tver '92" (Tver, 1992). Ann. Pure Appl. Logic 67 (1994), no. 1-3, 161-182.


1994: Bell, Colin; Nerode, Anil; Ng, Raymond T.; Subrahmanian, V. S. Mixed integer programming methods for computing nonmonotonic deductive databases. J. Assoc. Comput. Mach. 41 (1994), no. 6, 1178-1215


.

1994: James, J., Nerode, A., J. James, Kohn, W., Multiple agent reactive control of wireless distributed multimedia communications networks for the digital battlefield, Intermetrics Corp. Rpt., June, 1994. (not published)


1994: Lu, J., Ge, X., Kohn, W., Nerode, A., Coleman, N., A semi-autonomous multiagent decision model for a battlefield environment , Cornell MSI Tech Report, 1994. (not published)


1994: James, J., Kohn, W., and Declaris, N. Medical information systems via high performance computing and communications , Proc. IEEE Biomedical Engineering Symposium, Baltimore, MD, Nov., 1994.


1994: James, J., Kohn, W., Multiple Agent Hybrid Control Architecture: A generic open architecture for incremental construction of reactive planning and scheduling '', (Intermetrics Corp. Report) June, 1994. (not published)


1994: James, J., Nerode, A., Kohn, W., Harbison, K., and Agrawala, A., A Hybrid systems approach to computer aided control system design, Proc. Joint Symposium on Computer Aided Control System Design, Tucson AZ 7-9 March 1994.


1994: DeClaris, N., James, J., Nerode, A., Kohn, W.,Intelligent integration of medical models, Proc. IEEE Conference on Systems, Man, and Cybernetics, San Antonio, 1-6 Oct. 1994.}


1994: Grossman, R., Kohn, W., Nerode, A., Nonlinear systems, automata, and agents: managing their symbolic data using lightweight persistent object stores, Workshop on Heterogeneous Cooperative Knowledge-Bases, Japanese Institute for New Generation Computer Technology, (ICOT), Dec 15-16, 1994, 1994, 65-74.


1994: Nerode, A., James, J., and Kohn, W., Multiple agent reactive control of distributed interactive simulations , Proc. Army Workshop on Hybrid Systems and Distributed Simulation, Feb. 28-March 1, 1994.


1994: Khoussainov, Bakhadyr; Nerode, Anil The notion of rank and games. Logical foundations of computer science (St. Petersburg, 1994), 204-217, Lecture Notes in Comput. Sci., 813, Springer, Berlin, 1994.


1994: Marek, V. W.; Nerode, A.; Remmel, J. B. A context for belief revision: forward chaining-normal nonmonotonic rule systems. A selection of papers presented at the symposium "Logic at Tver '92" (Tver, 1992). Ann. Pure Appl. Logic 67 (1994), no. 1-3, 269-323.



1993: Hybrid systems. Edited by Robert L. Grossman, Anil Nerode, Anders P. Ravn and Hans Rischel. Lecture Notes in Computer Science, 736. Springer-Verlag, Berlin, 1993. viii+474 pp. ISBN: 3-540-57318-6


1993: Nerode, Anil; Shore, Richard A. Logic for applications. Texts and Monographs in Computer Science. Springer-Verlag, New York, 1993. xviii+365 pp. ISBN: 0-387-94129-0


1993: Logical methods. Papers from the conference in honor of Anil Nerode's sixtieth birthday held at Cornell University, Ithaca, New York, June 1-3, 1992. Edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore and Moss E. Sweedler. Progress in Computer Science and Applied Logic, 12. Birkhauser Boston, Inc., Boston, MA, 1993. xiv+813 pp. ISBN: 0-8176-3690-0


1993: Bibliography of Anil Nerode. Logical methods (Ithaca, NY, 1992), 86-91, Progr. Comput. Sci. Appl. Logic, 12, Birkhauser Boston, Boston, MA, 1993.


1993: Remmel, J. B.; Crossley, J. N. The work of Anil Nerode: a retrospective. Logical methods (Ithaca, NY, 1992), 1-85, Progr. Comput. Sci. Appl. Logic, 12, Birkhauser Boston, Boston, MA, 1993.


1993: Logic programming and nonmonotonic reasoning. Proceedings of the Second International Workshop held in Lisbon, June 1993. Edited by Luis Moniz Pereira and Anil Nerode. MIT Press, Cambridge, MA, 1993. xiv+495 pp. ISBN: 0-262-66083-0 68-06


1993: Nerode, Anil; Yakhnis, Alexander; Yakhnis, Vladimir Distributed concurrent programs as strategies in games. Logical methods (Ithaca, NY, 1992), 624-653, Progr. Comput. Sci. Appl. Logic, 12, Birkhauser Boston, Boston, MA, 1993.


1993: Nerode, A., Remmel, J.B., Yakhnis, A. Extracting finite control automata for hybrid systems using continuous sensing games, Proceedings of 9-th IEEE Conference on Intelligent Control, (1993), 3885-3890.


1993: Kohn, W., Nerode, A., Models for hybrid systems: automata, topologies, controllability and observability, in Hybrid Systems, Springer LNCS 732, 1993.


1993: Bell, C., Nerode, A., Ng, R., Subrahmanian, V.S.; Implementing Stable Semantics by Linear Programming, Proc. 1993 Intl. Workshop on Logic Programming and Nonmonotonic Reasoning, pp. 23-42, Lisbon, Portugal, June 1993. MIT Press.


1993: Nerode, A., Kohn, W., Multiple Agent Hybrid Control Architecture, in Hybrid Systems , (R. Grossman, A. Nerode, A. Ravn, H. Rischel Eds.) Lecture Notes in Computer Science 736, Springer-Verlag, 1993, 297-316..


1993: Nerode, A., Kohn, W., Multiple agent autonomous control--a hybrid systems architecture. In Logical methods (Ithaca, NY, 1992), 593-623, Progr. Comput. Sci. Appl. Logic, 12, Birkhauser Boston, Boston, MA, 1993.


1993: Kohn, W. and Nerode, A., Multiple Agent Inference in Equational Domains Via Infinitesimal Operators, Proc. Application Specific Symbolic Techniques in High Performance Computing Environment, The Fields Institute, Oct 17-20 1993.



1992: Myhill Memorial Volume, (A. Nerode, ed.), Annals of Pure and Applied Logic issues 1-3, 1992.


1992: Logical foundations of computer science--Tver '92. Proceedings of the Second International Symposium held July 20-24, 1992. Edited by A. Nerode and M. Taitslin. Lecture Notes in Computer Science, 620. Springer-Verlag, Berlin, 1992. x+514 pp. ISBN: 3-540-55707-5


1992: Marek, W.; Nerode, A.; Remmel, J. A theory of nonmonotonic rule systems. II. Artificial intelligence and mathematics, I (Fort Lauderdale, FL, 1990). Ann. Math. Artificial Intelligence 5 (1992), no. 2-4, 229-263.


1992: Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B. The stable models of a predicate logic program. Logic programming (Washington, DC, 1992), 446-460, MIT Press Ser. Logic Program., MIT Press, Cambridge, MA, 1992.


1992: Nerode, Anil; Yakhnis, Alexander; Yakhnis, Vladimir Concurrent programs as strategies in games. Logic from computer science (Berkeley, CA, 1989), 405-479, Math. Sci. Res. Inst. Publ., 21, Springer, New York, 1992.


1992: Marek, W.; Nerode, A.; Remmel, J. How complicated is the set of stable models of a recursive logic program? Ann. Pure Appl. Logic 56 (1992), no. 1-3, 119-135.


1992: Bell, C., Nerode, A., Ng, Subrahmanian, V. S.; Implementing Deductive Databases by Linear Programming (extended abstract)'', Proc. 1992 ACM SIGMOD/SIGACT/SIGART Symp. on Principles of Database Systems, pp. 283-291, San Diego, May 1992.


1992: Nerode, A., Yakhnis, A. Modelling hybrid systems as games, CDC92, Dec. 1992.


1992: Guckenheimer, J., Nerode, A., Simulation for Hybrid systems and nonlinear control, CDC92, December, 1992.


1992: James, J., Kohn, W., Nerode, A., Multiple Agent Declarative Control Architecture: a knowledge based system for reactive planning, scheduling, and control in manufacturing systems, Intermetrics Report, Nov., 1992.


1992: Kohn, W., and Nerode, A. An autonomous control theory: an overview, 1992 IEEE Symposium on Computer Aided Control System Design (March 17--19, 1992, Napa Valley, CA), pp 204--210.


1992: Kohn, W., Nerode, A.,W. Kohn and A. Nerode, ``Multiple-Agent Hybrid Systems'', Proc. IEEE CDC, vol 4, pp. 2956, 2972, 1992.


1992: Nerode, A., James, J., and Kohn, W.,Multiple agent declarative control architecture: A knowledge based system for reactive planning, scheduling and control in manufacturing systems , Intermetrics Report, Nov. 1992. (not published)



1991: Logic programming and nonmonotonic reasoning. Proceedings of the First International Workshop held in Washington, DC, July 1991. Edited by Anil Nerode, Wiktor Marek and V. S. Subrahmanian. MIT Press, Cambridge, MA, 1991. xii+289 pp. ISBN: 0-262-64027-9


1991: Nerode, A., Some Lectures on Modal Logic, in Logic and Computation, (F. L. Brauer, ed.), NATO Science Seies, Springer-Verlag, pp.281-334, 1991.



1990: Nerode, A., and Wijesekera, D., Constructive Concurrent Dynamic Logics I, Technical Report 90-45, MSI, Cornell University, 1990. (unpublished except as abstract)


1990: Nerode, A.; Remmel, J. B. Complexity-theoretic algebra: vector space bases. Feasible mathematics (Ithaca, NY, 1989), 293-319, in Feasible Mathematics (S. Buss and P. Scott, eds.) Progr. Comput. Sci. Appl. Logic, 9, Birkhauser Boston, Boston, MA, 1990.


1990: Nerode, A.; Remmel, J. B. Polynomially isolated sets. Recursion theory week (Oberwolfach, 1989), 323-362, Lecture Notes in Math. 1432 (G. Muller, ed.), Springer, Berlin, 1990.


1990: Nerode, A.; Remmel, J. B. Polynomially time equivalence types, in Logic and Computation (W. Sieg, ed.), Contemporary Mathematics Series, AMS, 1990.


1990: Marek, W.; Nerode, A.; Remmel, J. A theory of nonmonotonic rule systems. Fifth Annual IEEE Symposium on Logic in Computer Science (Philadelphia, PA, 1990), 79-94, IEEE Comput. Soc. Press, Los Alamitos, CA, 1990.


1990: Nerode, A., Modelling Intelligent Control, Proc. DARPA Workshop on Software Tools for Distriburted Intelligent Control Systems,Domain Specific Software Initiative, Pacifica, CA., July 17-19, 1990.


1990: Nerode, A. Some lectures on intuitionistic logic. Logic and computer science (Montecatini Terme, 1988), 12-59, Lecture Notes in Math., 1429, Springer, Berlin, 1990.



1989: Nerode, A., Remmel, J, B., and Scedrov, A., Polynomially graded logic: a graded version of Godel's system T, extended abstract with proofs, Proc. LICS, IEEE, 1989.



1987: Nerode, A.; Remmel, J. B. Polynomial time equivalence types. Logic and computation (Pittsburgh, PA, 1987), 221-249, Contemp. Math., 106, Amer. Math. Soc., Providence, RI, 1990.


1987: Nerode, A.; Remmel, J. B. Complexity-theoretic algebra. II. Boolean algebras. Third Asian Conference on Mathematical Logic (Beijing, 1987). Ann. Pure Appl. Logic 44 (1989), no. 1-2, 71-99.


1987: Nerode, Anil; Remmel, J. B. Complexity theoretic algebra. I. Vector spaces over finite fields. Conference on Logic and Computer Science: New Trends and Applications (Turin, 1986). Rend. Sem. Mat. Univ. Politec. Torino 1987, Special Issue, 1-10 (1988).


1987: Nerode, A. and Remmel, J. B., Complexity Theoretic Algebra I:vector spaces over finite fields, extended abstract with proofs, Proc. Structures in Complexity (second annual conference), June 16-19, 1987, IEEE Computer Society, Silver Springs, Md., pp. 218-241, 1987.



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


1986: Nerode, A. Applied logic. The merging of disciplines: new directions in pure, applied, and computational mathematics (Laramie, Wyo., 1985), 127-163, Springer, New York-Berlin, 1986.



1985: Nerode, Anil; Harrington, Leo A. The work of Harvey Friedman; in Harvey Friedman's research on the foundations of mathematics, 1-10, Stud. Logic Found. Math., 117, North-Holland, Amsterdam, 1985.


1985: Nerode, A.; Remmel, J. B. Generic objects in recursion theory. Recursion theory week (Oberwolfach, 1984), 271-314, Lecture Notes in Math., 1141, Springer, Berlin-New York, 1985.


1985: Nerode, Anil; Huang, Wen Qi An application of pure recursion theory to recursive analysis. (Chinese) Acta Math. Sinica 28 (1985), no. 5, 625-636.


1985: Metakides, G.; Nerode, A.; Shore, R. A. Recursive limits on the Hahn Banach theorem. Errett Bishop: reflections on him and his research (San Diego, Calif., 1983), 85-91, Contemp. Math., 39, Amer. Math. Soc., Providence, RI, 1985.


1985: Nerode, A.; Remmel, J. A survey of lattices of r.e. substructures. Recursion theory (Ithaca, N.Y., 1982), 323-375, Proc. Sympos. Pure Math., 42, Amer. Math. Soc., Providence, R.I., 1985.


1985: Recursion theory. Proceedings of the AMS-ASL summer institute held in Ithaca, N.Y., June 28-July 16, 1982. Edited by Anil Nerode and Richard A. Shore. Proceedings of Symposia in Pure Mathematics, 42. American Mathematical Society, Providence, R.I., 1985. vii+528 pp. ISBN: 0-8218-1447-8.



1984: Nerode, A.; Remmel, J. B. Generic objects in recursion theory. II. Operations on recursive approximation spaces. Special issue: second Southeast Asian logic conference (Bangkok, 1984). Ann. Pure Appl. Logic 31 (1986), no. 2-3, 257-288.


1984: Nerode, Anil; Harrington, Leo A. The work of Harvey Friedman. Notices Amer. Math. Soc. 31 (1984), no. 6, 563-566.



1983: Nerode, Anil; Metakides, George; Constable, Robert Remembrances of Errett Bishop. Errett Bishop: reflections on him and his research (San Diego, Calif., 1983), 79-84, Contemp. Math., 39, Amer. Math. Soc., Providence, RI, 1985.



1983: Nerode, A.; Remmel, J. B. Recursion theory on matroids. II. Southeast Asian conference on logic (Singapore, 1981), 133-184, Stud. Logic Found. Math., 111, North-Holland, Amsterdam-New York, 1983.



1982: Metakides, George; Nerode, Anil The introduction of nonrecursive methods into mathematics. The L. E. J. Brouwer Centenary Symposium (Noordwijkerhout, 1981), 319-335, Stud. Logic Found. Math., 110, North-Holland, Amsterdam-New York, 1982.

1982: Jutro, P., Nerode, A., Risk assessment for toxic substances: a convolution model, Environmental Professional 4, pp.365-377, 1982.

1982: Jutro, P., Lavori, P., Nerode, A., and Sievers, S., Risk assessment for toxic substances: exploratory data analysis for cadmium, Environmental Professional 4, pp. 351-364, 1982



1981: Crossley, John N.; Nerode, Anil Recursive equivalence on matroids. Aspects of effective algebra (Clayton, 1979), pp. 69-86, Upside Down A Book Co., Yarra Glen, Vic., 1981.


1981: Ash, C. J.; Nerode, A. Intrinsically recursive relations. Aspects of effective algebra (Clayton, 1979), pp. 26-41, Upside Down A Book Co., Yarra Glen, Vic., 1981.


1981: Ash, C. J.; Nerode, A. Functorial properties of algebraic closure and Skolemization. J. Austral. Math. Soc. Ser. A 31 (1981), no. 2, 136-141.


1981: Crossley, John N. Reminiscences of logicians. II. Reported by John N. Crossley. With contributions by Jim Dekker, Anil Nerode, Tom McLaughlin, Crossley and Alfred B. Manaster. Aspects of effective algebra (Clayton, 1979), pp. 1-25, Upside Down A Book Co., Yarra Glen, Vic., 1981.



1980: Nerode, A.; Remmel, J. Recursion theory on matroids. Patras Logic Symposion (Patras, 1980), 41-65, Stud. Logic Found. Math., 109, North-Holland, Amsterdam-New York, 1982.


1980: Nerode, Anil; Smith, Rick L. The undecidability of the lattice of recursively enumerable subspaces. Proceedings of the Third Brazilian Conference on Mathematical Logic (Inst. Math., Fed. Univ. Pernambuco, Recife, 1979), pp. 245-252, Soc. Brasil. Logica, Sao Paulo, 1980.


1980: Nerode, Anil; Shore, Richard A. Second order logic and first order theories of reducibility orderings. The Kleene Symposium (Proc. Sympos., Univ. Wisconsin, Madison, Wis., 1978), pp. 181-200, Stud. Logic Foundations Math., 101, North-Holland, Amsterdam-New York, 1980.


1980: Metakides, G.; Nerode, A. Recursion theory on fields and abstract dependence. J. Algebra 65 (1980), no. 1, 36-59.


1980: Nerode, Anil; Shore, Richard A. Reducibility orderings: theories, definability and automorphisms. Ann. Math. Logic 18 (1980), no. 1, 61-89.



1979: Metakides, G.; Nerode, A. Effective content of field theory. Ann. Math. Logic 17 (1979), no. 3, 289-320.



1977: Metakides, G.; Nerode, A. Recursively enumerable vector spaces. Ann. Math. Logic 11 (1977), no. 2, 147-171.



1976: Crossley, J. N.; Nerode, Anil Effective dimension. J. Algebra 41 (1976), no. 2, 398-412.



1975: Metakides, G.; Nerode, A. Recursion theory and algebra. Algebra and logic (Fourteenth Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), pp. 209-219. Lecture Notes in Math., Vol. 450, Springer, Berlin, 1975.


1975: Nerode, A. Logic and foundations. Proceedings of the Second Simposium Mathematik (Univ. Malaya/Univ. Kebangsaan Malaysia, Kuala Lumpur, 1974). Bull. Malaysian Math. Soc. Special Issue (1975), 17-24.


1975: Crossley, J. N.; Nerode, Anil Sound functors. Proof Theory Symposion (Proc. Internat. Summer Inst. and Logic Colloq., Kiel, 1974), pp. 26-43. Lecture Notes in Math., Vol. 500, Springer, Berlin, 1975.


1975: Nerode, A. Logic and foundations. Algebra and logic (Fourteenth Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), pp. 283-290. Lecture Notes in Math., Vol. 450, Springer, Berlin, 1975.


1975: Crossley, J. N.; Nerode, Anil Combinatorial functors. Logic Colloquium (Boston, Mass., 1972-1973), pp. 1-21. Lecture Notes in Math., Vol. 453, Springer, Berlin, 1975.


1975: Reminiscences of logicians. Reported by J. N. Crossley. With contributions by C. C. Chang, John Crossley, Jerry Keisler, Steve Kleene, Mike Morley, Vivienne Morley, Andrzej Mostowski, Anil Nerode, Gerald Sacks, Peter Hilton and David Lucy. Algebra and logic (Fourteenth Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), pp. 1-62. Lecture Notes in Math., Vol. 450, Springer, Berlin, 1975.



1974: Crossley, J. N.; Nerode, Anil Combinatorial functors. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 81. Springer-Verlag, New York-Heidelberg, 1974. viii+146 pp.



1970: Nerode, Anil; Manaster, Alfred B. A universal embedding property of the RET. J. Symbolic Logic 35 1970 51-59.



1966: Nerode, Anil Diophantine correct non-standard models in the isols. Ann. of Math. (2) 84 1966 421-432.


1966: Nerode, A. Combinatorial series and recursive equivalence types. Fund. Math. 58 1966 113-141.



1965: Nerode, A. Non-linear combinatorial functions of isols. Math. Z. 86 1965 410-424.


1965: Nerode, A. Additive relations among recursive equivalence types. Math. Ann. 159 1965 329-343.



1963: Nerode, A. A decision method for p-adic integral zeros of diophantine equations. Bull. Amer. Math. Soc. 69 1963 513-517.



1962: Nerode, A. Arithmetically isolated and nonstandard models. 1962 Proc. Sympos. Pure Math., Vol. V pp. 105-116 American Mathematical Society, Providence, R.I.


1962: Nerode, A. Extensions to isolic integers. Ann. of Math. (2) 75 1962 419-448.



1961: Nerode, A.; Shank, H. An algebraic proof of Kirchhoff's network theorem. Amer. Math. Monthly 68 1961 244-247.


1961: Nerode, Anil Extensions to isols. Ann. of Math. (2) 73 1961 362-403.



1959: Nerode, A. Some Stone spaces and recursion theory. Duke Math. J. 26 1959 397-406.


1959: Nerode, A. Composita, equations, and freely generated algebras. Trans. Amer. Math. Soc. 91 1959 139-151.



1958: Nerode, A. Linear automaton transformations. Proc. Amer. Math. Soc. 9 1958 541-544.



1957: Nerode, A. General topology and partial recursive functionals, in Summaries of Talks at the AMS Summer Institute in Symbolic Logic, Cornell University Mathematics Department, 1957.



1956: Nerode, A., Composita, equations, and freely generated algebras, (Dissertation), University of Chicago, 1956.



Nerode's Home Page