Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnil Nerode
Person information
- affiliation: Cornell University, Ithaca, NY, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j52]Sergei Artemov, Anil Nerode:
Editorial. J. Log. Comput. 32(8): 1486 (2022)- [e20]Sergei N. Artëmov
, Anil Nerode:
Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings. Lecture Notes in Computer Science 13137, Springer 2022, ISBN 978-3-030-93099-8 [contents] - 2021
- [j51]Sergei N. Artëmov, Anil Nerode:
Editorial. J. Log. Comput. 31(1): 1 (2021) - 2020
- [j50]Sergei N. Artëmov, Anil Nerode:
Special Issue on Logical Foundations of Computer Science. J. Log. Comput. 30(1): 1 (2020) - [j49]Sergei N. Artëmov, Anil Nerode:
Editorial. J. Log. Comput. 30(8): 1429 (2020) - [e19]Sergei N. Artëmov, Anil Nerode:
Logical Foundations of Computer Science - International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings. Lecture Notes in Computer Science 11972, Springer 2020, ISBN 978-3-030-36754-1 [contents]
2010 – 2019
- 2018
- [e18]Sergei N. Artëmov, Anil Nerode:
Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings. Lecture Notes in Computer Science 10703, Springer 2018, ISBN 978-3-319-72055-5 [contents] - 2017
- [c41]Anil Nerode:
Prequel to the Cornell Computer Science Department. Computability and Complexity 2017: 19-21 - 2016
- [j48]Anil Nerode:
In Memoriam: Hartley Rogers, Jr. 1926-2015. Bull. Symb. Log. 22(2): 294-297 (2016) - [e17]Sergei N. Artëmov, Anil Nerode:
Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. Lecture Notes in Computer Science 9537, Springer 2016, ISBN 978-3-319-27682-3 [contents] - 2015
- [j47]Wolf Kohn, Zelda B. Zabinsky, Anil Nerode:
A Micro-Grid Distributed Intelligent Control and Management System. IEEE Trans. Smart Grid 6(6): 2964-2974 (2015) - 2014
- [j46]Anil Nerode, Melvin Fitting:
Editorial. Ann. Pure Appl. Log. 165(1): 1-2 (2014) - [j45]Anil Nerode, Melvin Fitting:
The life and work of Sergei Artemov. Ann. Pure Appl. Log. 165(1): 3-5 (2014) - [p1]Anil Nerode:
Musings on Turing's Thesis. Turing's Legacy 2014: 386-396 - 2013
- [e16]Sergei N. Artëmov, Anil Nerode:
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 [contents] - 2012
- [j44]Sergei N. Artëmov, Anil Nerode:
Preface. Ann. Pure Appl. Log. 163(7): 743-744 (2012) - [c40]Anil Nerode:
A Small Tribute. Logic and Program Semantics 2012: 333 - 2010
- [j43]Anil Nerode:
Review: Alfred Tarski: Life and Logic by Anita Burdman Feferman; Solomon Feferman. Am. Math. Mon. 117(3): 286-288 (2010)
2000 – 2009
- 2009
- [j42]Bjørn Kjos-Hanssen, Anil Nerode:
Effective dimension of points visited by Brownian motion. Theor. Comput. Sci. 410(4-5): 347-354 (2009) - [e15]Sergei N. Artëmov, Anil Nerode:
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 [contents] - 2008
- [j41]Anil Nerode, Jeffrey B. Remmel:
Consistency properties and set based logic programming. Ann. Math. Artif. Intell. 53(1-4): 289-311 (2008) - [j40]Bakhadyr Khoussainov, Anil Nerode:
Open Questions in the Theory of Automatic Structures. Bull. EATCS 94: 181-204 (2008) - 2007
- [c39]Anil Nerode:
Logic and Control. CiE 2007: 585-597 - [c38]Srikanth Gottipati, Anil Nerode:
A Synthesis Algorithm for Hybrid Systems. LFCS 2007: 254-268 - [c37]Bjørn Kjos-Hanssen, Anil Nerode:
The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion. LFCS 2007: 310-317 - [c36]Vijayant Dhankhar, Saket Kaushik, Duminda Wijesekera, Anil Nerode:
Evaluating distributed xacml policies. SWS 2007: 99-110 - [e14]Sergei N. Artëmov, Anil Nerode:
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 [contents] - 2005
- [j39]Duminda Wijesekera, Anil Nerode:
Tableaux for constructive concurrent dynamic logic. Ann. Pure Appl. Log. 135(1-3): 1-72 (2005) - [c35]Duminda Wijesekera, James Bret Michael, Anil Nerode:
An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy. POLICY 2005: 115-118 - 2004
- [j38]Anil Nerode:
Preface. Ann. Pure Appl. Log. 126(1-3): 1-2 (2004) - [j37]Suman Ganguli, Anil Nerode:
Effective completeness theorems for modal logic. Ann. Pure Appl. Log. 128(1-3): 141-195 (2004) - [c34]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
- [j36]Ker-I Ko, Anil Nerode, Klaus Weihrauch:
Foreword. Theor. Comput. Sci. 284(2): 197 (2002) - [c33]Jennifer M. Davoren, Thomas Moor, Anil Nerode:
Hybrid Control Loops, A/D Maps, and Dynamic Specifications. HSCC 2002: 149-163 - 2001
- [j35]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
- [j34]Jennifer M. Davoren, Anil Nerode:
Logics for hybrid systems. Proc. IEEE 88(7): 985-1010 (2000) - [j33]Tony S. Lee, Sumit Ghosh, Anil Nerode:
Asynchronous, distributed, decision-making systems with semi-autonomous entities: a mathematical framework. IEEE Trans. Syst. Man Cybern. Part B 30(1): 229-239 (2000)
1990 – 1999
- 1999
- [j32]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Logic Programs, Well-Orderings, and Forward Chaining. Ann. Pure Appl. Log. 96(1-3): 231-276 (1999) - [j31]Duminda Wijesekera, Jaideep Srivastava, Anil Nerode, Mark Foresti:
Experimental Evaluation of Loss Perception in Continuous Media. Multim. Syst. 7(6): 486-499 (1999) - [c32]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 - [e13]Panos J. Antsaklis, Wolf Kohn, Michael D. Lemmon, Anil Nerode, Shankar Sastry:
Hybrid Systems V, Proceedings of the Fifth International Workshop on Hybrid Systems, Notre Dame, IN, USA, September 11-13, 1997. Lecture Notes in Computer Science 1567, Springer 1999, ISBN 3-540-65643-X [contents] - 1998
- [j30]Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode:
Decidable Kripke Models of Intuitionistic Theories. Ann. Pure Appl. Log. 93(1-3): 115-123 (1998) - [j29]Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode:
Computable Kripke Models and Intermediate Logics. Inf. Comput. 143(2): 205-230 (1998) - [j28]Panos J. Antsaklis, Anil Nerode:
Hybrid Control Systems: An Introductory Discussion to the Special Issue. IEEE Trans. Autom. Control. 43(4): 457-460 (1998) - [c31]Duminda Wijesekera, Srivatsan Varadarajan, Shwetal S. Parikh, Jaideep Srivastava, Anil Nerode:
Performance evaluation of media losses in the Continuous Media Toolkit. MSE 1998: 60-67 - 1997
- [b2]Anil Nerode, Richard A. Shore:
Logic for Applications, Second Edition. Graduate Texts in Computer Science, Springer 1997, ISBN 978-0-387-94893-5, pp. I-XIII, 1-456 - [j27]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) - [j26]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Complexity of Recursive Normal Default Logic. Fundam. Informaticae 32(2): 139-147 (1997) - [j25]Anil Nerode, Jeffrey B. Remmel, V. S. Subrahmanian:
Annotated Nonmonotonic Rule Systems. Theor. Comput. Sci. 171(1-2): 111-146 (1997) - [c30]Wolf Kohn, Anil Nerode, Jeffrey B. Remmel:
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems. Hybrid Systems 1997: 122-141 - [c29]Efstratios Skafidas, Robin J. Evans, Iven M. Y. Mareels, Anil Nerode:
Optimal Controller Switching for Stochastic Systems. Hybrid Systems 1997: 341-355 - [c28]Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode:
Topological Semantics for Hybrid Systems. LFCS 1997: 1-8 - [c27]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Basic Forward Chaining Construction for Logic Programs. LFCS 1997: 214-225 - [c26]Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode:
Tableaux for Functional Dependencies and Independencies. TABLEAUX 1997: 358-372 - [e12]Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry:
Hybrid Systems IV, Proceedings of the Fourth International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1996. Lecture Notes in Computer Science 1273, Springer 1997, ISBN 3-540-63358-8 [contents] - [e11]Sergei I. Adian, Anil Nerode:
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 [contents] - [e10]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. Lecture Notes in Computer Science 1265, Springer 1997, ISBN 3-540-63255-7 [contents] - 1996
- [j24]Yuri V. Matiyasevich, Anil Nerode:
Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg". Ann. Pure Appl. Log. 78(1-3): 1 (1996) - [j23]Xiaolin Ge, Anil Nerode:
Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma. Ann. Pure Appl. Log. 78(1-3): 127-146 (1996) - [j22]Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis:
McNaughton Games and Extracting Strategies for Concurrent Programs. Ann. Pure Appl. Log. 78(1-3): 203-242 (1996) - [j21]Anil Nerode, Gerald E. Sacks:
Preface - Special Volume Dedicated to the late Stephen Cole Kleene. Ann. Pure Appl. Log. 81(1-3): 1 (1996) - [j20]Anil Nerode, Jeffrey B. Remmel:
On the Lattices of NP-Subspaces of a Polynomial Time Vector Space over a Finite Field. Ann. Pure Appl. Log. 81(1-3): 125-170 (1996) - [j19]Vadim Kagan, Anil Nerode, V. S. Subrahmanian:
Computing Minimal Models by Partial Instantiation. Theor. Comput. Sci. 155(1): 157-177 (1996) - [j18]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) - [j17]James J. Lu, Anil Nerode, V. S. Subrahmanian:
Hybrid Knowledge Bases. IEEE Trans. Knowl. Data Eng. 8(5): 773-785 (1996) - [j16]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) - [c25]Wolf Kohn, Anil Nerode, Jeffrey B. Remmel:
Agent Based Velocity Control of Highway Systems. Hybrid Systems 1996: 174-214 - [c24]Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis:
Hybrid System Games: Extraction of Control Automata with Small Topologies. Hybrid Systems 1996: 248-293 - [c23]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
On the Complexity of Abduction. LICS 1996: 513-522 - 1995
- [j15]Anil Nerode, Raymond T. Ng, V. S. Subrahmanian:
Computing Circumscriptive Databases: I. Theory and Algorithms. Inf. Comput. 116(1): 58-80 (1995) - [j14]Wolf Kohn, Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis:
Viability in Hybrid Systems. Theor. Comput. Sci. 138(1): 141-168 (1995) - [c22]Xiaolin Ge, Wolf Kohn, Anil Nerode, Jeffrey B. Remmel:
Hybrid Systems: Chattering Approximation to Relaxed Controls. Hybrid Systems 1995: 76-100 - [c21]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning. LICS 1995: 178-185 - [c20]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
On Logical Constraints in Logic Programming. LPNMR 1995: 43-56 - [e9]Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry:
Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994. Lecture Notes in Computer Science 999, Springer 1995, ISBN 3-540-60472-3 [contents] - [e8]V. Wiktor Marek, Anil Nerode:
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 [contents] - 1994
- [j13]Anil Nerode, Michael A. Taitslin:
A Selection of Papers Presented at the Symposium "Logic at Tver '92" - Preface. Ann. Pure Appl. Log. 67(1-3): 1 (1994) - [j12]Vadim Kagan, Anil Nerode, V. S. Subrahmanian:
Computing Definite Logic Programs by Partial Instantiation. Ann. Pure Appl. Log. 67(1-3): 161-182 (1994) - [j11]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. Ann. Pure Appl. Log. 67(1-3): 269-323 (1994) - [j10]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) - [j9]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
The Stable Models of a Predicate Logic Program. J. Log. Program. 21(3): 129-153 (1994) - [j8]Anil Nerode, Victor W. Marek, V. S. Subrahmanian:
Introduction. Methods Log. Comput. Sci. 1(1): 1-3 (1994) - [c19]Wolf Kohn, Anil Nerode, Jeffrey B. Remmel:
Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections. Hybrid Systems 1994: 294-321 - [c18]Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis:
Controllers as Fixed Points of Set-Valued Operators. Hybrid Systems 1994: 344-358 - [c17]Bakhadyr Khoussainov, Anil Nerode:
Automatic Presentations of Structures. LCC 1994: 367-392 - [c16]Xiaolin Ge, Anil Nerode:
On Extreme Points of Convex Compact Turing Located Set. LFCS 1994: 114-128 - [c15]Bakhadyr Khoussainov, Anil Nerode:
The Notion of Rank and Games. LFCS 1994: 204-217 - [c14]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
On Logical Constraints in Logic Programming. ILPS Workshop: Constraints and Databases 1994 - [e7]Anil Nerode, Yuri V. Matiyasevich:
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 [contents] - 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]Anil Nerode, Wolf Kohn:
Hybrid Systems and Constraint Logic Programming. ICLP 1993: 18-24 - [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 - [e6]Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel:
Hybrid Systems. Lecture Notes in Computer Science 736, Springer 1993, ISBN 3-540-57318-6 [contents] - [e5]Luís Moniz Pereira, Anil Nerode:
Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, Lisbon, Portugal, June 1993. MIT Press 1993, ISBN 0-262-66083-0 [contents] - 1992
- [j7]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) - [j6]V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
How Complicated is the Set of Stable Models of a Recursive Logic Program? Ann. Pure Appl. Log. 56(1-3): 119-135 (1992) - [c10]Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel:
Introduction. Hybrid Systems 1992: 1-3 - [c9]Anil Nerode, Wolf Kohn:
Multiple Agent Hybrid Control Architecture. Hybrid Systems 1992: 297-316 - [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 - [e4]Howard A. Blair, V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, Washington, DC, USA, November 13, 1992. Mathematical Sciences Institute, Cornell University 1992 [contents] - [e3]Anil Nerode, Michael A. Taitslin:
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 [contents] - 1991
- [e2]Anil Nerode, V. Wiktor Marek, V. S. Subrahmanian:
Logic Programming and Non-monotonic Reasoning, Proceedings of the First International Workshop, Washington, D.C., USA, July 1991. The MIT Press 1991, ISBN 0-262-64027-9 [contents] - 1990
- [j5]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 - [e1]V. Wiktor Marek, Anil Nerode, Dino Pedreschi, V. S. Subrahmanian:
Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, Austin, TX, USA, November 1-2, 1990. 1990 [contents]
1980 – 1989
- 1989
- [j4]Anil Nerode, Jeffrey B. Remmel:
Complexity-Theoretic Algebra II: Boolean Algebras. Ann. Pure Appl. Log. 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. SCT 1987 - 1986
- [j3]Anil Nerode, Jeffrey B. Remmel:
Generic objects in recursion theory II: Operations on recursive approximation spaces. Ann. Pure Appl. Log. 31: 257-288 (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
a service of 