games.bib

% -*- Mode: BibTeX -*-
% games.bib
% References for games, including (at the end) combinatorial game theory.





@Article{Ipeirotis2010,
 author= {Ipeirotis, Panagiotis G.},
 title = {Analyzing the Amazon Mechanical Turk marketplace},
 journal = {XRDS: Crossroads, The ACM Magazine for Students},
 year = {2010},
 issn = {1528-4972},
 volume = {17},
 number = {2},
 issue_date = {Winter 2010},
}

@MISC{utest:website,
      KEY = "uTest",
      TITLE = "uTest: Software Testing",
      MONTH = dec,
      YEAR = 2010,
      NOTE = "\url{http://www.utest.com}"
}
@MISC{vworker:website,
      KEY = "vWorker",
      TITLE= "vWorker.com:  More capable, accountable and affordable. Guaranteed.",
      MONTH = dec,
      YEAR = 2010,
      NOTE = "\url{http://www.vworker.com}"
}



@inproceedings{Dai2010,
	author = {Peng Dai and Mausam and Daniel Weld},
	title = {Decision-Theoretic Control of Crowd-Sourced Workflows},
	booktitle = {AAAI Conference on Artificial Intelligence},
	year = {2010},
	url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1873}
}

@inproceedings{Little2009,
 author = {Little, Greg and Chilton, Lydia B. and Goldman, Max and Miller, Robert C.},
 title = {TurKit: tools for iterative tasks on mechanical Turk},
 booktitle = {Proceedings of the ACM SIGKDD Workshop on Human Computation},
 series = {HCOMP '09},
 year = {2009},
 isbn = {978-1-60558-672-4},
 address  = {Paris, France},
 pages = {29--30},
 numpages = {2},
 url = {https://doi.acm.org/10.1145/1600150.1600159},
 doi = {https://doi.acm.org/10.1145/1600150.1600159},
 acmid = {1600159},
 keywords = {human computation, mechanical Turk, toolkit},
}

@inproceedings{Bernstein2010,
 author = {Bernstein, Michael S. and Little, Greg and Miller, Robert C. and Hartmann, Bj\"{o}rn and Ackerman, Mark S. and Karger, David R. and Crowell, David and Panovich, Katrina},
 title = {Soylent: a word processor with a crowd inside},
 booktitle = {Proceedings of the 23nd annual ACM symposium on User interface software and technology},
 series = {UIST '10},
 year = {2010},
 isbn = {978-1-4503-0271-5},
 address  = {New York, New York, USA},
 pages = {313--322},
 numpages = {10},
 url = {https://doi.acm.org/10.1145/1866029.1866078},
 doi = {https://doi.acm.org/10.1145/1866029.1866078},
 acmid = {1866078},
 keywords = {crowdsourcing, mechanical turk, outsourcing},
}


@inproceedings{Stolee2010,
 author = {Stolee, Kathryn T. and Elbaum, Sebastian},
 title = {Exploring the use of crowdsourcing to support empirical studies in software engineering},
 booktitle = {Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement},
 series = {ESEM '10},
 year = {2010},
 isbn = {978-1-4503-0039-1},
 address  = {Bolzano-Bozen, Italy},
 pages = {35:1--35:4},
 articleno = {35},
 numpages = {4},
 url = {https://doi.acm.org/10.1145/1852786.1852832},
 doi = {https://doi.acm.org/10.1145/1852786.1852832},
 acmid = {1852832},
 keywords = {crowdsourcing, empirical studies},
}

@phdthesis{Brun08PhD,
  author = {Yuriy Brun},
  title = {Self-Assembly for Discreet, Fault-Tolerant, and Scalable Computation on Internet-Sized Distributed Networks},
  school = {University of Southern California},
  year = {2008},
  url = {http://proquest.umi.com/pqdlink?did=1564036421&Fmt=7&clientI d=79356&RQT=309&VName=PQD}
}

@article{Cooper10,
    author = {Cooper, Seth and Khatib, Firas and Treuille, Adrien and Barbero, Janos and Lee, Jeehyung and Beenen, Michael and Leaver-Fay, Andrew and Baker, David and Popovic, Zoran and Foldit~players},
    day = {05},
    doi = {10.1038/nature09304},
    issn = {0028-0836},
    journal = {Nature},
    month = {August},
    number = {7307},
    pages = {756--760},
    posted-at = {2010-08-06 19:39:55},
    priority = {2},
    publisher = {Nature Publishing Group},
    title = {Predicting protein structures with a multiplayer online game},
    url = {http://dx.doi.org/10.1038/nature09304},
    volume = {466},
    year = {2010}
}



@phdthesis{SolarLezamaThesis,
    Author = {Solar Lezama, Armando},
    Title = {Program Synthesis By Sketching},
    School = {EECS Department, University of California, Berkeley},
    Year = {2008},
    Month = {Dec},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-177.html},
    Number = {UCB/EECS-2008-177},
}

@MISC{escwarnings,
      TITLE = "{ESC/Java2} Warnings",
      AUTHOR = {D. Cok and J. Kiniry and E. Poll},
      MONTH = sep,
      YEAR = 2010,
      NOTE = "\url{http://secure.ucd.ie/products/opensource/ESCJava2/ESCTools/slides/ETAPSTutorial/3_warnings.pdf}",
}

@MISC{bls:website,
      AUTHOR = "{U.S. Bureau of Labor Statistics}",
      TITLE = "Computer Software Engineers, Applications",
      MONTH = may,
      YEAR = 2010,
      NOTE = "\url{http://www.bls.gov/oes/current/oes151031.htm}"
}


@MISC{mturk:website,
      KEY = "Amazon Mechanical Turk",
      TITLE = "Amazon {Mechanical} {Turk}",
      MONTH = may,
      YEAR = 2010,
      NOTE = "\url{https://www.mturk.com/}"
}

@MISC{ec2:website,
      KEY = "Amazon EC2 Pricing",
      TITLE = "Amazon {EC2} Pricing",
      MONTH = jun,
      YEAR = 2010,
      NOTE = "\url{http://aws.amazon.com/ec2/pricing/}"
}

@MISC{foldit:website,
      KEY = "Foldit",
      TITLE = "Foldit",
      MONTH = may,
      YEAR = 2010,
      NOTE = "\url{http://fold.it/}"
}

@book{Boehm81,
 author = {Boehm, Barry W.},
 title = {Software Engineering Economics},
 year = {1981},
 isbn = {0138221227},
 publisher = {Prentice Hall PTR},
 address = {Upper Saddle River, NJ, USA},
 }


@INPROCEEDINGS{Schechter02,
    author = {Stuart Schechter},
    title = {How to Buy Better Testing:  Using competition to get the most security and robustness for your dollar},
    booktitle = {Infrastructure Security Conference},
    address = {Bristol, UK},
    month = oct,
    year = 2002,
    pages = {73--87},
    publisher = {Springer}
}


@InProceedings{vonAhnD2004,
  author = 	 "von Ahn, Luis and Dabbish, Laura",
  title = 	 "Labeling images with a computer game",
  crossref =     "CHI2004",
  pages = 	 "319--326",
}




@Article{vonAhnMMAB2008,
  author = 	 "von Ahn, Luis and Maurer, Benjamin and McMillen, Colin and Abraham, David and Blum, Manuel",
  title = 	 "{reCAPTCHA}: Human-based character recognition via web security measures",
  journal = 	 "Science",
  year = 	 2008,
  volume = 	 321,
  number = 	 5895,
  pages = 	 "1465--1468",
  month = 	 sep,
  doi = {10.1126/science.1160379},
  URL = {http://www.sciencemag.org/cgi/content/abstract/321/5895/1465},
  eprint = {http://www.sciencemag.org/cgi/reprint/321/5895/1465.pdf}
}





@InProceedings{ToomimKPL2011,
  author = 	 "Michael Toomim and Travis Kriplean and Claus P{\"o}rtner and James A. Landay",
  title = 	 "Utility of human-computer interactions:  Toward a science of preference management",
  crossref =     "CHI2011",
  NEEDpages = 	 "*",
  abstract =
   "The success of a computer system depends upon a user \emph{choosing} it,
    but the field of Human-Computer Interaction has little ability to predict
    this user choice. We present a new method that measures user choice, and
    quantifies it as a measure of \emph{utility}. Our method has two core
    features.  First, it introduces an economic definition of utility, one that
    we can operationalize through economic experiments.  Second, we employ a
    novel method of crowdsourcing that enables the collection of thousands of
    economic judgments from real users.",
}


@inproceedings{QuintaoPereira:2008:RAP:1375581.1375609,
 author = {Quint\~{a}o Pereira, Fernando Magno and Palsberg, Jens},
 title = {Register allocation by puzzle solving},
 booktitle = {Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation},
 series = {PLDI '08},
 year = {2008},
 isbn = {978-1-59593-860-2},
 address  = {Tucson, AZ, USA},
 pages = {216--226},
 numpages = {11},
 url = {https://doi.acm.org/10.1145/1375581.1375609},
 doi = {https://doi.acm.org/10.1145/1375581.1375609},
 acmid = {1375609},
 keywords = {puzzle solving, register aliasing, register allocation},
}



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Games for computer science problems
%%%

@inproceedings{Sheth:2011:HSE:1984674.1984685,
author = {Sheth, Swapneel and Bell, Jonathan and Kaiser, Gail},
title = {{HALO (Highly Addictive, sociaLly Optimized) Software Engineering}},
booktitle = {Proceeding of the 1st international workshop on Games and software engineering},
series = {GAS '11},
year = {2011},
isbn = {978-1-4503-0578-5},
address  = {Waikiki, Honolulu, HI, USA},
pages = {29-32},
numpages = {4},
url = {https://doi.acm.org/10.1145/1984674.1984685},
doi = {https://doi.acm.org/10.1145/1984674.1984685},
acmid = {1984685},
keywords = {flow, games, mmorpg, operant conditioning, quests, social rewards, web 2.0},
}
%














@MastersThesis{Irini2016,
  author = 	 "Karamitrou Irini",
  title = 	 "A crowdsourcing game for formal software verification",
  school = 	 "University of Thessaly Polytechnic School Department of Electrical and Computer Engineering",
  year = 	 2016,
  type = 	 "Bachelor's thesis",
  address = 	 "Thessaly, Greece",
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Combitatorial game theory
%%%

@Book{BerlekampCG82,
  author = 	"Elwyn R. Berlekamp and John H. Conway and Richard K. Guy",
  title = 	"Winning Ways for Your Mathematical Plays",
  publisher = 	"Academic Press",
  year = 	"1982",
  address = 	"London",
  notes =	"Two volumes"
}

@Book{Conway76,
  author = 	"John H. Conway",
  title = 	"On Numbers and Games",
  publisher = 	"Academic Press",
  year = 	"1976"
}


@Book{Knuth74,
  author = 	 "Donald E. Knuth",
  title = 	 "Surreal Numbers:  How Two Students Turned On To Pure
                  Mathematics And Found Total Happiness:  A Mathematical
                  Novelette",
  publisher = 	 "Addison-Wesley",
  year = 	 1974,
  address =	 "Reading, Massachusetts"
}


@Article{Wolfe95,
  author = 	 "David Wolfe",
  title = 	 "Undergraduate research opportunities in combinatorial games",
  journal = 	 "Journal of Undergraduate Mathematics and its Applications",
  year = 	 1995,
  volume =	 16,
  number =	 1,
  OPTpages = 	 "",
}


@Misc{GamesmansToolbox,
  author =	 "David Wolfe",
  title =	 "Gamesman's Toolkit (C computer program with source)",
  howpublished = "Available by sending e-mail to {\tt wolfe@cs.berkeley.edu}
		  		     or {\tt mernst@lcs.mit.edu}",
  note =	 "Extended by Michael Ernst to handle Ancient and Modern Konane"
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% AMS short course
%%%


@Proceedings{Guy91e,
  title = 	 "Combinatorial Games",
  year = 	 1991,
  editor =	 "Richard K. Guy",
  volume =	 43,
  series =	 "Proceedings of Symposia in Applied Mathematics",
  publisher =	 "American Mathematical Society",
  address =	 "Providence, Rhode Island",
  note =	 "AMS Short Course held August 6--7, 1990 in Columbus, Ohio."
}

@InProceedings{Guy91a,
  booktitle = 	 "Combinatorial Games",
  author = 	 "Richard K. Guy",
  title = 	 "What is a Game?",
  crossref =	 "Guy91e",
  pages =	 "1--21"
}

@InProceedings{Conway91:numandgames,
  author = 	 "John Horton Conway",
  title = 	 "Numbers and Games",
  crossref =	 "Guy91e",
  pages =	 "23--34"
}

@InProceedings{Guy91:impartial,
  booktitle = 	 "Combinatorial Games",
  author = 	 "Richard K. Guy",
  title = 	 "Impartial Games",
  crossref =	 "Guy91e",
  pages =	 "35--55"
}

@InProceedings{Conway91:combining,
  author = 	 "John Horton Conway",
  title = 	 "More Ways of Combining Games",
  crossref =	 "Guy91e",
  pages =	 "57--71"
}

@InProceedings{Berlekamp91,
  author = 	 "Elwyn Berlekamp",
  title = 	 "Introductory Overview of Mathematical Go Endgames",
  crossref =	 "Guy91e",
  pages =	 "73--100"
}

@InProceedings{Pless91,
  author = 	 "Vera Pless",
  title = 	 "Games and Codes",
  crossref =	 "Guy91e",
  pages =	 "101--110"
}

@InProceedings{Fraenkel91a,
  author = 	 "Aviezri S. Fraenkel",
  title = 	 "Complexity of Games",
  crossref =	 "Guy91e",
  pages =	 "111--153"
}

@InProceedings{Nowakowski91,
  author = 	 "Richard J. Nowakowski",
  title = 	 "\ldots, Welter's Game, Sylver Coinage, Dots-and-Boxes, \ldots",
  crossref =	 "Guy91e",
  pages =	 "155--182"
}

@InProceedings{Gyy91c,
  booktitle = 	 "Combinatorial Games",
  author = 	 "Richard K. Guy",
  title = 	 "Unsolved Problems in Combinatorial Games",
  crossref =	 "Guy91e",
  pages =	 "183--189"
}

@InProceedings{Fraenkel91:bib,
  author = 	 "Aviezri S. Fraenkel",
  title = 	 "Selected Bibliography on Combinatorial Games and Some
                  Related Materials",
  crossref =	 "Guy91e",
  pages =	 "191--226"
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Specific games
%%%

@Article{Berlekamp88:blockbusting,
  author = 	 {Elwyn R. Berlekamp},
  title = 	 {Blockbusting and Domineering},
  journal = 	 {Journal of Combinatorial Theory, Series A},
  year = 	 1988,
  volume =	 49,
  number =	 1,
  month =	 Sep,
  pages =	 {67--116}
}

@Book{BerlekampW94,
  author = 	 {Elwyn Berlekamp and David Wolfe},
  title = 	 {Mathematical {Go} endgames:  Nightmares for the
  		  professional {Go} player},
  publisher = 	 {Ishi Press International},
  year = 	 1994,
  address =	 {San Jose, CA}
}


%%%
%%% Dots-and-Boxes
%%%


@InProceedings{Berlekamp88:twoperson,
  author = 	 "Elwyn Berlekamp",
  title = 	 "Two-person, perfect-information games.",
  booktitle = 	 "The legacy of John von Neumann",
  series =	 "Proc. Sympos. Pure Math",
  year =	 1988,
  address =	 "Hempstead, NY",
  pages =	 "275--287"
}