Computer Science

Formative Feedback in Interactive Learning Environments

In Lecture Notes in Computer Science (pp. 946–946).

Hypergeometric Identities Associated with Statistics on Words

In Advances in Combinatorics (pp. 77–100).

Studying the effect of a competitive game show in a learning by teaching environment

International Journal of Artificial Intelligence in Education, 23(1-4), 1–21.

Toward a reflective SimStudent: Using experience to avoid generalization errors

CEUR Workshop Proceedings, 1009, 51–60. http://www.scopus.com/inward/record.url?eid=2-s2.0-84924980730&partnerID=MN8TOARS

Impact of prior knowledge and teaching strategies on learning by teaching

CEUR Workshop Proceedings, 1009, 71–80. http://www.scopus.com/inward/record.url?eid=2-s2.0-84924982067&partnerID=MN8TOARS

Cognitive anatomy of tutor learning: Lessons learned with SimStudent.

Journal of Educational Psychology, 105(4), 1152–1163.

Adiabatic quantum programming: minor embedding with hard faults

Quantum Information Processing, 13(3), 709–729.

Evaluating OpenMP Tasking at Scale for the Computation of Graph Hyperbolicity

In OpenMP in the Era of Low Power Devices and Accelerators: Vol. 8122 LNCS (pp. 71–83).

Linear-Size Approximations to the Vietoris–Rips Filtration

Discrete & Computational Geometry, 49(4), 778–796.

Zigzag zoology

Proceedings of the 29th annual symposium on Symposuim on computational geometry - SoCG '13. Presented at the the 29th annual symposium.

A fast algorithm for well-spaced points and approximate delaunay graphs

Proceedings of the 29th annual symposium on Symposuim on computational geometry - SoCG '13. Presented at the the 29th annual symposium.

A new approach to output-sensitive voronoi diagrams and delaunay triangulations

Proceedings of the 29th annual symposium on Symposuim on computational geometry - SoCG '13. Presented at the the 29th annual symposium.

Profmig: A framework for flexible migration of program profiles across software versions

Zhou, M., Wu, B., Ding, Y., & Shen, X. (2013, February). Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO).

Exploring Hybrid Memory for GPU Energy Efficiency through Software-Hardware Co-Design

Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques. Presented at the PACT, Edinburgh, Scotland.

Platys: User-centric place recognition

AAAI Workshop - Technical Report, WS-13-05, 14–20. http://www.scopus.com/inward/record.url?eid=2-s2.0-84898908253&partnerID=MN8TOARS

Monitoring commitments in people-driven service engagements

Proceedings - IEEE 10th International Conference on Services Computing, SCC 2013, 160–167.

Macau: A basis for evaluating reputation systems

IJCAI International Joint Conference on Artificial Intelligence, 191–197. http://www.scopus.com/inward/record.url?eid=2-s2.0-84896061643&partnerID=MN8TOARS

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). http://www.scopus.com/inward/record.url?eid=2-s2.0-84873816963&partnerID=MN8TOARS

Hierarchical planning about goals and commitments

12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, 2, 877–884. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899450331&partnerID=MN8TOARS

Evolving protocols and agents in multiagent systems

12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, 2, 997–1004. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899458246&partnerID=MN8TOARS