Author of the publication

Contextualized learning tools: animations and robots.

, and . ACM Southeast Regional Conference, page 5:1-5:6. ACM, (2014)

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

Making discrete mathematics relevant.. ACM Southeast Regional Conference, page 37. ACM, (2010)A SAT-based solver for Q-ALL SAT., and . ACM Southeast Regional Conference, page 30-33. ACM, (2006)Local search for quantified Boolean formulas., and . ACM Southeast Regional Conference (1), page 116-120. ACM, (2005)The Complexity of Futile Questioning., and . FCS, page 132-138. CSREA Press, (2007)On the Graph-Density of Random 0/1-Polytopes., and . RANDOM-APPROX, volume 2764 of Lecture Notes in Computer Science, page 318-328. Springer, (2003)An Alternative Representation for QBF., and . IC-AI, page 531-536. CSREA Press, (2009)Contextualized learning tools: animations and robots., and . ACM Southeast Regional Conference, page 5:1-5:6. ACM, (2014)Consistency checking in privacy-aware access control.. ACM Southeast Regional Conference, page 32:1-32:6. ACM, (2013)