BibTeX records: Nancy J. Earle

download as .bib file

@inproceedings{DBLP:conf/wsc/EarleH95,
  author       = {Nancy J. Earle and
                  James O. Henriksen},
  editor       = {William R. Lilegdon and
                  David Goldsman and
                  Christos Alexopoulos and
                  Keebom Kang},
  title        = {The Power and Performance of Proof Animation},
  booktitle    = {Proceedings of the 27th conference on Winter simulation, {WSC} 1995,
                  Arlington, VA, USA, December 3-6, 1995},
  pages        = {494--501},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WSC.1995.478781},
  doi          = {10.1109/WSC.1995.478781},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wsc/EarleH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/EarleH94,
  author       = {Nancy J. Earle and
                  James O. Henriksen},
  editor       = {Deborah A. Sadowski and
                  Andrew F. Seila and
                  Mani S. Manivannan and
                  Jeffrey D. Tew},
  title        = {Proof animation: reaching new heights in animation},
  booktitle    = {Proceedings of the 26th conference on Winter simulation, {WSC} 1994,
                  Lake Buena Vista, FL, USA, December 11-14, 1994},
  pages        = {509--516},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1109/WSC.1994.717256},
  doi          = {10.1109/WSC.1994.717256},
  timestamp    = {Thu, 10 Jun 2021 22:20:12 +0200},
  biburl       = {https://dblp.org/rec/conf/wsc/EarleH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/EarleH93,
  author       = {Nancy J. Earle and
                  James O. Henriksen},
  editor       = {Gerald W. Evans and
                  Mansooreh Mollaghasemi and
                  Edward C. Russell and
                  William E. Biles},
  title        = {{PROOF} animation: better animation for your simulation},
  booktitle    = {Proceedings of the 25th Winter Simulation Conference, Los Angeles,
                  California, USA, December 12-15, 1993},
  pages        = {172--178},
  publisher    = {{ACM} Press},
  year         = {1993},
  url          = {https://doi.org/10.1145/256563.256617},
  doi          = {10.1145/256563.256617},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wsc/EarleH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/HenriksenE92,
  author       = {James O. Henriksen and
                  Nancy J. Earle},
  editor       = {Robert C. Crain},
  title        = {Proof animation: the general purpose animator},
  booktitle    = {Proceedings of the 24th Winter Simulation Conference, Arlington, VA,
                  USA, December 13-16, 1992},
  pages        = {366--370},
  publisher    = {{ACM} Press},
  year         = {1992},
  url          = {https://doi.org/10.1145/167293.167378},
  doi          = {10.1145/167293.167378},
  timestamp    = {Thu, 10 Jun 2021 22:17:49 +0200},
  biburl       = {https://dblp.org/rec/conf/wsc/HenriksenE92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/BrunnerEH91,
  author       = {Daniel T. Brunner and
                  Nancy J. Earle and
                  James O. Henriksen},
  editor       = {Barry L. Nelson and
                  W. David Kelton and
                  Gordon M. Clark},
  title        = {Proof animation: the general purpose animator},
  booktitle    = {Proceedings of the 23th Winter Simulation Conference, Phoenix, Arizona,
                  USA, December 8-11, 1991},
  pages        = {90--94},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/WSC.1991.185598},
  doi          = {10.1109/WSC.1991.185598},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wsc/BrunnerEH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/EarleBH90,
  author       = {Nancy J. Earle and
                  Daniel T. Brunner and
                  James O. Henriksen},
  editor       = {Osman Balci},
  title        = {Proof: the general purpose animator},
  booktitle    = {Proceedings of the 22th Winter Simulation Conference, New Orleans,
                  Louisiana, USA, December 9-12, 1990},
  pages        = {106--108},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/WSC.1990.129495},
  doi          = {10.1109/WSC.1990.129495},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wsc/EarleBH90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics