Anil Nerode

	2012
90		Anil Nerode: A Small Tribute. Logic and Program Semantics 2012: 333
89		Sergei N. Artëmov, Anil Nerode: Preface. Ann. Pure Appl. Logic 163(7): 743-744 (2012)
	2009
88		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
87		Bjørn Kjos-Hanssen, Anil Nerode: Effective dimension of points visited by Brownian motion. Theor. Comput. Sci. 410(4-5): 347-354 (2009)
	2008
86		Anil Nerode, Jeffrey B. Remmel: Consistency properties and set based logic programming. Ann. Math. Artif. Intell. 53(1-4): 289-311 (2008)
85		Bakhadyr Khoussainov, Anil Nerode: Open Questions in the Theory of Automatic Structures. Bulletin of the EATCS 94: 181-204 (2008)
	2007
84		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
83		Anil Nerode: Logic and Control. CiE 2007: 585-597
82		Srikanth Gottipati, Anil Nerode: A Synthesis Algorithm for Hybrid Systems. LFCS 2007: 254-268
81		Bjørn Kjos-Hanssen, Anil Nerode: The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion. LFCS 2007: 310-317
80		Vijayant Dhankhar, Saket Kaushik, Duminda Wijesekera, Anil Nerode: Evaluating distributed xacml policies. SWS 2007: 99-110
	2005
79		Duminda Wijesekera, James Bret Michael, Anil Nerode: An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy. POLICY 2005: 115-118
78		Duminda Wijesekera, Anil Nerode: Tableaux for constructive concurrent dynamic logic. Ann. Pure Appl. Logic 135(1-3): 1-72 (2005)
	2004
77		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
76		Anil Nerode: Preface. Ann. Pure Appl. Logic 126(1-3): 1-2 (2004)
75		Suman Ganguli, Anil Nerode: Effective completeness theorems for modal logic. Ann. Pure Appl. Logic 128(1-3): 141-195 (2004)
	2002
74		Jennifer M. Davoren, Thomas Moor, Anil Nerode: Hybrid Control Loops, A/D Maps, and Dynamic Specifications. HSCC 2002: 149-163
73		Ker-I Ko, Anil Nerode, Klaus Weihrauch: Foreword. Theor. Comput. Sci. 284(2): 197 (2002)
	2001
72		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
71		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
70		Panos J. Antsaklis, Wolf Kohn, Michael D. Lemmon, Anil Nerode, Shankar Sastry: Hybrid Systems V Springer 1999
69		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
68		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)
67		Duminda Wijesekera, Jaideep Srivastava, Anil Nerode, Mark Foresti: Experimental Evaluation of Loss Perception in Continuous Media. Multimedia Syst. 7(6): 486-499 (1999)
	1998
66		Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode: Decidable Kripke Models of Intuitionistic Theories. Ann. Pure Appl. Logic 93(1-3): 115-123 (1998)
65		Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode: Computable Kripke Models and Intermediate Logics. Inf. Comput. 143(2): 205-230 (1998)
	1997
64		Anil Nerode, Richard A. Shore: Logic for applications (2. ed.). Springer 1997: I-XIII, 1-456
63		Sergei I. Adian, Anil Nerode: Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings Springer 1997
62		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
61		Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry: Hybrid Systems IV Springer 1997
60		Wolf Kohn, Anil Nerode, Jeffrey B. Remmel: Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems. Hybrid Systems 1997: 122-141
59		Efstratios Skafidas, Robin J. Evans, Iven M. Y. Mareels, Anil Nerode: Optimal Controller Switching for Stochastic Systems. Hybrid Systems 1997: 341-355
58		Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode: Topological Semantics for Hybrid Systems. LFCS 1997: 1-8
57		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Basic Forward Chaining Construction for Logic Programs. LFCS 1997: 214-225
56		Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode: Tableaux for Functional Dependencies and Independencies. TABLEAUX 1997: 358-372
55		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)
54		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Complexity of Recursive Normal Default Logic. Fundam. Inform. 32(2): 139-147 (1997)
53		Anil Nerode, Jeffrey B. Remmel, V. S. Subrahmanian: Annotated Nonmonotonic Rule Systems. Theor. Comput. Sci. 171(1-2): 111-146 (1997)
	1996
52		Wolf Kohn, Anil Nerode, Jeffrey B. Remmel: Agent Based Velocity Control of Highway Systems. Hybrid Systems 1996: 174-214
51		Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis: Hybrid System Games: Extraction of Control Automata with Small Topologies. Hybrid Systems 1996: 248-293
50		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: On the Complexity of Abduction. LICS 1996: 513-522
49		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)
48		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)
47		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)
46		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)
45		Anil Nerode, Gerald E. Sacks: Preface - Special Volume Dedicated to the late Stephen Cole Kleene. Ann. Pure Appl. Logic 81(1-3): 1 (1996)
44		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)
43		James J. Lu, Anil Nerode, V. S. Subrahmanian: Hybrid Knowledge Bases. IEEE Trans. Knowl. Data Eng. 8(5): 773-785 (1996)
42		Vadam Kagan, Anil Nerode, V. S. Subrahmanian: Computing Minimal Models by Partial Instantiation. Theor. Comput. Sci. 155(1): 157-177 (1996)
41		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
40		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
39		Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry: Hybrid Systems II Springer 1995
38		Xiaolin Ge, Wolf Kohn, Anil Nerode, Jeffrey B. Remmel: Hybrid Systems: Chattering Approximation to Relaxed Controls. Hybrid Systems 1995: 76-100
37		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning LICS 1995: 178-185
36		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: On Logical Constraints in Logic Programming. LPNMR 1995: 43-56
35		Anil Nerode, Raymond T. Ng, V. S. Subrahmanian: Computing Circumscriptive Databases: I. Theory and Algorithms Inf. Comput. 116(1): 58-80 (1995)
34		Wolf Kohn, Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis: Viability in Hybrid Systems. Theor. Comput. Sci. 138(1): 141-168 (1995)
	1994
33		Anil Nerode, Yuri Matiyasevich: Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings Springer 1994
32		Wolf Kohn, Anil Nerode, Jeffrey B. Remmel: Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections. Hybrid Systems 1994: 294-321
31		Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis: Controllers as Fixed Points of Set-Valued Operators. Hybrid Systems 1994: 344-358
30		Bakhadyr Khoussainov, Anil Nerode: Automatic Presentations of Structures. LCC 1994: 367-392
29		Xiaolin Ge, Anil Nerode: On Extreme Points of Convex Compact Turing Located Set. LFCS 1994: 114-128
28		Bakhadyr Khoussainov, Anil Nerode: The Notion of Rank and Games. LFCS 1994: 204-217
27		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)
26		Vadim Kagan, Anil Nerode, V. S. Subrahmanian: Computing Definite Logic Programs by Partial Instantiation. Ann. Pure Appl. Logic 67(1-3): 161-182 (1994)
25		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)
24		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)
23		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: The Stable Models of a Predicate Logic Program. J. Log. Program. 21(3): 129-153 (1994)
22		Anil Nerode, Victor W. Marek, V. S. Subrahmanian: Introduction. Meth. of Logic in CS 1(1): 1-3 (1994)
	1993
21		Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel: Hybrid Systems Springer 1993
20		Anil Nerode, Richard A. Shore: Logic for applications. Springer 1993: I-XVII, 1-365
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		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: 241-273 (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

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

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page