Search the dblp DataBase

Publications of Author

1. Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
   Characterizing the Set of Extensions of a Nonmonotonic Rule System with Levels. [Citation Graph (0, 0)][DBLP]
   AMAI, 2000, pp:- [Conf]
   
2. Douglas A. Cenzer, Amy Vanderbilt
   Common Derivations in Locally Determined Logic Programs. [Citation Graph (0, 0)][DBLP]
   AMAI, 2002, pp:- [Conf]
   
3. Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash
   Verification of Emergent Behaviors in Swarm-based Systems. [Citation Graph (0, 0)][DBLP]
   ECBS, 2004, pp:443-448 [Conf]
   
4. Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
   Verification of NASA Emergent Systems. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2004, pp:231-238 [Conf]
   
5. Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
   Verification of Nasa Emergent Systems. [Citation Graph (0, 0)][DBLP]
   AIAI, 2004, pp:167-176 [Conf]
   
6. Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
   Locally Determined Logic Programs. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1999, pp:34-48 [Conf]
   
7. Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash
   Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. [Citation Graph (0, 0)][DBLP]
   SEFM, 2004, pp:24-33 [Conf]
   
8. Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
   Locally Determined Logic Programs and Recursive Stable Models. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2004, v:40, n:3-4, pp:225-262 [Journal]
   
9. 
   Formal Methods for Autonomic and Swarm-based Systems. [Citation Graph (, )][DBLP]