Locally Determined Logic Programs. - Douglas A. Cenzer; Jeffrey B. Remmel; Amy Vanderbilt (LPNMR, 1999)

Characterizing the Set of Extensions of a Nonmonotonic Rule System with Levels. - Douglas A. Cenzer; Jeffrey B. Remmel; Amy Vanderbilt (AI&M, 2000)

Common Derivations in Locally Determined Logic Programs. - Douglas Cenzer; Amy Vanderbilt (AI&M, 2002)

Verification of Emergent Behaviors in Swarm-based Systems. - Christopher A. Rouff; Amy Vanderbilt; Michael G. Hinchey; Walt Truszkowski; James L. Rash (ECBS, 2004)

Verification of Nasa Emergent Systems. - Christopher A. Rouff; Amy Vanderbilt; Walt Truszkowski; James L. Rash; Michael G. Hinchey (AIAI, 2004)

Formal Methods for Autonomic and Swarm-based Systems. - Christopher A. Rouff; Amy Vanderbilt; Walter Truszkowski; James L. Rash; Michael G. Hinchey (ISoLA (Preliminary proceedings), 2004)

Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. - Christopher A. Rouff; Amy Vanderbilt; Michael G. Hinchey; Walt Truszkowski; James L. Rash (SEFM, 2004)

Locally Determined Logic Programs and Recursive Stable Models. - Douglas A. Cenzer; Jeffrey B. Remmel; Amy Vanderbilt (Ann. Math. Artif. Intell., 2004)