Amy Vanderbilt

Publication Activity (10 Years)

Years Active: 1999-2004
Publications (10 Years): 0

Publications

Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
Verification of NASA Emergent Systems. ICECCS (2004)
Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
Verification of Nasa Emergent Systems. AIAI (2004)
Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
Locally Determined Logic Programs and Recursive Stable Models. Ann. Math. Artif. Intell. 40 (3-4) (2004)
Christopher A. 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. SEFM (2004)
Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash
Verification of Emergent Behaviors in Swarm-based Systems. ECBS (2004)
Christopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey
Formal Methods for Autonomic and Swarm-based Systems. ISoLA (Preliminary proceedings) (2004)
Douglas Cenzer, Amy Vanderbilt
Common Derivations in Locally Determined Logic Programs. AI&M (2002)
Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
Characterizing the Set of Extensions of a Nonmonotonic Rule System with Levels. AI&M (2000)
Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
Locally Determined Logic Programs. LPNMR (1999)