Computer Science

A machine learning approach for automatic student model discovery

EDM 2011 - Proceedings of the 4th International Conference on Educational Data Mining, 31–40. http://www.scopus.com/inward/record.url?eid=2-s2.0-84863408562&partnerID=MN8TOARS

A mathematical analysis of the R-MAT random graph generator

Networks, 58(3), 159–170.

Leveraging Card-Based Collaborative Activities as Culturally Situated Design Tools

In Communications in Computer and Information Science (pp. 232–236).

Experimental Evaluation of Automatic Hint Generation for a Logic Tutor

In Lecture Notes in Computer Science (pp. 345–352).

GameChanger

Proceeding of the 1st international workshop on Games and software engineering - GAS '11. Presented at the Proceeding of the 1st international workshop.

Experimental evaluation of BeadLoom game

Proceedings of the 16th annual joint conference on Innovation and technology in computer science education - ITiCSE '11. Presented at the the 16th annual joint conference.

BeadLoom Game

Proceedings of the 6th International Conference on Foundations of Digital Games - FDG '11. Presented at the the 6th International Conference.

Snag'em: Creating Community Connections through Games

2011 IEEE Third Int'l Conference on Privacy, Security, Risk and Trust and 2011 IEEE Third Int'l Conference on Social Computing. Presented at the 2011 IEEE Third Int'l Conference on Privacy, Security, Risk and Trust (PASSAT) / 2011 IEEE Third Int'l Conference on Social Computing (SocialCom).

Social user generated content's effect on creativity in educational games

Proceedings of the 8th ACM conference on Creativity and cognition - C&C '11. Presented at the the 8th ACM conference.

The STARS Alliance

ACM Transactions on Computing Education, 11(3), 1–25.

Learning Cultural Conversational Protocols with Immersive Interactive Virtual Humans

International Journal of Virtual Reality, 10(4), 25–35.

Trust as Dependence: A Logical Approach

AAMAS '11: Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems, 2, 863–870. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899408581&partnerID=MN8TOARS

Specifying and Applying Commitment-Based Business Patterns

AAMAS '11: Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems, 1, 475–482. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899421820&partnerID=MN8TOARS

Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language

10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011, 1, 457–464. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899440400&partnerID=MN8TOARS

Kokomo: An empirically evaluated methodology for affective applications

Proceedings of the 10th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), 1, 293–300. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899438815&partnerID=MN8TOARS

Formal methods in agent-oriented software engineering

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 213–228).

Commitments with regulations: Reasoning about safety and control in REGULA

10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011, 1, 433–440. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899444781&partnerID=MN8TOARS

Methodology for engineering affective social applications

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 97–109).

LoST: Local State Transfer: An architectural style for the distributed enactment of business protocols

Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011, 57–64.

Analyzing contract robustness through a model of commitments

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 17–36).