@book{elo,
  title={The rating of chessplayers, past and present},
  author={Elo, A.E.},
  isbn={9780668047210},
  lccn={78024077},
  url={http://books.google.com/books?id=8pMnAQAAMAAJ},
  year={1978},
  publisher={Arco Pub.}
}

@article{axiomaticApproachToRanking,
year={2014},
issn={0176-1714},
journal={Social Choice and Welfare},
volume={42},
number={1},
doi={10.1007/s00355-013-0726-2},
title={Paired comparisons analysis: an axiomatic approach to ranking methods},
url={http://dx.doi.org/10.1007/s00355-013-0726-2},
publisher={Springer Berlin Heidelberg},
author={GonzÃ¡lez-DÃ­az, Julio and Hendrickx, Ruud and Lohmann, Edwin},
pages={139-169},
language={English}
}

@book{whosnumber1,
  title={Who's \#1?: The Science of Rating and Ranking},
  author={Langville, A.N. and Meyer, C.D.},
  isbn={9781400841677},
  url={http://books.google.com/books?id=1-QtJGA1-f0C},
  year={2012},
  publisher={Princeton University Press}
}

@book{MathematicsOfGames,
  title={The Mathematics of Games},
  author={Beasley, J.D.},
  isbn={9780486449760},
  lccn={88032453},
  series={Dover books on mathematics},
  url={http://books.google.com/books?id=e61XAAAACAAJ},
  year={2006},
  publisher={Dover Publications, Incorporated}
}
  
  @article{axiomaticFoundations,
 author = {Altman, Alon and Tennenholtz, Moshe},
 title = {Axiomatic Foundations for Ranking Systems},
 journal = {J. Artif. Int. Res.},
 issue_date = {January 2008},
 volume = {31},
 number = {1},
 month = mar,
 year = {2008},
 issn = {1076-9757},
 pages = {473--495},
 numpages = {23},
 url = {http://dl.acm.org/citation.cfm?id=1622655.1622669},
 acmid = {1622669},
 publisher = {AI Access Foundation},
 address = {USA},
} 
    
    @article{StableMarriage,
     title = {College Admissions and the Stability of Marriage},
     author = {Gale, D. and Shapley, L. S.},
     journal = {The American Mathematical Monthly},
     volume = {69},
     number = {1},
     pages = {pp. 9-15},
     url = {http://www.jstor.org/stable/2312726},
     ISSN = {00029890},
     language = {English},
     year = {1962},
     publisher = {Mathematical Association of America},
     copyright = {Copyright © 1962 Mathematical Association of America},
    }



@article{FoldItAIDS,
 title = {Crystal structure of a monomeric retroviral protease solved by protein folding game players},
 author = {Khatib, Firas and DiMaio, Frank and Cooper, Seth and Kazmierczyk, Maciej and Gilski, Miroslaw and Krzywda, Szymon and Zabranska, Helena and Pichova, Iva and Thompson, James and Popovi€à, Zoran and Jaskolski, Mariusz and Baker, David},
 journal = {Nature Structural and Molecular Biology},
 volume = {18},
 number = {10},
 pages = {pp. 1175-1177},
 url = {http://dx.doi.org/10.1038/nsmb.2119},
 language = {English},
 year = {2011},
 publisher = {Nature Publishing Group, a division of Macmillan Publishers Limited},
}

@article{PrizeBased,
 title = {Prize-based contests can provide solutions to computational biology problems},
 author = {Lakhani, Karim R and Boudreau, Kevin J and Loh, Po-Ru and Backstrom, Lars and Baldwin, Carliss and Lonstein, Eric and Lydon, Mike and MacCormack, Alan and Arnaout, Ramy A and Guinan, Eva C},
 journal = {Nature Biotechnology},
 volume = {31},
 number = {2},
 pages = {pp. 108-111},
 url = {http://dx.doi.org/10.1038/nbt.2495},
 language = {English},
 year = {2013},
 publisher = {Nature Publishing Group, a division of Macmillan Publishers Limited},
}

@misc{COASTE,
  title = "{Center on Architecting Socio-Technical Ecosystems}",
  howpublished = "Website",
  note = {http://www.coaste.org/},
}

@article{KOSchwenk,
 jstor_articletype = {research-article},
 title = {What is the Correct Way to Seed a Knockout Tournament?},
 author = {Schwenk, Allen J.},
 journal = {The American Mathematical Monthly},
 volume = {107},
 number = {2},
 jstor_formatteddate = {Feb., 2000},
 pages = {pp. 140-150},
 url = {http://www.jstor.org/stable/2589435},
 ISSN = {00029890},
 language = {English},
 year = {2000},
 publisher = {Mathematical Association of America},
 copyright = {Copyright © 2000 Mathematical Association of America},
}


@article{KOHwang,
 jstor_articletype = {research-article},
 title = {New Concepts in Seeding Knockout Tournaments},
 author = {Hwang, F. K.},
 journal = {The American Mathematical Monthly},
 volume = {89},
 number = {4},
 jstor_formatteddate = {Apr., 1982},
 pages = {pp. 235-239},
 url = {http://www.jstor.org/stable/2320220},
 ISSN = {00029890},
 language = {English},
 year = {1982},
 publisher = {Mathematical Association of America},
 copyright = {Copyright © 1982 Mathematical Association of America},
}


@article{KOLocallyOptimal, 
title = "Bayesian locally optimal design of knockout tournaments ",
journal = "Journal of Statistical Planning and Inference ",
volume = "138",
number = "7",
pages = "2117 - 2127",
year = "2008",
issn = "0378-3758",
doi = "http://dx.doi.org/10.1016/j.jspi.2007.09.007",
url = "http://www.sciencedirect.com/science/article/pii/S0378375807003655",
author = "Mark E. Glickman",
}


@article{SportsScheduling,
title = "Scheduling in sports: An annotated bibliography ",
journal = "Computers & Operations Research ",
volume = "37",
number = "1",
pages = "1 - 19",
year = "2010",
issn = "0305-0548",
doi = "http://dx.doi.org/10.1016/j.cor.2009.05.013",
url = "http://www.sciencedirect.com/science/article/pii/S0305054809001543",
author = "Graham Kendall and Sigrid Knust and Celso C. Ribeiro and SebastiÃ¡n Urrutia",
}

@article{Rubinstein1980,
     title = {Ranking the Participants in a Tournament},
     author = {Rubinstein, Ariel},
     journal = {SIAM Journal on Applied Mathematics},
     volume = {38},
     number = {1},
     jstor_formatteddate = {Feb., 1980},
     pages = {pp. 108-111},
     url = {http://www.jstor.org/stable/2100804},
     ISSN = {00361399},
     abstract = {A tournament is a finite set whose elements are called players, together with a binary relation called beating which is complete and asymmetric. A ranking of the players is an order-relation on the set of players. A ranking method is a function from the set of tournaments to the set of possible rankings. The ranking method commonly known as the "points system" is characterized by a set of axioms.},
     language = {English},
     year = {1980},
     publisher = {Society for Industrial and Applied Mathematics},
     copyright = {Copyright © 1980 Society for Industrial and Applied Mathematics},
    }

@article{bradley1952rank,
  title={Rank analysis of incomplete block designs: I. The method of paired comparisons},
  author={Bradley, Ralph Allan and Terry, Milton E},
  journal={Biometrika},
  volume={39},
  number={3/4},
  pages={324--345},
  year={1952},
  publisher={JSTOR}
}

@article{thurstone1927law,
  title={A law of comparative judgment.},
  author={Thurstone, Louis L},
  journal={Psychological review},
  volume={34},
  number={4},
  pages={273},
  year={1927},
  publisher={Psychological Review Company}
}
@phdthesis{KOTournamentDesign,
 author = {Thuc Duy Vu},
   title = {Knockout Tournament Design: A Computational Approach},
    year = {2010},
    school = {Stanford University, Department of Computer Science},
    url= {https://stacks.stanford.edu/file/druid:qk299yx6689/TV-thesis-final-augmented.pdf},
	}

@article{Glickman20082117,
title = "Bayesian locally optimal design of knockout tournaments ",
journal = "Journal of Statistical Planning and Inference ",
volume = "138",
number = "7",
pages = "2117 - 2127",
year = "2008",
issn = "0378-3758",
doi = "http://dx.doi.org/10.1016/j.jspi.2007.09.007",
url = "http://www.sciencedirect.com/science/article/pii/S0378375807003655",
author = "Mark E. Glickman",
}


@article{KOTournamentHwang,
 jstor_articletype = {research-article},
 title = {New Concepts in Seeding Knockout Tournaments},
 author = {Hwang, F. K.},
 journal = {The American Mathematical Monthly},
 volume = {89},
 number = {4},
 jstor_formatteddate = {Apr., 1982},
 pages = {pp. 235-239},
 url = {http://www.jstor.org/stable/2320220},
 ISSN = {00029890},
 language = {English},
 year = {1982},
 publisher = {Mathematical Association of America},
 copyright = {Copyright © 1982 Mathematical Association of America},
}

@article{KOTournamentShwenk,
 jstor_articletype = {research-article},
 title = {What is the Correct Way to Seed a Knockout Tournament?},
 author = {Schwenk, Allen J.},
 journal = {The American Mathematical Monthly},
 volume = {107},
 number = {2},
 jstor_formatteddate = {Feb., 2000},
 pages = {pp. 140-150},
 url = {http://www.jstor.org/stable/2589435},
 ISSN = {00029890},
 language = {English},
 year = {2000},
 publisher = {Mathematical Association of America},
 copyright = {Copyright © 2000 Mathematical Association of America},
}

@misc{projectEuler,
  title = "{Project Euler}",
  howpublished = "Website",
  note = {http://projecteuler.net/},
}

@misc{SATCompotition,
  title = "{The international SAT Competitions}",
  howpublished = "Website",
  note = {http://www.satcompetition.org/}},
}

@book{JAVA,
 author = {Gosling, James and Joy, Bill and Steele, Guy and Bracha, Gilad},
 title = {Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))},
 year = {2005},
 isbn = {0321246780},
 publisher = {Addison-Wesley Professional},
} 


@misc{Tartaglia,
  title = "{Biography of Nicolo Tartaglia}",
  howpublished = "Website",
  note = {http://www-history.mcs.st-and.ac.uk/Biographies/Tartaglia.html},
}

@misc{fsWikpedia,
  author="Ahmed Abdelmeged and Karl Lieberherr",
  title = "{The Formal Science Wikipedia}",
  howpublished = "Website",
  year = {2013},
  note = {http://www.fswikipedia.net/},
}




@phdthesis{LearningInGamesInClassicalArithmetic,
 author = {Federico Aschieri},
   title = {Learning, Realizability and Games in Classical Arithmetic},
    year = {2011},
    school = {Universit`a degli Studi di Torino Dipartimento di Informatica and Queen Mary, University of London School of Electronic Engineering and Computer Science},
    url= {http://arxiv.org/abs/1012.4992},
	}

@incollection{DialogAndSemanticGames,
year={2009},
isbn={978-1-4020-9373-9},
booktitle={Games: Unifying Logic, Language, and Philosophy},
volume={15},
series={Logic, Epistemology, and the Unity of Science},
editor={Majer, Ondrej and Pietarinen, Ahti-Veikko and Tulenheimo, Tero},
doi={10.1007/978-1-4020-9374-6_8},
title={From Games to Dialogues and Back},
url={http://dx.doi.org/10.1007/978-1-4020-9374-6_8},
publisher={Springer Netherlands},
author={Rahman, Shahid and Tulenheimo, Tero},
pages={153-208}
}

@book{stirling2001modal,
  title={Modal and Temporal Properties of Processes},
  author={Stirling, C.},
  isbn={9780387987170},
  lccn={lc00067924},
  series={Texts in Computer Science},
  url={http://books.google.com/books?id=URc5cS-N7nQC},
  year={2001},
  publisher={Springer}
}

@MISC{Gradel02modelchecking,
    author = {Erich Gr\"{a}del},
    title = {Model Checking Games},
    year = {2002}
}

@article{SGsWithRetractableMoves,
     title = {A Semantics of Evidence for Classical Arithmetic},
     author = {Coquand, Thierry},
     journal = {The Journal of Symbolic Logic},
     volume = {60},
     number = {1},
     jstor_formatteddate = {Mar., 1995},
     pages = {pp. 325-337},
     url = {http://www.jstor.org/stable/2275524},
     ISSN = {00224812},
     language = {English},
     year = {1995},
     publisher = {Association for Symbolic Logic},
     copyright = {Copyright © 1995 Association for Symbolic Logic},
    }


@unpublished{LevelingThePlayingField,
author = "Thomas H. Quinn",
title = "Level the Playing Field: Nullifying First-Move Advantage in Chess",
type = "BachelorÕs Thesis",
school = "Computer Science Department, University of Massachusetts, Amherst, MA",
month = "may",
year = "2011",
note = {http://cargocollective.com/tomquinn/Level-the-Playing-Field-Nullifying-First-Move-Advantage-in-Chess},
}

@TECHREPORT{predictivepower,
title = {Three Prominent Tournament Formats: Predictive Power and Costs},
author = {Ryvkin, Dmitry and Ortmann, Andreas},
year = {2006},
institution = {The Center for Economic Research and Graduate Education - Economic Institute, Prague},
type = {CERGE-EI Working Papers},
abstract = {We analyze tournaments of heterogeneous players from an organizerÕs perspective. Using a simple model of a noisy tournament, we demonstrate how the likelihood of selecting the best player, here termed the Òpredictive powerÓ of a tournament, depends on the tournament format, the distribution of playersÕ types, and the overall noise level. We formalize the organizerÕs decision problem for varying time and measurement costs and compare the predictive power of three widely used tournament formats Ð contests, binary elimination tournaments, and round-robin tournaments. We show which formats are preferred in the various scenarios and find that for certain parameter constellations, certain formats are not viable.},
keywords = {Tournaments; Design; Predictive power},
url = {http://papers.ssrn.com/sol3/papers.cfm?abstract_id=1132408}
}


@misc{LearningToLoseToWin,
author="Dan Cohen",
title="Learning to Lose to Learn: A Funny Thing About Arguments:  at ",
howpublished="TEDxColbyCollege",
year={2013},
note = {http://www.youtube.com/watch?v=-5-QZugvy0g},
}

@article{WeightedMajorityAlgorithm,
 author = {Littlestone, Nick and Warmuth, Manfred K.},
 title = {The weighted majority algorithm},
 journal = {Inf. Comput.},
 issue_date = {Feb. 1, 1994},
 volume = {108},
 number = {2},
 month = feb,
 year = {1994},
 issn = {0890-5401},
 pages = {212--261},
 numpages = {50},
 url = {http://dx.doi.org/10.1006/inco.1994.1009},
 doi = {10.1006/inco.1994.1009},
 acmid = {184040},
 publisher = {Academic Press, Inc.},
 address = {Duluth, MN, USA},
} 

 @inproceedings{Kittur:2008:CUS:1357054.1357127,
 author = {Kittur, Aniket and Chi, Ed H. and Suh, Bongwon},
  title = {Crowdsourcing user studies with Mechanical Turk},
   booktitle = {Proceedings of the SIGCHI Conference on Human Factors in Computing Systems},
    series = {CHI '08},
     year = {2008},
      isbn = {978-1-60558-011-1},
       location = {Florence, Italy},
        pages = {453--456},
         numpages = {4},
          url = {http://doi.acm.org/10.1145/1357054.1357127},
           doi = {10.1145/1357054.1357127},
            acmid = {1357127},
             publisher = {ACM},
              address = {New York, NY, USA},
               keywords = {Mechanical Turk, Wikipedia, micro task, remote user study},
               }

@inproceedings{Berardi:2007:SIA:1770203.1770207,
 author = {Berardi, Stefano},
  title = {Semantics for intuitionistic arithmetic based on Tarski games with retractable moves},
   booktitle = {Proceedings of the 8th international conference on Typed lambda calculi and applications},
    series = {TLCA'07},
     year = {2007},
      isbn = {978-3-540-73227-3},
       location = {Paris, France},
        pages = {23--38},
         numpages = {16},
          url = {http://dl.acm.org/citation.cfm?id=1770203.1770207},
           acmid = {1770207},
            publisher = {Springer-Verlag},
             address = {Berlin, Heidelberg},
             }

@inproceedings{Kittur:2013:FCW:2441776.2441923,
 author = {Kittur, Aniket and Nickerson, Jeffrey V. and Bernstein, Michael and Gerber, Elizabeth and Shaw, Aaron and Zimmerman, John and Lease, Matt and Horton, John},
  title = {The future of crowd work},
   booktitle = {Proceedings of the 2013 conference on Computer supported cooperative work},
    series = {CSCW '13},
     year = {2013},
      isbn = {978-1-4503-1331-5},
       location = {San Antonio, Texas, USA},
        pages = {1301--1318},
         numpages = {18},
          url = {http://doi.acm.org/10.1145/2441776.2441923},
           doi = {10.1145/2441776.2441923},
            acmid = {2441923},
             publisher = {ACM},
              address = {New York, NY, USA},
               keywords = {crowd work, crowdsourcing, organization design, research vision},
               }
@inproceedings{Kamar:2012:CHM:2343576.2343643,
 author = {Kamar, Ece and Hacker, Severin and Horvitz, Eric},
  title = {Combining human and machine intelligence in large-scale crowdsourcing},
   booktitle = {Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1},
    series = {AAMAS '12},
     year = {2012},
      isbn = {0-9817381-1-7, 978-0-9817381-1-6},
       location = {Valencia, Spain},
        pages = {467--474},
         numpages = {8},
          url = {http://dl.acm.org/citation.cfm?id=2343576.2343643},
           acmid = {2343643},
            publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
             address = {Richland, SC},
              keywords = {complementary computing, consensus tasks, crowdsourcing, decision-theoretic reasoning},
              }

@article{doi:10.2200/S00433ED1V01Y201207DMK005,
author = {Sun, Yizhou and Han, Jiawei},
title = {Mining Heterogeneous Information Networks: Principles and Methodologies},
journal = {Synthesis Lectures on Data Mining and Knowledge Discovery},
volume = {3},
number = {2},
pages = {1-159},
year = {2012},
doi = {10.2200/S00433ED1V01Y201207DMK005},

URL = {http://www.morganclaypool.com/doi/abs/10.2200/S00433ED1V01Y201207DMK005},
eprint = {http://www.morganclaypool.com/doi/pdf/10.2200/S00433ED1V01Y201207DMK005}
}

@inproceedings{Kittur:2013:FCW:2441776.2441923,
 author = {Kittur, Aniket and Nickerson, Jeffrey V. and Bernstein, Michael and Gerber, Elizabeth and Shaw, Aaron and Zimmerman, John and Lease, Matt and Horton, John},
  title = {The future of crowd work},
   booktitle = {Proceedings of the 2013 conference on Computer supported cooperative work},
    series = {CSCW '13},
     year = {2013},
      isbn = {978-1-4503-1331-5},
       location = {San Antonio, Texas, USA},
        pages = {1301--1318},
	 numpages = {18},
	  url = {http://doi.acm.org/10.1145/2441776.2441923},
	   doi = {10.1145/2441776.2441923},
	    acmid = {2441923},
	     publisher = {ACM},
	      address = {New York, NY, USA},
	       keywords = {crowd work, crowdsourcing, organization design, research vision},
	       } 
@inproceedings{Kamar:2012:CHM:2343576.2343643,
 author = {Kamar, Ece and Hacker, Severin and Horvitz, Eric},
  title = {Combining human and machine intelligence in large-scale crowdsourcing},
   booktitle = {Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1},
    series = {AAMAS '12},
     year = {2012},
      isbn = {0-9817381-1-7, 978-0-9817381-1-6},
       location = {Valencia, Spain},
        pages = {467--474},
	 numpages = {8},
	  url = {http://dl.acm.org/citation.cfm?id=2343576.2343643},
	   acmid = {2343643},
	    publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
	     address = {Richland, SC},
	      keywords = {complementary computing, consensus tasks, crowdsourcing, decision-theoretic reasoning},
	      } 

@article{doi:10.2200/S00433ED1V01Y201207DMK005,
author = {Sun, Yizhou and Han, Jiawei},
title = {Mining Heterogeneous Information Networks: Principles and Methodologies},
journal = {Synthesis Lectures on Data Mining and Knowledge Discovery},
volume = {3},
number = {2},
pages = {1-159},
year = {2012},
doi = {10.2200/S00433ED1V01Y201207DMK005},

URL = {http://www.morganclaypool.com/doi/abs/10.2200/S00433ED1V01Y201207DMK005},
eprint = {http://www.morganclaypool.com/doi/pdf/10.2200/S00433ED1V01Y201207DMK005}
}

@misc{AllScienceIsCS,
author="George Johnson",
title="The World: In Silica Fertilization; All Science Is Computer Science",
howpublished="The New York Times",
year={2001},
note = {http://www.nytimes.com/2001/03/25/weekinreview/the-world-in-silica-fertilization-all-science-is-computer-science.html},
}

@misc{SOLEs,
author="Richard Galant",
title="What if students learn faster without teachers?",
howpublished="The New York Times",
year={2001},
note = {http://www.cnn.com/2013/02/27/opinion/ted-prize-students-teach-themselves},
}

@techreport{EvalutingCrowdWithConfidence,
            type = {Technical Report},
           title = {Evaluating the Crowd with Confidence },
          author = {Manas Joglekar and Hector Garcia-Molina and Aditya Parameswaran},
       publisher = {Stanford InfoLab},
     institution = {Stanford University},
        keywords = {crowdsourcing, confidence, evaluation, algorithms, theory},
             url = {http://ilpubs.stanford.edu:8090/1051/},
            year = {2012},
           month = {August}}

@book{pink2011drive,
  title={Drive: The Surprising Truth About What Motivates Us},
  author={Pink, D.H.},
  isbn={9781847677693},
  lccn={2009040651},
  url={http://books.google.com/books?id=E0H\_DIkg0I4C},
  year={2011},
  publisher={Canongate Books}
}

@misc{Proposal,
  howpublished = "Website",
  note = {http://www.ccs.neu.edu/home/mohsen/proposal-ahmed.pdf},
}

@misc{IMPL_GSG,
  howpublished = "Website",
  note = {https://github.com/amohsen/gsg},
}

@misc{EBNF,
	title = {{ISO/IEC} Standard 14977 - {I}nformation technology - {S}yntactic metalanguage - {E}xtended {BNF}},
}



@misc{Piazza,
	title = {Piazza},
  howpublished = "Website",
  note = {http://www.piazza.com},
}

@TECHREPORT{SGIntro,
    author = {Ahti Pietarinen},
    title = {Games As Formal Tools Vs. Games As Explanations},
    institution = {},
    year = {2000}
}

@misc{CurrentImpl,
  howpublished = "Website",
  note = {https://github.com/amohsen/fscp},
}

@misc{FirstHumanComp,
  title = {The First AAAI Conference on Human Computation and Crowdsourcing},
  note = {http://www.humancomputation.com/2013/},
}
@misc{Aiide,
  title = {Ninth Annual AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment},
  note = {http://www.aiide.org/},
}

@misc{netflix,
  title = {The Netflix Prize Competition},
  note = {http://www.netflixprize.com/},
}


@misc{harvard-genome-sequencing,
  title = {Algorithm Development Through Crowdsourcing},
  note = {http://catalyst.harvard.edu/services/crowdsourcing/algosample.html},
}

@book{dependenceLogic,
  title={Dependence Logic: },
  author={V{\"a}{\"a}n{\"a}nen, J.},
  isbn={9780521876599},
  lccn={2007278700},
  series={London Mathematical Society Student Texts},
  url={http://books.google.com/books?id=KSR5xkAXiQAC},
  year={2007},
  publisher={Cambridge University Press}
}

@book{IntroToAlogrithms:Manber,
  title={Introduction to algorithms: a creative approach},
  author={Manber, U.},
  isbn={9780201120370},
  lccn={lc88002186},
  url={http://books.google.com/books?id=mJ4ZAQAAIAAJ},
  year={1989},
  publisher={Addison-Wesley}
}


@misc{KarlTeaching,
  howpublished = "Website",
  note = {http://www.ccs.neu.edu/home/lieber/teaching.html},
}

@misc{polymath,
  title = "{The polymath blog}",
  howpublished = "Website",
  note = {http://polymathprojects.org/},
}

@inproceedings{Ipeirotis:2011:Mice,
 author = {Ipeirotis, Panagiotis G. and Paritosh, Praveen K.},
 title = {Managing crowdsourced human computation: a tutorial},
 booktitle = {Proceedings of the 20th international conference companion on World wide web},
 series = {WWW '11},
 year = {2011},
 isbn = {978-1-4503-0637-9},
 location = {Hyderabad, India},
 pages = {287--288},
 numpages = {2},
 url = {http://doi.acm.org/10.1145/1963192.1963314},
 doi = {10.1145/1963192.1963314},
 acmid = {1963314},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {crowdsourcing, human computation, incentives, market design, mechanical turk, quality assurance, reputation, workflow control},
} 

@book{thinkingFastAndSlow,
  title={Thinking, Fast and Slow},
  author={Kahneman, D.},
  isbn={9781429969352},
  url={http://books.google.com/books?id=ZuKTvERuPG8C},
  year={2011},
  publisher={Farrar, Straus and Giroux}
}

@misc{eterna,
  title = "{EteRNA}",
  howpublished = "Website",
  year = {2011},
  note = {http://eterna.cmu.edu/},
}
@inproceedings{FoldIt,
 author = {Cooper, Seth and Treuille, Adrien and Barbero, Janos and Leaver-Fay, Andrew and Tuite, Kathleen and Khatib, Firas and Snyder, Alex Cho and Beenen, Michael and Salesin, David and Baker, David and Popovi\'{c}, Zoran},
 title = {The challenge of designing scientific discovery games},
 booktitle = {Proceedings of the Fifth International Conference on the Foundations of Digital Games},
 series = {FDG '10},
 year = {2010},
 isbn = {978-1-60558-937-4},
 location = {Monterey, California},
 pages = {40--47},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/1822348.1822354},
 doi = {10.1145/1822348.1822354},
 acmid = {1822354},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@inproceedings{ESPGame,
 author = {von Ahn, Luis and Dabbish, Laura},
 title = {Labeling images with a computer game},
 booktitle = {Proceedings of the SIGCHI Conference on Human Factors in Computing Systems},
 series = {CHI '04},
 year = {2004},
 isbn = {1-58113-702-8},
 location = {Vienna, Austria},
 pages = {319--326},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/985692.985733},
 doi = {10.1145/985692.985733},
 acmid = {985733},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {World Wide Web, distributed knowledge acquisition, image labeling, online games},
} 

@inproceedings{GamificationEffect,
  author    = {Silviya Dencheva and
               Christian Prause and
               Wolfgang Prinz},
  title     = {Dynamic Self-moderation in a Corporate Wiki to Improve Participation
               and Contribution Quality},
  booktitle = {ECSCW},
  year      = {2011},
  pages     = {1-20},
  ee        = {http://www.ecscw.org/2011/04-\%20Dencheva\%20et\%20Al\%201-20.pdf},
  crossref  = {DBLP:conf/ecscw/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecscw/2011,
  editor    = {Susanne B{\o}dker and
               Niels Olof Bouvin and
               Wayne G. Lutters and
               Volker Wulff},
  title     = {Proceedings of the Twelfth European Conference on Computer
               Supported Cooperative Work, ECSCW 2011, 24-28 September
               2011, Aarhus University, Denmark},
  booktitle = {ECSCW},
  publisher = {Springer},
  year      = {2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{CrowdsourcingSystemsOnTheWWW,
 author = {Doan, Anhai and Ramakrishnan, Raghu and Halevy, Alon Y.},
 title = {Crowdsourcing systems on the World-Wide Web},
 journal = {Commun. ACM},
 issue_date = {April 2011},
 volume = {54},
 number = {4},
 month = apr,
 year = {2011},
 issn = {0001-0782},
 pages = {86--96},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/1924421.1924442},
 doi = {10.1145/1924421.1924442},
 acmid = {1924442},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@misc{DemeterFClassDictionary,
  author="Bryan Chadwick",
  title = "{DemeterF}: The Functional Adaptive Programming Library",
  howpublished = "Website",
  year = {2008},
  note = {http://www.ccs.neu.edu/home/chadwick/demeterf/},
}

@INPROCEEDINGS{kosinski:crowd,
AUTHOR = "Michal Kosinski and Yoram Bachrach and Gjergji Kasneci and Jurgen Van Gael and Thore Graepel",
TITLE = "Crowd IQ: measuring the intelligence of crowdsourcing platforms",
BOOKTITLE = "WebSci'12",
PAGES = {151-160},
YEAR = {2012}, 
}

@inproceedings{minder2011crowdlang,
  abstract = {Crowdsourcing markets such as AmazonåÕs Mechanical Turk provide an enormous potential for accomplishing work by combining human and machine computation. Today crowdsourcing is mostly used for massive parallel information processing for a variety of tasks such as image labeling. However, as we move to more sophisticated problem-solving there is little knowledge about managing dependencies between steps and a lack of tools for doing so. As the contribution of this paper, we present a concept of an executable, model-based programming language and a general purpose framework for accomplishing more sophisticated problems. Our approach is inspired by coordination theory and an analysis of emergent collective intelligence. We illustrate the applicability of our proposed language by combining machine and human computation based on existing interaction patterns for several general computation problems.},
    added-at = {2012-06-05T08:23:00.000+0200},
      author = {Minder, Patrick and Bernstein, Abraham},
        biburl = {http://puma.uni-kassel.de/bibtex/2fe3477c51c6a2159ec1c72ecf299f1fb/jaeschke},
	  booktitle = {Proceedings of the 3rd Human Computation Workshop},
	    interhash = {0f708aa0b0eb867beb89fe42a9e1a068},
	      intrahash = {fe3477c51c6a2159ec1c72ecf299f1fb},
	        keywords = {cirg collective computing crowdsourcing human intelligence social},
		  pages = {103--108},
		    publisher = {AAAI Press},
		      series = {AAAI Workshops},
		        timestamp = {2012-06-05T08:23:00.000+0200},
			  title = {CrowdLang - First Steps Towards Programmable Human Computers for General Computation},
			    url = {https://www.aaai.org/ocs/index.php/WS/AAAIW11/paper/viewFile/3891/4251},
			      year = 2011
			      }


@inproceedings{Kittur:2011:CCC:2047196.2047202,
 author = {Kittur, Aniket and Smus, Boris and Khamkar, Susheel and Kraut, Robert E.},
  title = {CrowdForge: crowdsourcing complex work},
   booktitle = {Proceedings of the 24th annual ACM symposium on User interface software and technology},
    series = {UIST '11},
     year = {2011},
      isbn = {978-1-4503-0716-1},
       location = {Santa Barbara, California, USA},
        pages = {43--52},
	 numpages = {10},
	  url = {http://doi.acm.org/10.1145/2047196.2047202},
	   doi = {10.1145/2047196.2047202},
	    acmid = {2047202},
	     publisher = {ACM},
	      address = {New York, NY, USA},
	       keywords = {coordination, crowdsourcing, distributed processing, human computation, mapreduce, mechanical turk},
	       } 

@book{GTS-Hintikka,
  title={The Game of Language: Studies in Game-Theoretical Semantics and Its Applications},
  author={Kulas, J. and Hintikka, J.},
  isbn={9789027716873},
  lccn={83021102},
  series={Synthese Language Library},
  url={http://books.google.com/books?id=6GphI2\_3u-sC},
  year={1983},
  publisher={Springer}
}


@InCollection{sep-logic-if,
	author       =	{Tulenheimo, Tero},
	title        =	{Independence Friendly Logic},
	booktitle    =	{The Stanford Encyclopedia of Philosophy},
	editor       =	{Edward N. Zalta},
	howpublished =	{http://plato.stanford.edu/archives/fall2013/entries/logic-if/},
	year         =	{2013},
	edition      =	{Fall 2013},
}


@techreport{ilprints1051,
type = {Technical Report},
title = {Evaluating the Crowd with Confidence },
author = {Manas Joglekar and Hector Garcia-Molina and Aditya Parameswaran},
publisher = {Stanford InfoLab},
institution = {Stanford University},
keywords = {crowdsourcing, confidence, evaluation, algorithms, theory},
url = {http://ilpubs.stanford.edu:8090/1051/},
abstract = {Worker quality control is a crucial aspect of crowdsourcing systems; typically occupying a large fraction of the time and money invested on crowdsourcing. In this work, we devise techniques to generate confidence intervals for worker error rate estimates, thereby enabling a better evaluation of worker quality. We demonstrate the wide applicability of our techniques by using them to compare various worker evaluation schemes, evict poorly performing workers, and also providing confidence intervals on the accuracy of the answers.}
}


@inproceedings{RankingAggregation2013,
author    = {Xi Chen and Paul N. Bennett and Kevyn Collins-Thompson and Eric Horvitz},
title     = {Pairwise Ranking Aggregation in a Crowdsourced Setting},
booktitle = {WSDM, Rome, Italy},
year      = {2013},
location = {Rome, Italy}

}

@inproceedings{DBLP:conf/nips/KargerOS11,
author    = {David R. Karger and
Sewoong Oh and
Devavrat Shah},
title     = {Iterative Learning for Reliable Crowdsourcing Systems},
booktitle = {NIPS},
year      = {2011},
pages     = {1953-1961},
ee        = {http://books.nips.cc/papers/files/nips24/NIPS2011_1102.pdf},
crossref  = {DBLP:conf/nips/2011},
bibsource = {DBLP, http://dblp.uni-trier.de}
					      }

@proceedings{DBLP:conf/nips/2011,
editor    = {John Shawe-Taylor and
Richard S. Zemel and
Peter L. Bartlett and
Fernando C. N. Pereira and
Kilian Q. Weinberger},
title     = {Advances in Neural Information Processing Systems 24: 25th
Annual Conference on Neural Information Processing Systems
2011. Proceedings of a meeting held 12-14 December 2011,
Granada, Spain},
booktitle = {NIPS},
year      = {2011},
ee        = {http://books.nips.cc/nips24.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{ipeirotis2010repeated,
  title={Repeated Labeling Using Multiple Noisy Labelers},
    author={Ipeirotis, P. and Provost, F. and Sheng, V. and Wang, J.},
      journal={This work was supported by the National Science Foundation under GrantNo. IIS-0643846, by an NSERC P, Vol},
        year={2010}
	}

@book{Beasley-Mathematics-Games,
  title={The Mathematics of Games},
    author={Beasley, J.D.},
      isbn={9780486449760},
        lccn={88032453},
	  series={Dover Books on Mathematics},
	    url={http://books.google.com/books?id=e61XAAAACAAJ},
	      year={2006},
	        publisher={Dover Publications}
		}

@inproceedings{Smith:2010:TML:1822348.1822376,
 author = {Smith, Gillian and Whitehead, Jim and Mateas, Michael},
  title = {Tanagra: a mixed-initiative level design tool},
   booktitle = {Proceedings of the Fifth International Conference on the Foundations of Digital Games},
    series = {FDG '10},
     year = {2010},
      isbn = {978-1-60558-937-4},
       location = {Monterey, California},
        pages = {209--216},
	 numpages = {8},
	  url = {http://doi.acm.org/10.1145/1822348.1822376},
	   doi = {10.1145/1822348.1822376},
	    acmid = {1822376},
	     publisher = {ACM},
	      address = {New York, NY, USA},
	       keywords = {AI-assisted design, games, level design, procedural content generation},
	       } 


@article{El-Nasr:2004:ALD:1008213.1008238,
 author = {El-Nasr, Magy Seif and Horswill, Ian},
  title = {Automating Lighting Design for Interactive Entertainment},
   journal = {Comput. Entertain.},
    issue_date = {April 2004},
     volume = {2},
      number = {2},
       month = apr,
        year = {2004},
	 issn = {1544-3574},
	  pages = {15--15},
	   numpages = {1},
	    url = {http://doi.acm.org/10.1145/1008213.1008238},
	     doi = {10.1145/1008213.1008238},
	      acmid = {1008238},
	       publisher = {ACM},
	        address = {New York, NY, USA},
		 keywords = {3-D simulations, Interactive entertainment, game design, game development, immersive environments, lighting design, visual compositing, visual design},
		 } 

@misc{SCGsupplementary,
  author="Ahmed Abdelmeged and Karl J. Lieberherr",
  title = "The Scientific Community Game: supplementary materials",
  howpublished = "Website",
  year = {2012},
  note = {http://www.ccs.neu.edu/home/lieber/papers/SCG-definition/supplementary/},
}

@article{Zollman2007-ZOLTCS,
volume = {74},
number = {5},
author = {Kevin J. S. Zollman},
abstract = {Increasingly, epistemologists are becoming interested in social structures and their effect on epistemic enterprises, but little attention has been paid to the proper distribution of experimental results among scientists. This paper will analyze a model first suggested by two economists, which nicely captures one type of learning situation faced by scientists. The results of a computer simulation study of this model provide two interesting conclusions. First, in some contexts, a community of scientists is, as a whole, more reliable when its members are less aware of their colleagues' experimental results. Second, there is a robust tradeoff between the reliability of a community and the speed with which it reaches a correct conclusion. \ddag{}The author would like to thank Brian Skyrms, Kyle Stanford, Jeffrey Barrett, Bruce Glymour, and the participants in the Social Dynamics Seminar at University of California--{}Irvine for their helpful comments. Generous financial support was provided by the School of Social Science and Institute for Mathematical Behavioral Sciences at UCI. \dag{}To contact the author, please write to: Department of Philosophy, Baker Hall 135, Carnegie Mellon University, Pittsburgh, PA 15213-3890; e-mail: kzollman@andrew.cmu.edu.},
title = {The Communication Structure of Epistemic Communities},
journal = {Philosophy of Science},
year = {2007},
pages = {574--587}
}

@BOOK{triadic-book,
  AUTHOR = "Casper Harteveld",
  TITLE = "Triadic Game Design",
  PUBLISHER = "Springer", 
  YEAR = "2011"
}

@misc{ScacchiNSFReport,
  author="Walt Scacchi",
  title = "{The Future of Research in Computer Games and Virtual Worlds: Workshop Report}",
  howpublished = "Technical Report UCI-ISR-12-8",
  year = {2012},
  note = {http://www.isr.uci.edu/tech\_reports/UCI-ISR-12-8.pdf},
}


@INPROCEEDINGS{Zagal05towardsan,
    author = {Jose P. Zagal and Michael Mateas
    and Clara Fernandez-Vara and Brian Hochhalter and Nolan Lichti},
        title = {Towards an Ontological Language for Game Analysis},
	    booktitle = {in Proceedings of International DiGRA Conference},
	        year = {2005},
		    pages = {3--14}
		    }

@Book{ nla.cat-vn1027910,
author = { Popper, Karl Raimund, },
title = { Conjectures and refutations: the growth of scientific knowledge, by Karl R. Popper },
isbn = { 710065078 },
publisher = { Routledge, London },
pages = { xiii, 431 p. },
year = { 1969 },
type = { Book },
language = { English },
subjects = { Methodology.; Knowledge, Theory of.; Science - Methodology.; Prediction (Logic) },
life-dates = { 1969 -  },
catalogue-url = { http://nla.gov.au/nla.cat-vn1027910 },
}


@article{Franklin1994-FRATFS,
	volume = {25},
		number = {4},
			author = {James Franklin},
				abstract = {The last fifty years have seen the creation of a number of new "formal" or
				"mathematical" sciences, or "sciences of complexity". Examples are
				operations research, theoretical computer science, information theory,
				descriptive statistics, mathematical ecology and control theory.
				Theorists of science have almost ignored them, despite the remarkable
				fact that (from the way the practitioners speak) they seem to have
				come upon the "philosophers' stone": a way of converting knowledge
				about the real world into certainty, merely by thinking.
				},
					title = {The Formal Sciences Discover the Philosophers' Stone},
						journal = {Studies in History and Philosophy of Science},
							year = {1994},
								pages = {513--533}
								}


@article{Denning:2005:CSS:1053291.1053309,
 author = {Denning, Peter J.},
  title = {Is computer science science?},
   journal = {Commun. ACM},
    issue_date = {April 2005},
     volume = {48},
      number = {4},
       month = apr,
        year = {2005},
	 issn = {0001-0782},
	  pages = {27--31},
	   numpages = {5},
	    url = {http://doi.acm.org/10.1145/1053291.1053309},
	     doi = {10.1145/1053291.1053309},
	      acmid = {1053309},
	       publisher = {ACM},
	        address = {New York, NY, USA},
		} 


@misc{ScientificMethodProgramming,
  author="Robert Sedgewick",
  title = "{The Role of the Scientific Method in Programming}",
  howpublished = "Website",
  year = {2010},
  note = {http://www.cs.princeton.edu/~rs/talks/ScienceCS.pdf},
}

@paper{AIIDE125470,
	author = {Alexander Jaffe and Alex Miller and Erik Andersen and Yun-En Liu and Anna Karlin and Zoran Popovic},
		title = {Evaluating Competitive Game Balance with Restricted Play},
			conference = {Artificial Intelligence and Interactive Digital Entertainment Conference},
				year = {2012},
					keywords = {games; game theory; artificial intelligence; game balance},
						abstract = {Game balancing is the fine-tuning phase in which a functioning game is adjusted to be deep, fair, and interesting. Balancing is difficult and time-consuming, as designers must repeatedly tweak parameters, and run lengthy playtests to evaluate the effects of these changes. If designers could receive immediate feedback on their designs, they could explore a vast space of variations, and select only the most promising games for playtesting. Such automated design feedback has been difficult to achieve, as there is no mathematical formulation of game balance that unifies many of its forms. We argue for a formulation in which carefully restricted agents are played against standard agents. We develop this restricted-play balance framework, and evaluate its utility by building a tool capable of calculating measures of balance for a large family of games. By applying this tool to an educational card game, we demonstrate how the framework and tool allow designers to rapidly evaluate and iterate on the balance of their games.},

							url = {http://aaai.org/ocs/index.php/AIIDE/AIIDE12/paper/view/5470/5692}
							}


@inproceedings{Andersen:2012:OAE:2282338.2282398,
 author = {Andersen, Erik},
  title = {Optimizing adaptivity in educational games},
   booktitle = {Proceedings of the International Conference on the Foundations of Digital Games},
    series = {FDG '12},
     year = {2012},
      isbn = {978-1-4503-1333-9},
       location = {Raleigh, North Carolina},
        pages = {279--281},
	 numpages = {3},
	  url = {http://doi.acm.org/10.1145/2282338.2282398},
	   doi = {10.1145/2282338.2282398},
	    acmid = {2282398},
	     publisher = {ACM},
	      address = {New York, NY, USA},
	       keywords = {adaptivity, games for learning, multivariate testing, procedural content generation},
	       } 

@inproceedings{Andersen:2012:ITG:2207676.2207687,
 author = {Andersen, Erik and O'Rourke, Eleanor and Liu, Yun-En and Snider, Rich and Lowdermilk, Jeff and Truong, David and Cooper, Seth and Popovic, Zoran},
  title = {The impact of tutorials on games of varying complexity},
   booktitle = {Proceedings of the SIGCHI Conference on Human Factors in Computing Systems},
    series = {CHI '12},
     year = {2012},
      isbn = {978-1-4503-1015-4},
       location = {Austin, Texas, USA},
        pages = {59--68},
	 numpages = {10},
	  url = {http://doi.acm.org/10.1145/2207676.2207687},
	   doi = {10.1145/2207676.2207687},
	    acmid = {2207687},
	     publisher = {ACM},
	      address = {New York, NY, USA},
	       keywords = {analytics, games, multivariate testing, tutorials},
	       } 


@InProceedings{scg-def,
AUTHOR = "Ahmed Abdelmeged and Karl J. Lieberherr",
TITLE = "{The Scientific Community Game}",
YEAR = "2012",
booktitle = "{CCIS Technical Report NU-CCIS-2012-19} ",
MONTH = "October",
note =
{http://www.ccs.neu.edu/home/lieber/papers/SCG-definition/SCG-definition-NU-CCIS-2012.pdf}
}

@InProceedings{fscp-ws,
AUTHOR = "Ahmed Abdelmeged and Karl J. Lieberherr",
TITLE = "{FSCP: A Platform for Crowdsourcing Formal Science}",
YEAR = "2013",
booktitle = "{CCIS Technical Report} ",
MONTH = "February",
note =
{http://www.ccs.neu.edu/home/lieber/papers/SCG-crowdsourcing/websci2013\_submission\_FSCP.pdf}
}


@inproceedings{exploratory-performatory,
author={Jonas Linderoth},
year={2010},
publisher={University of Stockholm},
pages={},
title={Why gamers don't learn more: An ecological approach to games as learning environments},
editor={Lankoski Petri and Thorhauge Anne Mette and Verhagen Harko and Waern Annika},
address={Stockholm},
booktitle={Proceedings of DiGRA Nordic 2010: Experiencing Games: Games, Play, and Players},
month={January},
url={http://www.digra.org/dl/display_html?chid=10343.51199.pdf}
}


@InCollection{sep-if,
author       =	{Tero Tulenheimo},
title        =	{Independence Friendly Logic},
booktitle    =	{The Stanford Encyclopedia of Philosophy},
editor       =	{Edward N. Zalta},
howpublished =	{http://plato.stanford.edu/entries/logic-if/},
year         =	{2011},
edition      =	{Summer 2011},
}

@InCollection{sep-logic-dialogical,
author       =	{Keiff, Laurent},
title        =	{Dialogical Logic},
booktitle    =	{The Stanford Encyclopedia of Philosophy},
editor       =	{Edward N. Zalta},
howpublished =	{http://plato.stanford.edu/archives/sum2011/entries/logic-dialogical/},
year         =	{2011},
edition      =	{Summer 2011},
}


@inproceedings{Petit:2012:JEP:2157136.2157267,
 author = {Petit, Jordi and Gim{\'e}nez, Omer and Roura, Salvador},
  title = {Jutge.org: an educational programming judge},
   booktitle = {Proceedings of the 43rd ACM technical symposium on Computer Science Education},
    series = {SIGCSE '12},
     year = {2012},
      isbn = {978-1-4503-1098-7},
       location = {Raleigh, North Carolina, USA},
        pages = {445--450},
	 numpages = {6},
	  url = {http://doi.acm.org/10.1145/2157136.2157267},
	   doi = {10.1145/2157136.2157267},
	    acmid = {2157267},
	     publisher = {ACM},
	      address = {New York, NY, USA},
	       keywords = {CS1/2, active learning, experiences, instructional technologies, tools},
	       } 

@inproceedings{attenberg2011beat-ipeirotis,
  title={Beat the Machine: Challenging Workers to Find the Unknown Unknowns},
    author={Attenberg, J. and Ipeirotis, P.G. and Provost, F.},
      booktitle={Workshops at the Twenty-Fifth AAAI Conference on Artificial Intelligence},
        year={2011}
}

@article{Bernstein:2012:PGB:2160718.2160731,
 author = {Bernstein, Abraham and Klein, Mark and Malone, Thomas W.},
  title = {Programming the global brain},
   journal = {Commun. ACM},
    issue_date = {May 2012},
     volume = {55},
      number = {5},
       month = may,
        year = {2012},
	 issn = {0001-0782},
	  pages = {41--43},
	   numpages = {3},
	    url = {http://doi.acm.org/10.1145/2160718.2160731},
	     doi = {10.1145/2160718.2160731},
	      acmid = {2160731},
	       publisher = {ACM},
	        address = {New York, NY, USA},
		} 

@InCollection{sep-logic-games,
author       =	{Hodges, Wilfrid},
title        =	{Logic and Games},
booktitle    =	{The Stanford Encyclopedia of Philosophy},
editor       =	{Edward N. Zalta},
howpublished =	{http://plato.stanford.edu/archives/spr2009/entries/logic-games/},
year         =	{2009},
edition      =	{Spring 2009},
}

@misc{Rosetta,
  title = "{Rosetta Ð The premier software suite for macromolecular modeling}",
  howpublished = "Website",
  note = {https://www.rosettacommons.org/},
}


@misc{LogicalGames,
  author="Mathieu Marion",
  title = "{Why Play Logical Games}",
  howpublished = "Website",
  year = {2009},
  note = {http://www.philomath.uqam.ca/doc/LogicalGames.pdf},
}

@misc{LabDesignerGuide,
  author="Karl J. Lieberherr",
  title = "{Scientific Community Game Lab Designer Guide}",
  howpublished = "Website",
  year = {2011},
  note = {http://www.ccs.neu.edu/home/lieber/courses/se-courses/cs5500/sp11/projects/playground-designer-user-guide.html},
}



@ARTICLE{lieber-specker:partial-2,
TITLE = "{Complexity of Partial Satisfaction II}",
AUTHOR = "Karl J. Lieberherr and Ernst Specker",
publisher = {European Mathematical Society Publishing House, Norbert Hungerbuehler editor},
JOURNAL = "Elemente der Mathematik",
YEAR = 2012,
PAGES = "134-150",
VOLUME = 67,
NUMBER = 3,
doi = {10.4171/EM/202},
note =
{http://www.ccs.neu.edu/home/lieber/p-optimal/partial-sat-II/Partial-SAT2.pdf}
}

@InProceedings{scg-bionetics,
AUTHOR = "Karl J. Lieberherr and Ahmed Abdelmeged and Bryan Chadwick",
TITLE = "{The Specker Challenge Game for Education and Innovation in Constructive Domains}",
YEAR = "2010",
booktitle = "{Keynote paper at Bionetics 2010, Cambridge, MA, and CCIS Technical Report NU-CCIS-2010-19} ",
MONTH = "December",
  note = 
  {http://www.ccs.neu.edu/home/lieber/evergreen/specker/paper/bionetics-2010.pdf
  }
}

@article{doi:10.2200/S00108ED1V01Y200802AIM003,
author = {Leyton-Brown, Kevin and Shoham, Yoav},
title = {Essentials of Game Theory: A Concise Multidisciplinary Introduction},
journal = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
volume = {2},
number = {1},
pages = {1-88},
year = {2008},
doi = {10.2200/S00108ED1V01Y200802AIM003},
URL = {http://www.morganclaypool.com/doi/abs/10.2200/S00108ED1V01Y200802AIM003},
eprint = {http://www.morganclaypool.com/doi/pdf/10.2200/S00108ED1V01Y200802AIM003}
}


@article{Becker:2007:SGC:1292428.1292436,
 author = {Becker, Katrin and Parker, J. R.},
  title = {{"Serious Games + Computer Science = Serious CS"}},
   journal = {J. Comput. Small Coll.},
    volume = {23},
     issue = {2},
      month = {December},
       year = {2007},
        issn = {1937-4771},
	 pages = {40--46},
	  numpages = {7},
	   url = {http://portal.acm.org/citation.cfm?id=1292428.1292436},
	    acmid = {1292436},
	     publisher = {Consortium for Computing Sciences in Colleges},
	      address = {, USA},
	      }


@book{Kleinberg:1051910,
author = {Kleinberg, Jon and Tardos, Eva},
title = {Algorithm Design},
year = {2005},
isbn = {0321295358},
publisher = {Addison-Wesley Longman Publishing Co., Inc.},
address = {Boston, MA, USA},
}


@book{Nisan-book,
author = {Nisan, Noam and Roughgarden, Tim and Tardos, Eva and Vazirani, Vijay},
title = {Algorithmic Game Theory},
year = {2005},
isbn = {0321295358},
publisher = {Cambridge University Press},
address = {Cambridge, England}
}

@book{1296179,
 author = {Nisan, Noam and Roughgarden, Tim and Tardos, Eva and Vazirani, Vijay V.},
  title = {Algorithmic Game Theory},
   year = {2007},
    isbn = {0521872820},
     publisher = {Cambridge University Press},
      address = {New York, NY, USA},
       }




@book{Schell:1252688,
author       = "Schell, Jesse",
title        = "The Art of Game Design: A Book of Lenses; electronic version",
publisher    = "Elsevier",
address      = "Burlington, MA",
year         = "2008",
						    }


@misc{demeterf,
  author="Bryan Chadwick",
  title = "{DemeterF}: The Functional Adaptive Programming Library",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/~chadwick/demeterf/},
}

@misc{SCGCourt,
  author="Ahmed Abdelmeged and Karl J. Lieberherr",
  title = "{SCG Court}: Generator of Teaching/Innovation Labs on the Web",
  howpublished = "Website",
  year = {2011},
  note = {http://sourceforge.net/p/generic-scg/code-0/110/tree/GenericSCG/},
}

@misc{sdsp09,
  author="Karl J. Lieberherr",
  title = "{Software Development: CSU 670 Spring 2009}",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/home/lieber/courses/csu670/sp09/csu670-sp09.html},
}
@misc{algf10,
  author="Karl J. Lieberherr",
  title = "{Algorithms and Data CS 4800, Fall 2010}",
  howpublished = "Website",
  year = {2010},
  note = {http://www.ccs.neu.edu/home/lieber/courses/algorithms/cs4800/f10/course-description.html},
}

@misc{sdf09,
  author="Karl J. Lieberherr",
  title = "{Software Development: CSU 670 Fall 2009}",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/home/lieber/courses/cs4500/f09/cs4500-f09.html},
}


@ARTICLE{lieber-specker:partial-2,
TITLE = "{Complexity of Partial Satisfaction II}",
AUTHOR = "Karl J. Lieberherr and Ernst Specker",
JOURNAL = "Elemente der Mathematik",
YEAR = 2012,
PAGES = "134-150",
VOLUME = 67,
NUMBER = 3,
doi = {10.4171/EM/202},
note =
{http://www.ccs.neu.edu/home/lieber/p-optimal/partial-sat-II/Partial-SAT2.pdf}
}

@InProceedings{scg-bionetics,
AUTHOR = "Karl J. Lieberherr and Ahmed Abdelmeged and Bryan Chadwick",
TITLE = "{The Specker Challenge Game for Education and Innovation in Constructive Domains}",
YEAR = "2010",
booktitle = "{Keynote paper at Bionetics 2010, Cambridge, MA, and CCIS Technical Report NU-CCIS-2010-19} ",
MONTH = "December",
  note = 
  {http://www.ccs.neu.edu/home/lieber/evergreen/specker/paper/bionetics-2010.pdf
  }
}

@article{doi:10.2200/S00108ED1V01Y200802AIM003,
author = {Leyton-Brown, Kevin and Shoham, Yoav},
title = {Essentials of Game Theory: A Concise Multidisciplinary Introduction},
journal = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
volume = {2},
number = {1},
pages = {1-88},
year = {2008},
doi = {10.2200/S00108ED1V01Y200802AIM003},
URL = {http://www.morganclaypool.com/doi/abs/10.2200/S00108ED1V01Y200802AIM003},
eprint = {http://www.morganclaypool.com/doi/pdf/10.2200/S00108ED1V01Y200802AIM003}
}


@article{Becker:2007:SGC:1292428.1292436,
 author = {Becker, Katrin and Parker, J. R.},
  title = {{"Serious Games + Computer Science = Serious CS"}},
   journal = {J. Comput. Small Coll.},
    volume = {23},
     issue = {2},
      month = {December},
       year = {2007},
        issn = {1937-4771},
	 pages = {40--46},
	  numpages = {7},
	   url = {http://portal.acm.org/citation.cfm?id=1292428.1292436},
	    acmid = {1292436},
	     publisher = {Consortium for Computing Sciences in Colleges},
	      address = {, USA},
	      }


@book{Kleinberg:1051910,
author = {Kleinberg, Jon and Tardos, Eva},
title = {Algorithm Design},
year = {2005},
isbn = {0321295358},
publisher = {Addison-Wesley Longman Publishing Co., Inc.},
address = {Boston, MA, USA},
}


@book{Nisan-book,
author = {Nisan, Noam and Roughgarden, Tim and Tardos, Eva and Vazirani, Vijay},
title = {Algorithmic Game Theory},
year = {2005},
isbn = {0321295358},
publisher = {Cambridge University Press},
address = {Cambridge, England}
}

@book{1296179,
 author = {Nisan, Noam and Roughgarden, Tim and Tardos, Eva and Vazirani, Vijay V.},
  title = {Algorithmic Game Theory},
   year = {2007},
    isbn = {0521872820},
     publisher = {Cambridge University Press},
      address = {New York, NY, USA},
       }




@book{Schell:1252688,
author       = "Schell, Jesse",
title        = "The Art of Game Design: A Book of Lenses; electronic version",
publisher    = "Elsevier",
address      = "Burlington, MA",
year         = "2008",
						    }


@misc{demeterf,
  author="Bryan Chadwick",
  title = "{DemeterF}: The Functional Adaptive Programming Library",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/~chadwick/demeterf/},
}

@misc{sdsp09,
  author="Karl J. Lieberherr",
  title = "{Software Development: CSU 670 Spring 2009}",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/home/lieber/courses/csu670/sp09/csu670-sp09.html},
}
@misc{algf10,
  author="Karl J. Lieberherr",
  title = "{Algorithms and Data CS 4800, Fall 2010}",
  howpublished = "Website",
  year = {2010},
  note = {http://www.ccs.neu.edu/home/lieber/courses/algorithms/cs4800/f10/course-description.html},
}

@misc{sdf09,
  author="Karl J. Lieberherr",
  title = "{Software Development: CSU 670 Fall 2009}",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/home/lieber/courses/cs4500/f09/cs4500-f09.html},
}

http://www.philomath.uqam.ca/doc/LogicalGames.pdf

@ARTICLE{lieber-specker:partial-2,
TITLE = "{Complexity of Partial Satisfaction II}",
AUTHOR = "Karl J. Lieberherr and Ernst Specker",
JOURNAL = "Elemente der Mathematik",
YEAR = 2012,
PAGES = "134-150",
VOLUME = 67,
NUMBER = 3,
doi = {10.4171/EM/202},
note =
{http://www.ccs.neu.edu/home/lieber/p-optimal/partial-sat-II/Partial-SAT2.pdf}
}

@InProceedings{scg-bionetics,
AUTHOR = "Karl J. Lieberherr and Ahmed Abdelmeged and Bryan Chadwick",
TITLE = "{The Specker Challenge Game for Education and Innovation in Constructive Domains}",
YEAR = "2010",
booktitle = "{Keynote paper at Bionetics 2010, Cambridge, MA, and CCIS Technical Report NU-CCIS-2010-19} ",
MONTH = "December",
  note = 
  {http://www.ccs.neu.edu/home/lieber/evergreen/specker/paper/bionetics-2010.pdf
  }
}

@article{doi:10.2200/S00108ED1V01Y200802AIM003,
author = {Leyton-Brown, Kevin and Shoham, Yoav},
title = {Essentials of Game Theory: A Concise Multidisciplinary Introduction},
journal = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
volume = {2},
number = {1},
pages = {1-88},
year = {2008},
doi = {10.2200/S00108ED1V01Y200802AIM003},
URL = {http://www.morganclaypool.com/doi/abs/10.2200/S00108ED1V01Y200802AIM003},
eprint = {http://www.morganclaypool.com/doi/pdf/10.2200/S00108ED1V01Y200802AIM003}
}


@article{Becker:2007:SGC:1292428.1292436,
 author = {Becker, Katrin and Parker, J. R.},
  title = {{"Serious Games + Computer Science = Serious CS"}},
   journal = {J. Comput. Small Coll.},
    volume = {23},
     issue = {2},
      month = {December},
       year = {2007},
        issn = {1937-4771},
	 pages = {40--46},
	  numpages = {7},
	   url = {http://portal.acm.org/citation.cfm?id=1292428.1292436},
	    acmid = {1292436},
	     publisher = {Consortium for Computing Sciences in Colleges},
	      address = {, USA},
	      }


@book{Kleinberg:1051910,
author = {Kleinberg, Jon and Tardos, Eva},
title = {Algorithm Design},
year = {2005},
isbn = {0321295358},
publisher = {Addison-Wesley Longman Publishing Co., Inc.},
address = {Boston, MA, USA},
}


@book{Nisan-book,
author = {Nisan, Noam and Roughgarden, Tim and Tardos, Eva and Vazirani, Vijay},
title = {Algorithmic Game Theory},
year = {2005},
isbn = {0321295358},
publisher = {Cambridge University Press},
address = {Cambridge, England}
}

@book{1296179,
 author = {Nisan, Noam and Roughgarden, Tim and Tardos, Eva and Vazirani, Vijay V.},
  title = {Algorithmic Game Theory},
   year = {2007},
    isbn = {0521872820},
     publisher = {Cambridge University Press},
      address = {New York, NY, USA},
       }




@book{Schell:1252688,
author       = "Schell, Jesse",
title        = "The Art of Game Design: A Book of Lenses; electronic version",
publisher    = "Elsevier",
address      = "Burlington, MA",
year         = "2008",
						    }


@misc{demeterf,
  author="Bryan Chadwick",
  title = "{DemeterF}: The Functional Adaptive Programming Library",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/~chadwick/demeterf/},
}

@misc{algf10,
  author="Karl J. Lieberherr",
  title = "{Algorithms and Data CS 4800, Fall 2010}",
  howpublished = "Website",
  year = {2010},
  note = {http://www.ccs.neu.edu/home/lieber/courses/algorithms/cs4800/f10/course-description.html},
}

@misc{sdsp09,
  author="Karl J. Lieberherr",
  title = "{Software Development: CSU 670 Spring 2009}",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/home/lieber/courses/csu670/sp09/csu670-sp09.html},
}

@misc{sdf09,
  author="Karl J. Lieberherr",
  title = "{Software Development: CSU 670 Fall 2009}",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/home/lieber/courses/cs4500/f09/cs4500-f09.html},
}

@ARTICLE{lieber-specker:partial-2,
TITLE = "{Complexity of Partial Satisfaction II}",
AUTHOR = "Karl J. Lieberherr and Ernst Specker",
JOURNAL = "Elemente der Mathematik",
YEAR = 2012,
PAGES = "134-150",
VOLUME = 67,
NUMBER = 3,
doi = {10.4171/EM/202},
note =
{http://www.ccs.neu.edu/home/lieber/p-optimal/partial-sat-II/Partial-SAT2.pdf}
}

@InProceedings{scg-bionetics,
AUTHOR = "Karl Lieberherr and Ahmed Abdelmeged and Bryan Chadwick",
TITLE = "{The Specker Challenge Game for Education and Innovation in Constructive Domains}",
YEAR = "2010",
booktitle = "{Keynote paper at Bionetics 2010, Cambridge, MA, and CCIS Technical Report NU-CCIS-2010-19} ",
MONTH = "December",
  note = 
  {http://www.ccs.neu.edu/home/lieber/evergreen/specker/paper/bionetics-2010.pdf
  }
}

@article{doi:10.2200/S00108ED1V01Y200802AIM003,
author = {Leyton-Brown, Kevin and Shoham, Yoav},
title = {Essentials of Game Theory: A Concise Multidisciplinary Introduction},
journal = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
volume = {2},
number = {1},
pages = {1-88},
year = {2008},
doi = {10.2200/S00108ED1V01Y200802AIM003},
URL = {http://www.morganclaypool.com/doi/abs/10.2200/S00108ED1V01Y200802AIM003},
eprint = {http://www.morganclaypool.com/doi/pdf/10.2200/S00108ED1V01Y200802AIM003}
}


@article{Becker:2007:SGC:1292428.1292436,
 author = {Becker, Katrin and Parker, J. R.},
  title = {{"Serious Games + Computer Science = Serious CS"}},
   journal = {J. Comput. Small Coll.},
    volume = {23},
     issue = {2},
      month = {December},
       year = {2007},
        issn = {1937-4771},
	 pages = {40--46},
	  numpages = {7},
	   url = {http://portal.acm.org/citation.cfm?id=1292428.1292436},
	    acmid = {1292436},
	     publisher = {Consortium for Computing Sciences in Colleges},
	      address = {, USA},
	      }


@book{Kleinberg:1051910,
author = {Kleinberg, Jon and Tardos, Eva},
title = {Algorithm Design},
year = {2005},
isbn = {0321295358},
publisher = {Addison-Wesley Longman Publishing Co., Inc.},
address = {Boston, MA, USA},
}


@book{Nisan-book,
author = {Nisan, Noam and Roughgarden, Tim and Tardos, Eva and Vazirani, Vijay},
title = {Algorithmic Game Theory},
year = {2005},
isbn = {0321295358},
publisher = {Cambridge University Press},
address = {Cambridge, England}
}

@book{1296179,
 author = {Nisan, Noam and Roughgarden, Tim and Tardos, Eva and Vazirani, Vijay V.},
  title = {Algorithmic Game Theory},
   year = {2007},
    isbn = {0521872820},
     publisher = {Cambridge University Press},
      address = {New York, NY, USA},
       }




@book{Schell:1252688,
author       = "Schell, Jesse",
title        = "The Art of Game Design: A Book of Lenses; electronic version",
publisher    = "Elsevier",
address      = "Burlington, MA",
year         = "2008",
						    }


@misc{demeterf,
  author="Bryan Chadwick",
  title = "{DemeterF}: The Functional Adaptive Programming Library",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/~chadwick/demeterf/},
}

@misc{sdsp09,
  author="Karl Lieberherr",
  title = "{Software Development: CSU 670 Spring 2009}",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/home/lieber/courses/csu670/sp09/csu670-sp09.html},
}
@misc{algf10,
  author="Karl Lieberherr",
  title = "{Algorithms and Data CS 4800, Fall 2010}",
  howpublished = "Website",
  year = {2010},
  note = {http://www.ccs.neu.edu/home/lieber/courses/algorithms/cs4800/f10/course-description.html},
}

@misc{sdf09,
  author="Karl Lieberherr",
  title = "{Software Development: CSU 670 Fall 2009}",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/home/lieber/courses/cs4500/f09/cs4500-f09.html},
}


@ARTICLE{lieber-specker:partial-2,
TITLE = "{Complexity of Partial Satisfaction II}",
AUTHOR = "Karl J. Lieberherr and Ernst Specker",
JOURNAL = "Elemente der Mathematik",
YEAR = 2012,
PAGES = "134-150",
VOLUME = 67,
NUMBER = 3,
doi = {10.4171/EM/202},
note =
{http://www.ccs.neu.edu/home/lieber/p-optimal/partial-sat-II/Partial-SAT2.pdf}
}

@InProceedings{scg-bionetics,
AUTHOR = "Karl Lieberherr and Ahmed Abdelmeged and Bryan Chadwick",
TITLE = "{The Specker Challenge Game for Education and Innovation in Constructive Domains}",
YEAR = "2010",
booktitle = "{Keynote paper at Bionetics 2010, Cambridge, MA, and CCIS Technical Report NU-CCIS-2010-19} ",
MONTH = "December",
  note = 
  {http://www.ccs.neu.edu/home/lieber/evergreen/specker/paper/bionetics-2010.pdf
  }
}

@article{doi:10.2200/S00108ED1V01Y200802AIM003,
author = {Leyton-Brown, Kevin and Shoham, Yoav},
title = {Essentials of Game Theory: A Concise Multidisciplinary Introduction},
journal = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
volume = {2},
number = {1},
pages = {1-88},
year = {2008},
doi = {10.2200/S00108ED1V01Y200802AIM003},
URL = {http://www.morganclaypool.com/doi/abs/10.2200/S00108ED1V01Y200802AIM003},
eprint = {http://www.morganclaypool.com/doi/pdf/10.2200/S00108ED1V01Y200802AIM003}
}


@article{Becker:2007:SGC:1292428.1292436,
 author = {Becker, Katrin and Parker, J. R.},
  title = {{"Serious Games + Computer Science = Serious CS"}},
   journal = {J. Comput. Small Coll.},
    volume = {23},
     issue = {2},
      month = {December},
       year = {2007},
        issn = {1937-4771},
	 pages = {40--46},
	  numpages = {7},
	   url = {http://portal.acm.org/citation.cfm?id=1292428.1292436},
	    acmid = {1292436},
	     publisher = {Consortium for Computing Sciences in Colleges},
	      address = {, USA},
	      }


@book{Kleinberg:1051910,
author = {Kleinberg, Jon and Tardos, Eva},
title = {Algorithm Design},
year = {2005},
isbn = {0321295358},
publisher = {Addison-Wesley Longman Publishing Co., Inc.},
address = {Boston, MA, USA},
}


@book{Nisan-book,
author = {Nisan, Noam and Roughgarden, Tim and Tardos, Eva and Vazirani, Vijay},
title = {Algorithmic Game Theory},
year = {2005},
isbn = {0321295358},
publisher = {Cambridge University Press},
address = {Cambridge, England}
}

@book{1296179,
 author = {Nisan, Noam and Roughgarden, Tim and Tardos, Eva and Vazirani, Vijay V.},
  title = {Algorithmic Game Theory},
   year = {2007},
    isbn = {0521872820},
     publisher = {Cambridge University Press},
      address = {New York, NY, USA},
       }




@book{Schell:1252688,
author       = "Schell, Jesse",
title        = "The Art of Game Design: A Book of Lenses; electronic version",
publisher    = "Elsevier",
address      = "Burlington, MA",
year         = "2008",
						    }


@misc{demeterf,
  author="Bryan Chadwick",
  title = "{DemeterF}: The Functional Adaptive Programming Library",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/~chadwick/demeterf/},
}

@misc{sdsp09,
  author="Karl Lieberherr",
  title = "{Software Development: CSU 670 Spring 2009}",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/home/lieber/courses/csu670/sp09/csu670-sp09.html},
}
@misc{algf10,
  author="Karl Lieberherr",
  title = "{Algorithms and Data CS 4800, Fall 2010}",
  howpublished = "Website",
  year = {2010},
  note = {http://www.ccs.neu.edu/home/lieber/courses/algorithms/cs4800/f10/course-description.html},
}

@misc{sdf09,
  author="Karl Lieberherr",
  title = "{Software Development: CSU 670 Fall 2009}",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/home/lieber/courses/cs4500/f09/cs4500-f09.html},
}

http://www.philomath.uqam.ca/doc/LogicalGames.pdf

@ARTICLE{lieber-specker:partial-2,
TITLE = "{Complexity of Partial Satisfaction II}",
AUTHOR = "Karl J. Lieberherr and Ernst Specker",
JOURNAL = "Elemente der Mathematik",
YEAR = 2012,
PAGES = "134-150",
VOLUME = 67,
NUMBER = 3,
doi = {10.4171/EM/202},
note =
{http://www.ccs.neu.edu/home/lieber/p-optimal/partial-sat-II/Partial-SAT2.pdf}
}

@InProceedings{scg-bionetics,
AUTHOR = "Karl Lieberherr and Ahmed Abdelmeged and Bryan Chadwick",
TITLE = "{The Specker Challenge Game for Education and Innovation in Constructive Domains}",
YEAR = "2010",
booktitle = "{Keynote paper at Bionetics 2010, Cambridge, MA, and CCIS Technical Report NU-CCIS-2010-19} ",
MONTH = "December",
  note = 
  {http://www.ccs.neu.edu/home/lieber/evergreen/specker/paper/bionetics-2010.pdf
  }
}

@article{doi:10.2200/S00108ED1V01Y200802AIM003,
author = {Leyton-Brown, Kevin and Shoham, Yoav},
title = {Essentials of Game Theory: A Concise Multidisciplinary Introduction},
journal = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
volume = {2},
number = {1},
pages = {1-88},
year = {2008},
doi = {10.2200/S00108ED1V01Y200802AIM003},
URL = {http://www.morganclaypool.com/doi/abs/10.2200/S00108ED1V01Y200802AIM003},
eprint = {http://www.morganclaypool.com/doi/pdf/10.2200/S00108ED1V01Y200802AIM003}
}


@article{Becker:2007:SGC:1292428.1292436,
 author = {Becker, Katrin and Parker, J. R.},
  title = {{"Serious Games + Computer Science = Serious CS"}},
   journal = {J. Comput. Small Coll.},
    volume = {23},
     issue = {2},
      month = {December},
       year = {2007},
        issn = {1937-4771},
	 pages = {40--46},
	  numpages = {7},
	   url = {http://portal.acm.org/citation.cfm?id=1292428.1292436},
	    acmid = {1292436},
	     publisher = {Consortium for Computing Sciences in Colleges},
	      address = {, USA},
	      }


@book{Kleinberg:1051910,
author = {Kleinberg, Jon and Tardos, Eva},
title = {Algorithm Design},
year = {2005},
isbn = {0321295358},
publisher = {Addison-Wesley Longman Publishing Co., Inc.},
address = {Boston, MA, USA},
}


@book{Nisan-book,
author = {Nisan, Noam and Roughgarden, Tim and Tardos, Eva and Vazirani, Vijay},
title = {Algorithmic Game Theory},
year = {2005},
isbn = {0321295358},
publisher = {Cambridge University Press},
address = {Cambridge, England}
}

@book{1296179,
 author = {Nisan, Noam and Roughgarden, Tim and Tardos, Eva and Vazirani, Vijay V.},
  title = {Algorithmic Game Theory},
   year = {2007},
    isbn = {0521872820},
     publisher = {Cambridge University Press},
      address = {New York, NY, USA},
       }




@book{Schell:1252688,
author       = "Schell, Jesse",
title        = "The Art of Game Design: A Book of Lenses; electronic version",
publisher    = "Elsevier",
address      = "Burlington, MA",
year         = "2008",
						    }


@misc{demeterf,
  author="Bryan Chadwick",
  title = "{DemeterF}: The Functional Adaptive Programming Library",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/~chadwick/demeterf/},
}

@misc{sdsp09,
  author="Karl Lieberherr",
  title = "{Software Development: CSU 670 Spring 2009}",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/home/lieber/courses/csu670/sp09/csu670-sp09.html},
}
@misc{algf10,
  author="Karl Lieberherr",
  title = "{Algorithms and Data CS 4800, Fall 2010}",
  howpublished = "Website",
  year = {2010},
  note = {http://www.ccs.neu.edu/home/lieber/courses/algorithms/cs4800/f10/course-description.html},
}

@misc{sdf09,
  author="Karl Lieberherr",
  title = "{Software Development: CSU 670 Fall 2009}",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/home/lieber/courses/cs4500/f09/cs4500-f09.html},
}

@misc{Kaggle,
  title = "{Kaggle}",
  howpublished = "Website",
  note = {http://www.kaggle.com/},
}

@misc{NetflixPrize,
  title = "{Netflix Prize}",
  howpublished = "Website",
  note = {http://www.netflixprize.com/},
}

@misc{TopCoder,
  author="TopCoder",
  title = "{The TopCoder Community}",
  howpublished = "Website",
  year = {2009},
  note = {http://www.topcoder.com/},
}


@misc{scghome,
  author="Karl Lieberherr",
  title = "{The Scientific Community Game}",
  howpublished = "Website",
  year = {2009},
  note = {http://www.ccs.neu.edu/home/lieber/evergreen/specker/scg-home.html},
}

@InProceedings{dj,
  author =         "Doug Orleans and Karl J. Lieberherr",
  title =          "{DJ: Dynamic Adaptive Programming in Java}",
  booktitle =      "{Reflection 2001: Meta-level Architectures and Separation of Crosscutting Concerns}",
  year =   "2001",
  address =        "Kyoto, Japan",
  month =  "September",
  publisher = "Springer Verlag",
  note = "8 pages"
}      

@INPROCEEDINGS{Singh00nashconvergence,
  author = {Satinder Singh and Michael Kearns and Yishay Mansour},
  title = {Nash Convergence of Gradient Dynamics in General-Sum Games},
  booktitle = {In Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence},
  year = {2000},
  pages = {541--548},
  publisher = {Morgan}
}

@inproceedings{algo_games,
  author = {Papadimitriou, Christos},
  title = {Algorithms, games, and the internet},
  booktitle = {STOC '01: Proceedings of the thirty-third annual ACM symposium on Theory of computing},
  year = {2001},
  isbn = {1-58113-349-9},
  pages = {749--753},
  location = {Hersonissos, Greece},
  publisher = {ACM},
  address = {New York, NY, USA},
}


@phdthesis{sinth_bench,
 author = {Joshi, Ajay Manohar},
  note = {Adviser-John, Lizy K.},
   title = {Constructing adaptable and scalable synthetic benchmarks for microprocessor performance evaluation},
    year = {2007},
     isbn = {978-0-549-34954-9},
      order_no = {AAI3290867},
       publisher = {University of Texas at Austin},
        address = {Austin, TX, USA},
	 }

@book{game_theory,
 author = {Nisan, Noam and Roughgarden, Tim and Tardos, Eva and Vazirani, Vijay V.},
  title = {Algorithmic Game Theory},
   year = {2007},
    isbn = {0521872820},
     publisher = {Cambridge University Press},
      address = {New York, NY, USA},
       }

@inproceedings{qa_game,
   author = {Vajja, Kiran Kumar and TV, Prabhakar},
   title = {Quality attribute game: a game theory based technique for software architecture design},
   booktitle = {ISEC '09: Proceeding of the 2nd annual conference on India software engineering conference},
   year = {2009},
   isbn = {978-1-60558-426-3},
   pages = {133--134},
   location = {Pune, India},
   publisher = {ACM},
   address = {New York, NY, USA},
}

@INPROCEEDINGS{contr_evol,
AUTHOR = "Ahmed Abdelmeged and Therapon Skotiniotis and Karl Lieberherr",
TITLE = "{Controlled Evolution of Adaptive Programs}",
BOOKTITLE = "{IWPSE-EVOL 2009, Workshop on Principles of Software
                  Evolution}",
LOCATION = {Amsterdam, Netherlands with ESEC/FSE},
YEAR = "2009",
NOTE = {http://www.ccs.neu.edu/home/lieber/papers/contr-evol-ap/iwpse32-abdelmeged1.pdf}
}

@incollection{parkes09analysis,
author = {Parkes, David},
booktitle = {SOFSEM 2009: Theory and Practice of Computer Science},
journal = {SOFSEM 2009: Theory and Practice of Computer Science},
keywords = {design, dynamic, heuristics, mechanism, repeated},
month = {January},
pages = {62--66},
posted-at = {2009-02-20 00:00:23},
priority = {4},
publisher = {Springer Berlin / Heidelberg},
title = {When Analysis Fails: Heuristic Mechanism Design via Self-correcting Procedures},
volume = {5404/2009},
year = {2009}
}

@INPROCEEDINGS{roth,
    author = {Alvin E. Roth},
    title = {Game theory as a tool for market design},
    booktitle = {Game Practice: Contributions from Applied Game Theory},
    year = {2000},
    pages = {7--18},
    publisher = {Kluwer},
    note = {http://kuznets.fas.harvard.edu/~aroth/design.pdf}
}

@article{hastad,
    author = {H{\aa}stad, Johan},
    title = {Some optimal inapproximability results},
    journal = {J. ACM},
    volume = {48},
    number = {4},
    year = {2001},
    issn = {0004-5411},
    pages = {798--859},
    publisher = {ACM},
    address = {New York, NY, USA},
    NOTE = {http://portal.acm.org/citation.cfm?doid=502090.502098#}
 }

@article{hastad2,
  author    = {Johan H{\aa}stad},
  title     = {On bounded occurrence constraint satisfaction},
  journal   = {Inf. Process. Lett.},
  volume    = {74},
  number    = {1-2},
  year      = {2000},
  pages     = {1-6},
}

@TECHREPORT{evergreen,
  AUTHOR = "Ahmed Abdelmeged and Christine D. Hang and Daniel Rinehart
                  and Karl J. Lieberherr",
  TITLE = "{The Evergreen Game: The Promise of Polynomials to Boost
                  Boolean MAX-CSP Solvers}",
  INSTITUTION = "Northeastern University",
  YEAR = 2007,
  MONTH = "April",
  NUMBER = "NU-CCIS-07-03"
}

@book{sipser,
	author = {Sipser, Michael},
	howpublished = {Hardcover},
	isbn = {053494728X},
	keywords = {computation, theory},
	month = {December},
	posted-at = {2008-04-03 01:40:56},
	priority = {0},
	publisher = {Thomson Course Technology},
	title = {Introduction to the Theory of Computation},
	url = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/053494728X},
	year = {1996}
}


% ******************************
% ** Karl's Publications...
% ******************************

@ARTICLE{jacm-81,
  TITLE = "{Complexity of Partial Satisfaction}",
  AUTHOR = "Karl J. Lieberherr and Ernst Specker",
  JOURNAL = "Journal of the ACM",
  YEAR = 1981,
  PAGES = "411-421",
  VOLUME = 28,
  NUMBER = 2,
}
  %NOTE = {http://www.ccs.neu.edu/home/lieber/p-optimal/JACM1981.pdf}

@ARTICLE{JA-82,
  AUTHOR = "Karl J. Lieberherr",
  TITLE = "Algorithmic extremal problems in combinatorial optimization",
  JOURNAL = "Journal of Algorithms",
  YEAR = 1982,
  PAGES = "225-244",
  VOLUME = 3,
  NUMBER = 3,
  NOTE = {http://www.ccs.neu.edu/home/lieber/p-optimal/karl-algo-extremal.pdf}
}

@ARTICLE{vavasis,
  AUTHOR = "Karl J. Lieberherr and Stephen Vavasis",
  TITLE = "Analysis of polynomial approximation algorithms for constraint expressions",
  JOURNAL = "Lecture Notes in Computer Science",
  YEAR = 1983,
  PAGES = "187-197",
  VOLUME = 145,
  NOTE= "6th Gl-Conference Dortmund, January 5-7, http://www.ccs.neu.edu/research/demeter/papers/vavasis/PolyAppAlg-Vavasis.pdf"

}

@INPROCEEDINGS{ahmed-christine,
  AUTHOR = "Christine D. Hang and Ahmed Abdelmeged and Daniel Rinehart
                  and Karl J. Lieberherr",
  TITLE = "{The Promise of Polynomial-based Local Search to Boost
                  Boolean MAX-CSP Solvers}",
  YEAR = 2007,
  booktitle = "{Proceedings of Fourth International Workshop on Local
                  Search Techniques in Constraint Satisfaction,
                  CP2007, Providence, Rhode Island, September 2007}",
  MONTH = "September",
  NOTE = {http://www.ccs.neu.edu/research/demeter/papers/local-search-eg/lscs07.pdf}
}

@article{huang,
  AUTHOR = {Huang, Ming-Deh A. and Lieberherr, Karl J.},
  TITLE = {Implications of forbidden structures for extremal algorithmic problems},
  JOURNAL = {Theor. Comput. Sci.},
  VOLUME = {40},
  NUMBER = {2-3},
  YEAR = {1985},
  ISSN = {0304-3975},
  PAGES = {195--210},
  PUBLISHER = {Elsevier Science Publishers Ltd.},
  ADDRESS = {Essex, UK},
  NOTE = {http://portal.acm.org/citation.cfm?id=6407#}
}

% *****************************
% Un related...

@article{toplas,
  author    = {Karl J. Lieberherr and
               Boaz Patt-Shamir and
               Doug Orleans},
  title     = {Traversals of object structures: Specification and Efficient
               Implementation},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {26},
  number    = {2},
  year      = {2004},
  pages     = {370-412},
  NOTE  = {http://www.ccs.neu.edu/research/demeter/papers/strategies/strategies.pdf}
}

@BOOK{demeter-book,
  AUTHOR = "Karl J. Lieberherr",
  TITLE = "Adaptive Object-Oriented Software:
    The Demeter Method with Propagation Patterns",
  PUBLISHER = "PWS Publishing Company, Boston", 
  YEAR = "1996",
  NOTE = "616 pages, ISBN 0-534-94602-X",
}

@INPROCEEDINGS{icse-keynote,
  AUTHOR = "Karl J. Lieberherr",
  TITLE = "Controlling the Complexity of Software Designs",
  BOOKTITLE = icse,
  YEAR = "2004",
  ADDRESS = "Edinburgh, Scotland",
  PAGES = "2-11",
  EDITOR = "Jacky Estublier and David Rosenblum",
  PUBLISHER = "ACM Press",
  NOTE = "Invited Presentation",
  NOTE = {http://www.ccs.neu.edu/research/demeter/papers/icse-04-keynote/ICSE2004.pdf}
}


@inproceedings{FOAL,
  AUTHOR = "Bryan Chadwick and Karl Lieberherr",
  TITLE = "{A Type System for Functional Traversal-Based Aspects}",
  BOOKTITLE = {AOSD 2009, FOAL Workshop},
  PUBLISHER = {ACM},
  SERIES = {ACM International Conference Proceeding Series},
  YEAR = {2009},
  NOTE = {http://www.ccs.neu.edu/~chadwick/demeterf/papers/foal19566-chadwick.pdf}
}