Computer Science

Probabilistic Change Detection Framework for Analyzing Settlement Dynamics Using Very High-resolution Satellite Imagery

Procedia Computer Science, 9, 907–916.

The Significance of CMP Cache Sharing on Contemporary Multithreaded Applications

IEEE Transactions on Parallel and Distributed Systems, 23(2), 367–374.

One stone two birds

Proceedings of the 26th ACM international conference on Supercomputing - ICS '12. Presented at the the 26th ACM international conference.

Exploiting inter-sequence correlations for program behavior prediction

Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12. Presented at the the ACM international conference.

On Round-Optimal Zero Knowledge in the Bare Public-Key Model

In Advances in Cryptology – EUROCRYPT 2012 (pp. 153–171).

Simultaneously Resettable Arguments of Knowledge

In Theory of Cryptography (pp. 530–547).

Special issue on repeatable results in software engineering prediction

Empirical Software Engineering, 17(1-2), 1–17.

Crowd-Sourced Knowledge Bases

In Knowledge Management and Acquisition for Intelligent Systems (pp. 258–271).

Four Quantitative Metrics Describing Narrative Conflict

In Interactive Storytelling (pp. 18–29).

Achieving the Illusion of Agency

In Interactive Storytelling (pp. 114–125).

Analytics-Driven Lossless Data Compression for Rapid In-situ Indexing, Storing, and Querying

In Lecture Notes in Computer Science (pp. 16–30).

A Tunable, Software-Based DRAM Error Detection and Correction Library for HPC

In Euro-Par 2011: Parallel Processing Workshops (pp. 251–261).

ScalaTrace: Tracing, Analysis and Modeling of HPC Codes at Scale

In Applied Parallel and Scientific Computing (pp. 410–418).

Rich Computational Model of Conflict for Virtual Characters

In Intelligent Virtual Agents (pp. 502–504).

Enhancing 5th graders’ science content knowledge and self-efficacy through game-based learning

Computers & Education, 59(2), 497–504.

Toward a Machine Learning Framework for Understanding Affective Tutorial Interaction

In Intelligent Tutoring Systems (pp. 52–58).

Real-Time Narrative-Centered Tutorial Planning for Story-Based Learning

In Intelligent Tutoring Systems (pp. 476–481).

Exploring Inquiry-Based Problem-Solving Strategies in Game-Based Learning Environments

In Intelligent Tutoring Systems (pp. 470–475).

The Role of Sub-problems: Supporting Problem Solving in Narrative-Centered Learning Environments

In Intelligent Tutoring Systems (pp. 464–469).

Predicting Student Self-regulation Strategies in Game-Based Learning Environments

In Intelligent Tutoring Systems (pp. 141–150).