@inproceedings{Quinn:2011:HCS:1978942.1979148,
 author = {Quinn, Alexander J. and Bederson, Benjamin B.},
  title = {Human computation: a survey and taxonomy of a growing field},
   booktitle = {Proceedings of the SIGCHI Conference on Human Factors in Computing Systems},
    series = {CHI '11},
     year = {2011},
      isbn = {978-1-4503-0228-9},
       location = {Vancouver, BC, Canada},
        pages = {1403--1412},
	 numpages = {10},
	  url = {http://doi.acm.org/10.1145/1978942.1979148},
	   doi = {10.1145/1978942.1979148},
	    acmid = {1979148},
	     publisher = {ACM},
	      address = {New York, NY, USA},
	       keywords = {crowdsourcing, data mining, human computation, literature review, social computing, survey, taxonomy},
	       } 

@InProceedings{scg-FSCP,
AUTHOR = "Karl J. Lieberherr and Ahmed Abdelmeged",
TITLE = "{FSCP: A Platform for Crowdsourcing Formal Science}",
YEAR = "2013",
booktitle = "{CCIS Technical Report NU-CCIS-2013-10} ",
MONTH = "January",
note =
{\url{
http://www.ccs.neu.edu/home/lieber/papers/SCG-crowdsourcing/websci2013_submission_FSCP.pdf
}
}
}

@article{984912,
author = {Luca Trevisan},
title = {On Local Versus Global Satisfiability},
journal = {SIAM J. Discret. Math.},
volume = {17},
number = {4}, 
year = {2004},
issn = {0895-4801},
pages = {541--547},
doi = {http://dx.doi.org/10.1137/S0895480197326528},
publisher = {Society for Industrial and Applied Mathematics},
address = {Philadelphia, PA, USA},
}           

@inproceedings{Arora:2006:LVG:1109557.1109563,
 author = {Arora, Sanjeev and Lov\'{a}sz, L\'{a}szl\'{o} and Newman, Ilan and Rabani, Yuval and Rabinovich, Yuri and Vempala, Santosh},
  title = {Local versus global properties of metric spaces},
   booktitle = {Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm},
    series = {SODA '06},
     year = {2006},
      isbn = {0-89871-605-5},
       location = {Miami, Florida},
        pages = {41--50},
	 numpages = {10},
	  url = {http://doi.acm.org/10.1145/1109557.1109563},
	   doi = {10.1145/1109557.1109563},
	    acmid = {1109563},
	     publisher = {ACM},
	      address = {New York, NY, USA},
	      } 
% above new for HComp conference 2013

@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 = {\url{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 =	{\url{http://plato.stanford.edu/archives/sum2009/entries/logic-if/}},
year         =	{2009},
edition      =	{Summer 2009},
}

@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 = {\url{
http://www.ccs.neu.edu/home/lieber/papers/SCG-definition/supplementary/
  }\gap},
}

@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 = {\url{
  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}
		    }

@COMMENT { BibTex package created from National Library of Australia Catalogue http://catalogue.nla.gov.au  }
@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 },
}
%edition = { 3rd ed. (revised). },


@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 = {\url{
  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 = "Karl J. Lieberherr and Ahmed Abdelmeged",
TITLE = "{The Scientific Community Game}",
YEAR = "2012",
booktitle = "{CCIS Technical Report NU-CCIS-2012-19} ",
MONTH = "October",
note =
{\url{
http://www.ccs.neu.edu/home/lieber/papers/SCG-definition/SCG-definition-NU-CCIS-2012.pdf
}
}
}

@InProceedings{ahmed-thesis-proposal,
AUTHOR = "Ahmed Abdelmeged",
TITLE = "{Crowdsourcing of Computational Problem Solving}",
YEAR = "2013",
booktitle = "{CCIS Technical Report NU-CCIS-2013-10} ",
MONTH = "March",
note =
{\url{
http://www.ccs.neu.edu/home/mohsen/proposal-ahmed.pdf
}
}
}

@inproceedings{exploratory-performatory,

@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}
}
@inproceedings{Cooper:2010:CDS:1822348.1822354,
 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},
} 


@InCollection{sep-if,
author       =	{Tero Tulenheimo},
title        =	{Independence Friendly Logic},
booktitle    =	{The Stanford Encyclopedia of Philosophy},
editor       =	{Edward N. Zalta},
howpublished =	{\url{
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 =	{\url{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 =	{\url{http://plato.stanford.edu/archives/spr2009/entries/logic-games/}},
year         =	{2009},
edition      =	{Spring 2009},
}

@misc{LogicalGames,
  author="Mathieu Marion",
  title = "{Why Play Logical Games}",
  howpublished = "Website",
  year = {2009},
  note = {\url{
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 = {\url{
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 =
{\url{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 = 
  {\url{http://www.ccs.neu.edu/home/lieber/evergreen/specker/paper/bionetics-2010.pdf}\gap
  }
}

@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 = {\url{http://www.ccs.neu.edu/~chadwick/demeterf/}\gap},
}

@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 = {\url{
  http://sourceforge.net/p/generic-scg/code-0/110/tree/GenericSCG/
  }\gap},
}

@misc{sdsp09,
  author="Karl J. Lieberherr",
  title = "{Software Development: CSU 670 Spring 2009}",
  howpublished = "Website",
  year = {2009},
  note = {\url{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 = {\url{
  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 = {\url{
  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 =
{\url{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 = 
  {\url{http://www.ccs.neu.edu/home/lieber/evergreen/specker/paper/bionetics-2010.pdf}\gap
  }
}

@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 = {\url{http://www.ccs.neu.edu/~chadwick/demeterf/}\gap},
}

@misc{sdsp09,
  author="Karl J. Lieberherr",
  title = "{Software Development: CSU 670 Spring 2009}",
  howpublished = "Website",
  year = {2009},
  note = {\url{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 = {\url{
  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 = {\url{
  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 =
{\url{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 = 
  {\url{http://www.ccs.neu.edu/home/lieber/evergreen/specker/paper/bionetics-2010.pdf}\gap
  }
}

@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 = {\url{http://www.ccs.neu.edu/~chadwick/demeterf/}\gap},
}

@misc{sdsp09,
  author="Karl J. Lieberherr",
  title = "{Software Development: CSU 670 Spring 2009}",
  howpublished = "Website",
  year = {2009},
  note = {\url{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 = {\url{
  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 = {\url{
  http://www.ccs.neu.edu/home/lieber/courses/cs4500/f09/cs4500-f09.html
  }},
}

@mttp://www.philomath.uqam.ca/doc/LogicalGames.pdf

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 =
{\url{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 = 
  {\url{http://www.ccs.neu.edu/home/lieber/evergreen/specker/paper/bionetics-2010.pdf}\gap
  }
}

@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 = {\url{http://www.ccs.neu.edu/~chadwick/demeterf/}\gap},
}

@misc{sdsp09,
  author="Karl Lieberherr",
  title = "{Software Development: CSU 670 Spring 2009}",
  howpublished = "Website",
  year = {2009},
  note = {\url{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 = {\url{
  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 = {\url{
  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 =
{\url{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 = 
  {\url{http://www.ccs.neu.edu/home/lieber/evergreen/specker/paper/bionetics-2010.pdf}\gap
  }
}

@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 = {\url{http://www.ccs.neu.edu/~chadwick/demeterf/}\gap},
}

@misc{sdsp09,
  author="Karl Lieberherr",
  title = "{Software Development: CSU 670 Spring 2009}",
  howpublished = "Website",
  year = {2009},
  note = {\url{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 = {\url{
  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 = {\url{
  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 =
{\url{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 = 
  {\url{http://www.ccs.neu.edu/home/lieber/evergreen/specker/paper/bionetics-2010.pdf}\gap
  }
}

@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 = {\url{http://www.ccs.neu.edu/~chadwick/demeterf/}\gap},
}

@misc{sdsp09,
  author="Karl Lieberherr",
  title = "{Software Development: CSU 670 Spring 2009}",
  howpublished = "Website",
  year = {2009},
  note = {\url{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 = {\url{
  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 = {\url{
  http://www.ccs.neu.edu/home/lieber/courses/cs4500/f09/cs4500-f09.html
  }},
}

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

@misc{scghome,
  author="Karl Lieberherr",
  title = "{The Scientific Community Game}",
  howpublished = "Website",
  year = {2009},
  note = {\url{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 = {\url{http://www.ccs.neu.edu/home/lieber/papers/contr-evol-ap/iwpse32-abdelmeged1.pdf}\gap}
}

@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 = {\url{http://kuznets.fas.harvard.edu/~aroth/design.pdf}\gap}
}

@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 = {\url{http://portal.acm.org/citation.cfm?doid=502090.502098#}\gap}
 }

@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 = {\url{http://www.ccs.neu.edu/home/lieber/p-optimal/JACM1981.pdf}\gap}

@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 = {\url{http://www.ccs.neu.edu/home/lieber/p-optimal/karl-algo-extremal.pdf}\gap}
}

@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, \url{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 = {\url{http://www.ccs.neu.edu/research/demeter/papers/local-search-eg/lscs07.pdf}\gap}
}

@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 = {\url{http://portal.acm.org/citation.cfm?id=6407#}\gap}
}

% *****************************
% 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  = {\url{http://www.ccs.neu.edu/research/demeter/papers/strategies/strategies.pdf}\gap}
}

@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 = {\url{http://www.ccs.neu.edu/research/demeter/papers/icse-04-keynote/ICSE2004.pdf}\gap}
}


@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 = {\url{http://www.ccs.neu.edu/~chadwick/demeterf/papers/foal19566-chadwick.pdf}\gap}
}