dblp.uni-trier.dewww.uni-trier.de

Amy Vanderbilt

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
9 Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey: Verification of Nasa Emergent Systems. AIAI 2004: 167-176
8EEChristopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verification of Emergent Behaviors in Swarm-based Systems. ECBS 2004: 443-448
7EEChristopher 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
5EEChristopher 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
4EEDouglas 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
3EEDouglas A. Cenzer, Amy Vanderbilt: Common Derivations in Locally Determined Logic Programs. AMAI 2002
2000
2EEDouglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt: Characterizing the Set of Extensions of a Nonmonotonic Rule System with Levels. AMAI 2000
1999
1EEDouglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt: Locally Determined Logic Programs. LPNMR 1999: 34-48

Coauthor Index

1Douglas A. Cenzer (Douglas Cenzer) [1] [2] [3] [4]
2Michael G. Hinchey (Mike Hinchey) [5] [6] [7] [8] [9]
3James L. Rash [5] [6] [7] [8] [9]
4Jeffrey B. Remmel [1] [2] [4]
5Christopher A. Rouff (Christopher Rouff) [5] [6] [7] [8] [9]
6Walter Truszkowski (Walt Truszkowski) [5] [6] [7] [8] [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)