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

Caching and Lemmaizing in Model Elimination Theorem Provers., and . CADE, volume 607 of Lecture Notes in Computer Science, page 224-238. Springer, (1992)Self-reference is an illustrative essential.. SIGCSE, page 238-242. ACM, (1994)Advanced Placement Computer Science Principles (APCSP): A Report from Teachers., and . SIGCSE, page 681-682. ACM, (2016)CS principles: piloting a national course., , , , , , and . SIGCSE, page 319-320. ACM, (2012)Computer Science Principles Curricula: On-the-ground; adoptable; adaptable; approaches to teaching., , , , , , , , and . SIGCSE, page 176-177. ACM, (2015)Recommendations for changes in advanced placement computer science (panel session)., , , , , , , , and . SIGCSE, page 416. ACM, (2000)Advanced placement computer science: the future of tracking the first year of instruction., , , , and . SIGCSE, page 397-398. ACM, (2009)Pictures as invariants.. SIGCSE, page 112-118. ACM, (1991)Why i care about programming and how to teach it.. SIGCSE, page 235. ACM, (2004)Design patterns: an essential component of CS curricula., , , and . SIGCSE, page 153-160. ACM, (1998)