| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sergei N. Artëmov, Anil Nerode |
Preface.  |
Ann. Pure Appl. Logic  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode |
A Small Tribute. |
Logic and Program Semantics |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjørn Kjos-Hanssen, Anil Nerode |
Effective dimension of points visited by Brownian motion. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei N. Artëmov, Anil Nerode (eds.) |
Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Anil Nerode |
Open Questions in the Theory of Automatic Structures. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Anil Nerode, Jeffrey B. Remmel |
Consistency properties and set based logic programming. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T30, 03B70 |
| 1 | Sergei N. Artëmov, Anil Nerode (eds.) |
Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings |
LFCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bjørn Kjos-Hanssen, Anil Nerode |
The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
law of the iterated logarithm, randomness, Kolmogorov complexity, Brownian motion |
| 1 | Srikanth Gottipati, Anil Nerode |
A Synthesis Algorithm for Hybrid Systems. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijayant Dhankhar, Saket Kaushik, Duminda Wijesekera, Anil Nerode |
Evaluating distributed xacml policies. |
SWS |
2007 |
DBLP DOI BibTeX RDF |
XACML, web services security, distributed evaluation |
| 1 | Anil Nerode |
Logic and Control. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Duminda Wijesekera, Anil Nerode |
Tableaux for constructive concurrent dynamic logic. |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Duminda Wijesekera, James Bret Michael, Anil Nerode |
An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy. |
POLICY |
2005 |
DBLP DOI BibTeX RDF |
Ballistic Missile Defense Policy, Agents |
| 1 | Anil Nerode |
Preface. |
Ann. Pure Appl. Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Suman Ganguli, Anil Nerode |
Effective completeness theorems for modal logic. |
Ann. Pure Appl. Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ker-I Ko, Anil Nerode, Klaus Weihrauch |
Foreword. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jennifer M. Davoren, Thomas Moor, Anil Nerode |
Hybrid Control Loops, A/D Maps, and Dynamic Specifications. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode |
Normal forms and syntactic completeness proofs for functional independencies. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
Logic Programs, Well-Orderings, and Forward Chaining. |
Ann. Pure Appl. Logic |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Duminda Wijesekera, Jaideep Srivastava, Anil Nerode, Mark Foresti |
Experimental Evaluation of Loss Perception in Continuous Media. |
Multimedia Syst. |
1999 |
DBLP DOI BibTeX RDF |
Media losses, Quality of service, User studies, Metrics |
| 1 | Panos J. Antsaklis, Wolf Kohn, Michael D. Lemmon, Anil Nerode, Shankar Sastry (eds.) |
Hybrid Systems V |
Hybrid Systems |
1999 |
DBLP BibTeX RDF |
|
| 1 | 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. (PDF / PS) |
ISADS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode |
Computable Kripke Models and Intermediate Logics. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode |
Decidable Kripke Models of Intuitionistic Theories. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Jeffrey B. Remmel, V. S. Subrahmanian |
Annotated Nonmonotonic Rule Systems. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
Complexity of Recursive Normal Default Logic. |
Fundam. Inform. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
Nonmonotonic rule systems with recursive sets of restraints. |
Arch. Math. Log. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Richard A. Shore |
Logic for applications (2. ed.). |
|
1997 |
RDF |
|
| 1 | Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode |
Topological Semantics for Hybrid Systems. |
LFCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei I. Adian, Anil Nerode (eds.) |
Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings |
LFCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
Basic Forward Chaining Construction for Logic Programs. |
LFCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.) |
Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings |
LPNMR |
1997 |
DBLP BibTeX RDF |
|
| 1 | Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode |
Tableaux for Functional Dependencies and Independencies. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolf Kohn, Anil Nerode, Jeffrey B. Remmel |
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems. |
Hybrid Systems |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Efstratios Skafidas, Robin J. Evans, Iven M. Y. Mareels, Anil Nerode |
Optimal Controller Switching for Stochastic Systems. |
Hybrid Systems |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.) |
Hybrid Systems IV |
Hybrid Systems |
1997 |
DBLP BibTeX RDF |
|
| 1 | James J. Lu, Anil Nerode, V. S. Subrahmanian |
Hybrid Knowledge Bases. |
IEEE Trans. Knowl. Data Eng. |
1996 |
DBLP DOI BibTeX RDF |
mediator, heterogeneous system, constraint logic programming, stable model, Annotated logic |
| 1 | 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. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Vadam Kagan, Anil Nerode, V. S. Subrahmanian |
Computing Minimal Models by Partial Instantiation. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian |
Implementing Deductive Databases by Mixed Integer Programming. |
ACM Trans. Database Syst. |
1996 |
DBLP DOI BibTeX RDF |
negation and disjunction in deductive databases, minimal models |
| 1 | Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis |
McNaughton Games and Extracting Strategies for Concurrent Programs. |
Ann. Pure Appl. Logic |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaolin Ge, Anil Nerode |
Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma. |
Ann. Pure Appl. Logic |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Anil Nerode, Gerald E. Sacks |
Preface - Special Volume Dedicated to the late Stephen Cole Kleene. |
Ann. Pure Appl. Logic |
1996 |
DBLP BibTeX RDF |
|
| 1 | Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis |
Hybrid System Games: Extraction of Control Automata with Small Topologies. |
Hybrid Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolf Kohn, Anil Nerode, Jeffrey B. Remmel |
Agent Based Velocity Control of Highway Systems. |
Hybrid Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
On the Complexity of Abduction. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolf Kohn, Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis |
Viability in Hybrid Systems. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Raymond T. Ng, V. S. Subrahmanian |
Computing Circumscriptive Databases: I. Theory and Algorithms |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
On Logical Constraints in Logic Programming. |
LPNMR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode (eds.) |
Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings |
LPNMR |
1995 |
DBLP BibTeX RDF |
|
| 1 | Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.) |
Hybrid Systems II |
Hybrid Systems |
1995 |
DBLP BibTeX RDF |
|
| 1 | Xiaolin Ge, Wolf Kohn, Anil Nerode, Jeffrey B. Remmel |
Hybrid Systems: Chattering Approximation to Relaxed Controls. |
Hybrid Systems |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning |
LICS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
The Stable Models of a Predicate Logic Program. |
J. Log. Program. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Vadim Kagan, Anil Nerode, V. S. Subrahmanian |
Computing Definite Logic Programs by Partial Instantiation. |
Ann. Pure Appl. Logic |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. |
Ann. Pure Appl. Logic |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Michael A. Taitslin |
A Selection of Papers Presented at the Symposium "Logic at Tver '92" - Preface. |
Ann. Pure Appl. Logic |
1994 |
DBLP BibTeX RDF |
|
| 1 | Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian |
Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
logic programming, deductive databases, nonmonotonic reasoning, operations research |
| 1 | Anil Nerode, Victor W. Marek, V. S. Subrahmanian |
Introduction. |
Meth. of Logic in CS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Anil Nerode |
Automatic Presentations of Structures. |
LCC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Anil Nerode |
The Notion of Rank and Games. |
LFCS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Yuri Matiyasevich (eds.) |
Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings |
LFCS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Xiaolin Ge, Anil Nerode |
On Extreme Points of Convex Compact Turing Located Set. |
LFCS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolf Kohn, Anil Nerode, Jeffrey B. Remmel |
Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections. |
Hybrid Systems |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis |
Controllers as Fixed Points of Set-Valued Operators. |
Hybrid Systems |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Richard A. Shore |
Logic for applications. |
|
1993 |
RDF |
|
| 1 | Anil Nerode, Wolf Kohn |
Hybrid Systems and Constraint Logic Programming. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian |
Implementing Stable Semantics by Linear Programming. |
LPNMR |
1993 |
DBLP BibTeX RDF |
|
| 1 | Wolf Kohn, Anil Nerode |
Autonomous Control of Hybrid Systems with Declarative Controllers. |
LPNMR |
1993 |
DBLP BibTeX RDF |
|
| 1 | Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (eds.) |
Hybrid Systems |
Hybrid Systems |
1993 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
A Theory of Nonmonotonic Rule Systems II. |
Ann. Math. Artif. Intell. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Michael A. Taitslin (eds.) |
Logical Foundations of Computer Science - Tver '92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings |
LFCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
Rule Systems and Well-Orderings. |
Structural Complexity and Recursion-theoretic methods in Logic-Programming |
1992 |
DBLP BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
The Stable Models of a Predicate Logic Program. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
| 1 | Anil Nerode, Wolf Kohn |
Multiple Agent Hybrid Control Architecture. |
Hybrid Systems |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel |
Introduction. |
Hybrid Systems |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Wolf Kohn |
Models for Hybrid Systems: Automata, Topologies, Controllability, Observability. |
Hybrid Systems |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian |
Implementing Deductive Databases by Linear Programming. |
PODS |
1992 |
DBLP DOI BibTeX RDF |
C |
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
A Theory of Nonmonotonic Rule Systems I. |
Ann. Math. Artif. Intell. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
A Theory of Nonmonotonic Rule Systems |
LICS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Jeffrey B. Remmel |
Complexity-Theoretic Algebra II: Boolean Algebras. |
Ann. Pure Appl. Logic |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Jeffrey B. Remmel, Andre Scedrov |
Polynomially Grade Logic I: A Graded Version of System T |
LICS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode |
A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture). |
LICS |
1986 |
DBLP BibTeX RDF |
|
| 1 | Anil Nerode, K. Jon Barwise |
Meeting of the Association for Symbolic Logic. |
J. Symb. Log. |
1973 |
DBLP BibTeX RDF |
|
| 1 | Anil Nerode, Alfred B. Manaster |
A Universal Embedding Property of the RETs. |
J. Symb. Log. |
1970 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")