Scientific Community Game Publications

HCOMP 2013 Submission

Crowdsourcing Formal Decision Making Using Generalized Semantic Games, CCIS Technical Report NU-CCIS-2013-29, May 2013.

Onward 2013 Submission (research papers)

Crowdsourcing of Formal Scientific Knowledge, CCIS Technical Report NU-CCIS-2013-18, April 2013.

Wikipedia for Formal Science

Web Page

Modeling Formal Science (Submission, Extended Abstract to Web Science 2013)

Web Page

Ahmed Abdelmeged's Thesis Proposal

Thesis Proposal by Ahmed Abdelmeged, Crowdsourcing of Computational Problem Solving, CCIS Technical Report NU-CCIS-2013-10, March 2013.

Thesis Proposal Slides Crowdsourcing Formal Decision Making Using Generalized Semantic Games

Web Science 2013 Submission

FSCP: A Platform for Crowdsourcing Formal Science, submitted for publication, CCIS Technical Report NU-CCIS-2013-12, March 2013.

Foundations of Digital Games 2013 Submission

The Scientific Community Game, submitted for publication, CCIS Technical Report NU-CCIS-2012-19, October 2012.

Piazza Based Course 2012

Algorithms and Data (CS 4800) | Piazza for Algorithm Students | Piazza Interface for Algorithmic Problem_Solving

Conference 2010

Bionetics Keynote Paper 2010

``The Specker Challenge Game for Education and Innovation in Constructive Domains'', Karl Lieberherr, Ahmed Abdelmeged and Bryan Chadwick, Keynote paper at Bionetics 2010 Cambridge, MA, December 2010.

Bionetics Keynote Presentation 2010

Poster 2011

Northeastern University Research Expo 2011

SourceForge 2011

SCG Documentation (SCG Courts)