Author of the publication

MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity.

, , , , , , and . CHI Extended Abstracts, ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler., , , , and . CC, volume 8409 of Lecture Notes in Computer Science, page 218-237. Springer, (2014)MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity., , , , , , and . CHI Extended Abstracts, ACM, (2019)Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only)., , , , and . SIGCSE, page 663. ACM, (2012)Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop., , , , and . CSEE&T, page 87-89. IEEE Computer Society, (2012)Rocket-Fast Proof Checking for SMT Solvers.. TACAS, volume 4963 of Lecture Notes in Computer Science, page 486-500. Springer, (2008)Local Verification of Global Invariants in Concurrent Programs., , , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 480-494. Springer, (2010)Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment., , , , , and . MOBILESoft, page 83-93. IEEE Computer Society, (2015)VCC: Contract-based modular verification of concurrent C., , , , and . ICSE Companion, page 429-430. IEEE, (2009)User-aware privacy control via extended static-information-flow analysis., , , , and . ASE, page 80-89. ACM, (2012)Microsoft touch develop and the BBC micro: bit., , , , , , , and . ICSE (Companion Volume), page 637-640. ACM, (2016)