Amy Vanderbilt - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 10 from 10

2004

Locally Determined Logic Programs and Recursive Stable ModelsDouglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt. AMAI, 40(3-4):225-262, 2004. [doi]

Formal Methods for Autonomic and Swarm-based SystemsChristopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey. ISoLA 2004: 100-102

Verification of Nasa Emergent SystemsChristopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey. ifip12 2004: 167-176

Verification of Emergent Behaviors in Swarm-based SystemsChristopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash. ECBS 2004: 443-448 [doi]

Verification of NASA Emergent SystemsChristopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey. ICECCS 2004: 231-238 [doi]

Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based SystemsChristopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash. SEFM 2004: 24-33 [doi]

2002

Common Derivations in Locally Determined Logic ProgramsDouglas A. Cenzer, Amy Vanderbilt. amai 2002: [doi]

Common Derivations in Locally Determined Logic ProgramsDouglas Cenzer, Amy Vanderbilt. isaim 2004: [doi]

2000

Characterizing the Set of Extensions of a Nonmonotonic Rule System with LevelsDouglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt. amai 2000: [doi]

1999

Locally Determined Logic ProgramsDouglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt. lpnmr 1999: 34-48 [doi]

Sign in or sign up to see more results.

runs on WebDSL