@inproceedings{conf/isola/RouffVTRH04,
	title = {Formal Methods for Autonomic and Swarm-based Systems.},
	author = {Christopher A. Rouff and Amy Vanderbilt and Walter Truszkowski and James L. Rash and Michael G. Hinchey},
	booktitle = {ISoLA (Preliminary proceedings)},
	crossref = {conf/isola/2004i},
	editor = {Tiziana Margaria and Bernhard Steffen and Anna Philippou and Manfred Reitenspieß},
	pages = {100-102},
	publisher = {Department of Computer Science, University of Cyprus},
	series = {Technical Report},
	url = {http://dblp.uni-trier.de/db/conf/isola/isola2004i.html#RouffVTRH04},
	volume = {TR-2004-6},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/2324ce4e80c8f8fc68ca21c9bb5eb483f/dblp},
	description = {dblp},
	date = {2008-09-11},
	keywords = {dblp }
}

@article{journals/cphysics/MostofiYLSVM08,
	title = {wannier90: A tool for obtaining maximally-localised Wannier functions.},
	author = {Arash A. Mostofi and Jonathan R. Yates and Young-Su Lee and Ivo Souza and David Vanderbilt and Nicola Marzari},
	journal = {Computer Physics Communications},
	number = {9},
	pages = {685-699},
	url = {http://dblp.uni-trier.de/db/journals/cphysics/cphysics178.html#MostofiYLSVM08},
	volume = {178},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2ed8e14e8135602d515792867f612ac14/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.cpc.2007.11.016}, date = {2008-06-24},
	keywords = {dblp }
}

@article{Run94b,
	title = {Terrestrial remote sensing science and algorithms planned for EOS-MODIS},
	author = {S.W. Running and C. O. Justice and V. Salomonson and D. Hall and J. Barker and Y. Kaufman and A. H. Strahler and A. Huete and J-P. Muller and V. Vanderbilt and Z-M. Wan and P. Teillet and D. Carneggie},
	journal = {International Journal of Remote Sensing},
	pages = {3587-3620},
	volume = {15},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/2834e969daff01a9e27b6480e2f6d0b21/jgomezdans},
	description = {Fire references},
	optkey = {}, optnote = {}, optmonth = {}, optnumber = {}, optannote = {},
	keywords = {imported }
}

@misc{ieKey,
	title = {Open Grid Services Infrastructure (OGSI) Version 1.0. },
	author = {S. Tuecke and K. Czajkowski and I. Foster and J. Frey and S. Graham and C. Kesselman and T. Maguire and T. Sandholm and P. Vanderbilt and D. Snelling},
	booktitle = {Global Grid Forum Draft Recommendation},
	note = {Open Grid Services Infrastructure(OGSI)Version 1. 0.},
	url = {http://www.globus.org/alliance/publications/papers/Final_OGSI_Specification_V1.0.pdf},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/2441d995e5a614b2f075c1214bd245040/achorley},
	description = {Globus: Publications - Research Papers},
	date = {6 / 27 / 2003},
	keywords = {OGSI grid infrastructure services }
}

@inproceedings{conf/ssdbm/CushingVBGJM05,
	title = {NSF Long Term Ecological Research Sites - Praxis et Theoria.},
	author = {Judith Bayard Cushing and Kristin Vanderbilt and James Brunt and Amarnath Gupta and Matthew Jones and Peter McCartney},
	booktitle = {SSDBM},
	crossref = {conf/ssdbm/2005},
	editor = {James Frew},
	pages = {303-306},
	url = {http://dblp.uni-trier.de/db/conf/ssdbm/ssdbm2005.html#CushingVBGJM05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2db2233210386b29477f0d369d4bfbf1b/dblp},
	description = {dblp},
	date = {2005-09-19},
	keywords = {dblp }
}

@inproceedings{conf/ifip12/RouffVTRH04,
	title = {Verification of Nasa Emergent Systems.},
	author = {Christopher Rouff and Amy Vanderbilt and Walt Truszkowski and James L. Rash and Michael G. Hinchey},
	booktitle = {AIAI},
	crossref = {conf/ifip12/2004},
	editor = {Max Bramer and Vladan Devedzic},
	pages = {167-176},
	publisher = {Kluwer},
	url = {http://dblp.uni-trier.de/db/conf/ifip12/aiai2004.html#RouffVTRH04},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/2ab1d07fd0c54b64e7f7dde4a57233e88/dblp},
	description = {dblp},
	isbn = {1-4020-8150-2}, date = {2005-01-27},
	keywords = {dblp }
}

@inproceedings{conf/sefm/RouffVHTR04,
	title = {Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems.},
	author = {Christopher Rouff and Amy Vanderbilt and Michael G. Hinchey and Walt Truszkowski and James L. Rash},
	booktitle = {SEFM},
	crossref = {conf/sefm/2004},
	pages = {24-33},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2004.html#RouffVHTR04},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/24178b279e624c2c5d7e9203150a4b262/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.34}, isbn = {0-7695-2222-X}, date = {2005-01-24},
	keywords = {dblp }
}

@inproceedings{conf/ecbs/RouffVHTR04,
	title = {Verification of Emergent Behaviors in Swarm-based Systems.},
	author = {Christopher Rouff and Amy Vanderbilt and Michael G. Hinchey and Walt Truszkowski and James L. Rash},
	booktitle = {ECBS},
	crossref = {conf/ecbs/2004},
	pages = {443-448},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/ecbs/ecbs2004.html#RouffVHTR04},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/2a7a162ca027ed41def67a5de3f7c4a88/dblp},
	description = {dblp},
	ee = {http://csdl.computer.org/comp/proceedings/ecbs/2004/2125/00/21250443abs.htm}, isbn = {0-7695-2125-8}, date = {2004-06-21},
	keywords = {dblp }
}

@inproceedings{conf/iceccs/RouffVTRH04,
	title = {Verification of NASA Emergent Systems.},
	author = {Christopher Rouff and Amy Vanderbilt and Walt Truszkowski and James L. Rash and Michael G. Hinchey},
	booktitle = {ICECCS},
	crossref = {conf/iceccs/2004},
	pages = {231-238},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2004.html#RouffVTRH04},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/226859a6032f6c325faadcf0047cec579/dblp},
	description = {dblp},
	ee = {http://csdl.computer.org/comp/proceedings/iceccs/2004/2109/00/21090231abs.htm}, isbn = {0-7695-2109-6}, date = {2004-04-29},
	keywords = {dblp }
}

@article{journals/amai/CenzerRV04,
	title = {Locally Determined Logic Programs and Recursive Stable Models.},
	author = {Douglas A. Cenzer and Jeffrey B. Remmel and Amy Vanderbilt},
	journal = {Ann. Math. Artif. Intell.},
	number = {3-4},
	pages = {225-262},
	url = {http://dblp.uni-trier.de/db/journals/amai/amai40.html#CenzerRV04},
	volume = {40},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/2ea258be3c944f29c5d0f38ff49b8fffb/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1023/B:AMAI.0000012868.41613.e7}, date = {2004-02-05},
	keywords = {dblp }
}