| 2007 | CiE | Logic and Control. | Anil Nerode |
| 2007 | LFCS | A Synthesis Algorithm for Hybrid Systems. | Srikanth Gottipati, Anil Nerode |
| 2007 | LFCS | The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion. | Bjrn Kjos-Hanssen, Anil Nerode |
| 1999 | ISADS | A Mathematical Framework for Asynchronous, Distributed, Decision-Making Systems with Semi-Autonomous Entities: Algorithm Synthesis, Simulation, and Evaluation. | Tony S. Lee, Sumit Ghosh, Anil Nerode |
| 1997 | LFCS | Topological Semantics for Hybrid Systems. | Sergei N. Artmov, Jennifer M. Davoren, Anil Nerode |
| 1997 | LFCS | Basic Forward Chaining Construction for Logic Programs. | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1997 | TABLEAUX | Tableaux for Functional Dependencies and Independencies. | Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode |
| 1996 | LICS | On the Complexity of Abduction. | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1995 | LICS | Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1995 | LPNMR | On Logical Constraints in Logic Programming. | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1994 | LFCS | On Extreme Points of Convex Compact Turing Located Set. | Xiaolin Ge, Anil Nerode |
| 1994 | LFCS | The Notion of Rank and Games. | Bakhadyr Khoussainov, Anil Nerode |
| 1993 | ICLP | Hybrid Systems and Constraint Logic Programming. | Anil Nerode, Wolf Kohn |
| 1993 | LPNMR | Implementing Stable Semantics by Linear Programming. | Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian |
| 1993 | LPNMR | Autonomous Control of Hybrid Systems with Declarative Controllers. | Wolf Kohn, Anil Nerode |
| 1992 | ICLP | The Stable Models of a Predicate Logic Program. | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1992 | ICLP | Rule Systems and Well-Orderings. | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1992 | PODS | Implementing Deductive Databases by Linear Programming. | Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian |
| 1990 | LICS | A Theory of Nonmonotonic Rule Systems | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1989 | LICS | Polynomially Grade Logic I: A Graded Version of System T | Anil Nerode, Jeffrey B. Remmel, Andre Scedrov |
| 1986 | LICS | A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture). | Anil Nerode |