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) |