Author of the publication

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

Gamification and serious game approaches for introductory computer science tablet software., and . Gamification, page 50-57. ACM, (2013)An empirical evaluation of user interfaces for a mobile video game, and . (2012)Gamification and serious game approaches for adult literacy tablet software., , and . Entertain. Comput., 5 (3): 135-146 (2014)Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code., and . AGTIVE, volume 5088 of Lecture Notes in Computer Science, page 217-232. Springer, (2007)Alternative Methods for Retaining Explicit and Finding Implicit Sharing in Embedded DSLs., , , and . TFP, volume 13868 of Lecture Notes in Computer Science, page 92-105. Springer, (2023)Building blocks for redundancy-free vector integer multiplication., , , and . CASCON, page 208-213. ACM, (2021)Optimizing Teardrop, an MRI sampling trajectory., , and . Optim. Methods Softw., 23 (4): 575-592 (2008)An Optimized Cell BE Special Function Library Generated by Coconut., and . IEEE Trans. Computers, 58 (8): 1126-1138 (2009)Using Elm to Introduce Algebraic Thinking to K-8 Students., , , , , , , and . TFPIE@TFP, volume 270 of EPTCS, page 18-36. (2017)Graphics programming in elm develops math knowledge & social cohesion., , , , , , , and . CASCON, page 157-167. ACM, (2018)