| 2004 |
|---|
| 9 | | Christopher Rouff,
Amy Vanderbilt,
Walt Truszkowski,
James L. Rash,
Michael G. Hinchey:
Verification of Nasa Emergent Systems.
AIAI 2004: 167-176 |
| 8 | EE | Christopher Rouff,
Amy Vanderbilt,
Michael G. Hinchey,
Walt Truszkowski,
James L. Rash:
Verification of Emergent Behaviors in Swarm-based Systems.
ECBS 2004: 443-448 |
| 7 | EE | Christopher Rouff,
Amy Vanderbilt,
Walt Truszkowski,
James L. Rash,
Michael G. Hinchey:
Verification of NASA Emergent Systems.
ICECCS 2004: 231-238 |
| 6 | | 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: 100-102 |
| 5 | EE | 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.
SEFM 2004: 24-33 |
| 4 | EE | Douglas A. Cenzer,
Jeffrey B. Remmel,
Amy Vanderbilt:
Locally Determined Logic Programs and Recursive Stable Models.
Ann. Math. Artif. Intell. 40(3-4): 225-262 (2004) |
| 2002 |
|---|
| 3 | EE | Douglas A. Cenzer,
Amy Vanderbilt:
Common Derivations in Locally Determined Logic Programs.
AMAI 2002 |
| 2000 |
|---|
| 2 | EE | Douglas A. Cenzer,
Jeffrey B. Remmel,
Amy Vanderbilt:
Characterizing the Set of Extensions of a Nonmonotonic Rule System with Levels.
AMAI 2000 |
| 1999 |
|---|
| 1 | EE | Douglas A. Cenzer,
Jeffrey B. Remmel,
Amy Vanderbilt:
Locally Determined Logic Programs.
LPNMR 1999: 34-48 |
