dblp.uni-trier.dewww.uni-trier.de

Anil Nerode Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
84EESergei 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
83EEBjørn Kjos-Hanssen, Anil Nerode: Effective dimension of points visited by Brownian motion. Theor. Comput. Sci. 410(4-5): 347-354 (2009)
2008
82EEAnil Nerode, Jeffrey B. Remmel: Consistency properties and set based logic programming. Ann. Math. Artif. Intell. 53(1-4): 289-311 (2008)
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
80EEAnil Nerode: Logic and Control. CiE 2007: 585-597
79EESrikanth Gottipati, Anil Nerode: A Synthesis Algorithm for Hybrid Systems. LFCS 2007: 254-268
78EEBjørn Kjos-Hanssen, Anil Nerode: The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion. LFCS 2007: 310-317
77EEVijayant Dhankhar, Saket Kaushik, Duminda Wijesekera, Anil Nerode: Evaluating distributed xacml policies. SWS 2007: 99-110
2005
76EEDuminda Wijesekera, James Bret Michael, Anil Nerode: An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy. POLICY 2005: 115-118
75EEDuminda Wijesekera, Anil Nerode: Tableaux for constructive concurrent dynamic logic. Ann. Pure Appl. Logic 135(1-3): 1-72 (2005)
2004
74EEJennifer 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
73EEAnil Nerode: Preface. Ann. Pure Appl. Logic 126(1-3): 1-2 (2004)
72EESuman Ganguli, Anil Nerode: Effective completeness theorems for modal logic. Ann. Pure Appl. Logic 128(1-3): 141-195 (2004)
2002
71EEJennifer M. Davoren, Thomas Moor, Anil Nerode: Hybrid Control Loops, A/D Maps, and Dynamic Specifications. HSCC 2002: 149-163
70EEKer-I Ko, Anil Nerode, Klaus Weihrauch: Foreword. Theor. Comput. Sci. 284(2): 197 (2002)
2001
69EEDuminda 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
66EETony 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)
64EEDuminda 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
58EEWolf Kohn, Anil Nerode, Jeffrey B. Remmel: Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems. Hybrid Systems 1997: 122-141
57EEE. Skafidas, Robin 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
53EEV. 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)
51EEAnil 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
47EEColin 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)
41EEJames J. Lu, Anil Nerode, V. S. Subrahmanian: Hybrid Knowledge Bases. IEEE Trans. Knowl. Data Eng. 8(5): 773-785 (1996)
40EEVadam Kagan, Anil Nerode, V. S. Subrahmanian: Computing Minimal Models by Partial Instantiation. Theor. Comput. Sci. 155(1): 157-177 (1996)
39EEGeorg 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)
32EEWolf 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)
22EEColin 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
11EEColin 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)

Coauthor Index

1Sergei I. Adian [61]
2Panos J. Antsaklis [37] [59] [67]
3Sergei N. Artëmov [56] [81] [84]
4K. Jon Barwise (Jon Barwise) [2]
5Colin Bell [11] [18] [22] [47]
6Vaughan Coulthard [74]
7Jennifer M. Davoren [56] [71] [74]
8Vijayant Dhankhar [77]
9Jürgen Dix [60]
10Robin J. Evans [57]
11Mark Foresti [64]
12Ulrich Furbach [60]
13M. Ganesh [54] [69]
14Suman Ganguli [72]
15Xiaolin Ge [27] [36] [45]
16Sumit Ghosh [66] [68]
17Rajeev Goré [74]
18Srikanth Gottipati [79]
19Georg Gottlob [39]
20Robert L. Grossman [15] [20]
21Hajime Ishihara [62] [63]
22Vadam Kagan [40]
23Vadim Kagan [24]
24Saket Kaushik [77]
25Bakhadyr Khoussainov [26] [28] [62] [63]
26Bjørn Kjos-Hanssen [78] [83]
27Ker-I Ko [70]
28Wolf Kohn [13] [14] [17] [19] [30] [32] [36] [37] [50] [58] [59] [67]
29Tony S. Lee [66] [68]
30Michael D. Lemmon [67]
31James J. Lu [41]
32Alfred B. Manaster [1]
33Sherry Marcus [39]
34Iven M. Y. Mareels [57]
35Victor W. Marek (V. Wiktor Marek) [6] [7] [8] [9] [10] [12] [21] [23] [34] [35] [38] [48] [52] [53] [55] [65]
36Yuri Matiyasevich [31] [46]
37James Bret Michael [76]
38Thomas Moor [71] [74]
39Raymond T. Ng [11] [18] [22] [33] [47]
40Anders P. Ravn [15] [20]
41Jeffrey B. Remmel [4] [5] [6] [7] [8] [9] [10] [12] [21] [23] [29] [30] [32] [34] [35] [36] [42] [44] [48] [49] [50] [51] [52] [53] [55] [58] [65] [82]
42Hans Rischel [15] [20]
43Gerald E. Sacks [43]
44Gernot Salzer [39]
45Shankar Sastry (Shankar S. Sastry) [37] [59] [67]
46Andre Scedrov [5]
47E. Skafidas [57]
48Jaideep Srivastava [54] [64] [69]
49V. S. Subrahmanian [11] [18] [22] [24] [33] [39] [40] [41] [47] [51]
50Michael A. Taitslin [16] [25]
51Klaus Weihrauch [70]
52Duminda Wijesekera [54] [64] [69] [75] [76] [77]
53Alexander Yakhnis [29] [32] [44] [49]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)