BibTeX records: Amy Vanderbilt

• > Home > Persons > Amy Vanderbilt

@article{DBLP:journals/amai/CenzerRV04,
  author       = {Douglas A. Cenzer and
                  Jeffrey B. Remmel and
                  Amy Vanderbilt},
  title        = {Locally Determined Logic Programs and Recursive Stable Models},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {40},
  number       = {3-4},
  pages        = {225--262},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AMAI.0000012868.41613.e7},
  doi          = {10.1023/B:AMAI.0000012868.41613.E7},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/CenzerRV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecbs/RouffVHTR04,
  author       = {Christopher A. Rouff and
                  Amy Vanderbilt and
                  Michael G. Hinchey and
                  Walt Truszkowski and
                  James L. Rash},
  title        = {Verification of Emergent Behaviors in Swarm-based Systems},
  booktitle    = {11th {IEEE} International Conference on the Engineering of Computer-Based
                  Systems {(ECBS} 2004), 24-27 May 2004, Brno, Czech Republic},
  pages        = {443--448},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ECBS.2004.1316730},
  doi          = {10.1109/ECBS.2004.1316730},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/RouffVHTR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/RouffVTRH04,
  author       = {Christopher A. Rouff and
                  Amy Vanderbilt and
                  Walt Truszkowski and
                  James L. Rash and
                  Michael G. Hinchey},
  title        = {Verification of {NASA} Emergent Systems},
  booktitle    = {9th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2004), 14-16 April 2004, Florence, Italy},
  pages        = {231--238},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICECCS.2004.1310922},
  doi          = {10.1109/ICECCS.2004.1310922},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/RouffVTRH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip12/RouffVTRH04,
  author       = {Christopher A. Rouff and
                  Amy Vanderbilt and
                  Walt Truszkowski and
                  James L. Rash and
                  Michael G. Hinchey},
  editor       = {Max Bramer and
                  Vladan Devedzic},
  title        = {Verification of Nasa Emergent Systems},
  booktitle    = {Artificial Intelligence Applications and Innovations, {IFIP} 18th
                  World Computer Congress, {TC12} First International Conference on
                  Artificial Intelligence Applications and Innovations (AIAI-2004),
                  22-27 August 2004, Toulouse, France},
  series       = {{IFIP}},
  volume       = {154},
  pages        = {167--176},
  publisher    = {Kluwer/Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/1-4020-8151-0\_15},
  doi          = {10.1007/1-4020-8151-0\_15},
  timestamp    = {Mon, 29 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip12/RouffVTRH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/RouffVTRH04,
  author       = {Christopher A. Rouff and
                  Amy Vanderbilt and
                  Walter Truszkowski and
                  James L. Rash and
                  Michael G. Hinchey},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen and
                  Anna Philippou and
                  Manfred Reitenspie{\ss}},
  title        = {Formal Methods for Autonomic and Swarm-based Systems},
  booktitle    = {International Symposium on Leveraging Applications of Formal Methods,
                  ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
                  proceedings},
  series       = {Technical Report},
  volume       = {{TR-2004-6}},
  pages        = {100--102},
  publisher    = {Department of Computer Science, University of Cyprus},
  year         = {2004},
  timestamp    = {Thu, 11 Sep 2008 12:07:39 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/RouffVTRH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/RouffVHTR04,
  author       = {Christopher A. Rouff and
                  Amy Vanderbilt and
                  Michael G. Hinchey and
                  Walt Truszkowski and
                  James L. Rash},
  title        = {Properties of a Formal Method for Prediction of Emergent Behaviors
                  in Swarm-Based Systems},
  booktitle    = {2nd International Conference on Software Engineering and Formal Methods
                  {(SEFM} 2004), 28-30 September 2004, Beijing, China},
  pages        = {24--33},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.34},
  doi          = {10.1109/SEFM.2004.34},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/RouffVHTR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/CenzerV02,
  author       = {Douglas Cenzer and
                  Amy Vanderbilt},
  title        = {Common Derivations in Locally Determined Logic Programs},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\%7Eamai/aimath02/PAPERS/4.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/CenzerV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amai/CenzerRV00,
  author       = {Douglas A. Cenzer and
                  Jeffrey B. Remmel and
                  Amy Vanderbilt},
  title        = {Characterizing the Set of Extensions of a Nonmonotonic Rule System
                  with Levels},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2000, Fort Lauderdale, Florida, USA, January 5-7, 2000},
  year         = {2000},
  url          = {http://rutcor.rutgers.edu/\%7Eamai/aimath00/regular/cenzer\_et\_al-old.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amai/CenzerRV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/CenzerRV99,
  author       = {Douglas A. Cenzer and
                  Jeffrey B. Remmel and
                  Amy Vanderbilt},
  editor       = {Michael Gelfond and
                  Nicola Leone and
                  Gerald Pfeifer},
  title        = {Locally Determined Logic Programs},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
                  LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1730},
  pages        = {34--48},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-46767-X\_3},
  doi          = {10.1007/3-540-46767-X\_3},
  timestamp    = {Sun, 02 Oct 2022 16:11:19 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/CenzerRV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}